Trace number 4392326

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 217.936 30.7779

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-pigeon/
Pb-pigeon-card-015-010.xml
MD5SUM4075ec57c143d98d1900f8e9a33246e5
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 benchmark43.0368
Satisfiable
(Un)Satisfiability was proved
Number of variables150
Number of constraints25
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":150}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":150}]
Minimum constraint arity10
Maximum constraint arity15
Distribution of constraint arities[{"arity":10,"count":15},{"arity":15,"count":10}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":25}]
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-453-serial-file.bin HOME/instance-4392326-1568439010.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 07:29:28 CEST 2019
0.65/0.56	c PID: 456
0.65/0.56	c IP: 172.20.3.137
0.65/0.56	c HOST: node137.alineos.net
0.65/0.57	c (0,0) Parsing Begin
1.38/0.90	c (0,0) Parsing End
1.38/0.91	c (0,0) CSP: 0 int (0 aux), 150 bool (0 aux), 25 ctr, max domain size 2
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) Constraint Name Generate Begin
1.38/0.91	c (0,0) Ctr:HOME/instance-4392326-1568439010.xml,Num:Var:WeightedSum
1.38/0.91	c (0,0) Constraint Name Generate End
1.38/0.91	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB)
1.38/0.91	c (0,0) CSP to CSPinCNF Begin
1.55/1.01	c (0,0) translated 3 (10%) constraints
1.55/1.02	c (0,0) translated 5 (20%) constraints
1.55/1.03	c (0,0) translated 8 (30%) constraints
1.55/1.04	c (0,0) translated 10 (40%) constraints
1.55/1.05	c (0,0) translated 13 (50%) constraints
1.55/1.05	c (0,0) translated 15 (60%) constraints
1.55/1.06	c (0,0) translated 18 (70%) constraints
1.55/1.07	c (0,0) translated 20 (80%) constraints
1.55/1.08	c (0,0) translated 23 (90%) constraints
1.55/1.08	c (0,0) translated 25 (100%) constraints
1.55/1.08	c (0,0) ===========================================
1.55/1.08	c (0,0) Order
1.55/1.08	c (0,0) ===========================================
1.55/1.09	c (0,0) translated 3 (10%) constraints
1.55/1.09	c (0,0) translated 5 (20%) constraints
1.55/1.10	c (0,0) translated 8 (30%) constraints
1.55/1.10	c (0,0) translated 10 (40%) constraints
1.55/1.10	c (0,0) translated 13 (50%) constraints
1.55/1.10	c (0,0) translated 15 (60%) constraints
1.86/1.12	c (0,0) translated 18 (70%) constraints
1.86/1.13	c (0,0) translated 20 (80%) constraints
1.86/1.14	c (0,0) translated 23 (90%) constraints
1.86/1.14	c (0,0) translated 25 (100%) constraints
1.86/1.15	c (0,0) CSP to CSPinCNF End
1.86/1.15	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
1.86/1.15	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.86/1.15	c (0,0) CSPinCNF Propagation Begin
1.86/1.16	c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed
1.86/1.16	c (0,0) CSPinCNF Propagation End
1.86/1.16	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
1.86/1.16	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.86/1.16	c (0,0) Simplify CSPinCNF Begin
1.86/1.17	c (0,0) Simplify CSPinCNF End
1.86/1.17	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
1.86/1.17	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
1.86/1.17	c (0,0) Calculate Precise Domain Begin
2.09/1.21	c (0,0) 0 values are removed by re-calculation
2.09/1.21	c (0,0) Calculate Precise Domain End
2.09/1.21	c (0,0) CSP: 30 int (30 aux), 150 bool (0 aux), 55 ctr, max domain size 2
2.09/1.21	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB)
2.09/1.21	c (0,0) CSPinCNF to SatSolver Begin
2.09/1.26	c (0,0) 6 (10 %) CSP clauses are encoded (0 SAT variables, 5 SAT clauses)
2.09/1.27	c (0,0) 11 (20 %) CSP clauses are encoded (0 SAT variables, 10 SAT clauses)
2.09/1.28	c (0,0) 17 (30 %) CSP clauses are encoded (0 SAT variables, 18 SAT clauses)
2.09/1.29	c (0,0) 22 (40 %) CSP clauses are encoded (0 SAT variables, 81 SAT clauses)
2.09/1.29	c (0,0) 28 (50 %) CSP clauses are encoded (0 SAT variables, 159 SAT clauses)
2.33/1.30	c (0,0) 33 (60 %) CSP clauses are encoded (0 SAT variables, 210 SAT clauses)
2.33/1.30	c (0,0) 39 (70 %) CSP clauses are encoded (0 SAT variables, 288 SAT clauses)
2.33/1.31	c (0,0) 44 (80 %) CSP clauses are encoded (0 SAT variables, 351 SAT clauses)
2.33/1.31	c (0,0) 50 (90 %) CSP clauses are encoded (0 SAT variables, 417 SAT clauses)
2.33/1.32	c (0,0) 55 (100 %) CSP clauses are encoded (0 SAT variables, 480 SAT clauses)
2.33/1.32	c (0,0) CSPinCNF to SatSolver End
2.33/1.32	c (0,0) Heap : 337 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB)
2.33/1.32	c (0,0) 180 bool, 495 clause
2.33/1.32	c (0,0) Export Begin
2.55/1.41	c (0,0) Export to HOME/scop-453-serial-file.bin
2.55/1.41	c (0,0) Export End
2.55/1.41	c (0,0) Export File Size: 0.03 MB
2.55/1.41	c (0,0) 0,0,0,0,0,0,0,STOP-AFTER(DIMACS)
2.55/1.41	c END-Prog: Sat Sep 14 07:29:29 CEST 2019
2.55/1.43	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-453-serial-file.bin
2.61/1.89	c (0,0) Read Serial File Begin
2.61/1.89	c (0,0) HOME/scop-453-serial-file.bin
3.36/2.10	c (0,0) Read Serial File End
3.53/2.12	
3.53/2.12	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
3.53/2.12	(Solving Process)
3.53/2.12	
3.53/2.14	c BEGIN-Prog: Sat Sep 14 07:29:30 CEST 2019
3.53/2.14	c PID: 476
3.53/2.14	c IP: 172.20.3.137
3.53/2.14	c HOST: node137.alineos.net
3.53/2.14	c (0,0) SatSolver.solve Begin
3.53/2.14	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392326-1568439010.xml-scop-456.cnf
3.53/2.17	c (0,0) c
3.53/2.17	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)
3.53/2.17	c (0,0) c
3.53/2.17	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
3.53/2.17	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
3.53/2.17	c (0,0) c ========================================[ Problem Statistics ]===========================================
3.53/2.17	c (0,0) c |                                                                                                       |
3.53/2.17	c (0,0) c |  Number of variables:           180                                                                   |
3.53/2.17	c (0,0) c |  Number of clauses:             495                                                                   |
3.53/2.17	c (0,0) c |  Parse time:                   0.00 s                                                                 |
3.53/2.17	c (0,0) c |                                                                                                       |
3.53/2.17	c (0,0) c |  Simplification time:          0.00 s                                                                 |
3.53/2.17	c (0,0) c |                                                                                                       |
3.53/2.17	c (0,0) c |  Generating clones                                                                                    |
3.53/2.17	c (0,0) c |  all clones generated. Memory =    23.12Mb.                                                           |
3.53/2.17	c (0,0) c ========================================================================================================|
3.53/2.17	c (0,0) c
3.53/2.17	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
3.53/2.17	c (0,0) c
3.53/2.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.53/2.17	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
3.53/2.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
3.53/2.17	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
3.53/2.17	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
3.53/2.17	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
3.53/2.17	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
3.53/2.17	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
3.53/2.17	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
3.53/2.17	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
3.53/2.17	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
3.53/2.17	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
3.53/2.17	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
3.53/2.17	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
3.53/2.17	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
3.53/2.17	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
3.53/2.17	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
3.53/2.17	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
3.53/2.17	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c
217.76/30.74	c (28,0) c real time : 28.5746 s
217.76/30.74	c (28,0) c cpu time  : 213.724 s
217.76/30.74	c (28,0) c
217.76/30.74	c (28,0) c
217.76/30.74	c (28,0) c
217.76/30.74	c (28,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
217.76/30.74	c (28,0) c
217.76/30.74	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
217.76/30.74	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c | Conflicts     |         1541071 |     157469 |     157717 |     160701 |     162227 |     161838 |     159046 |     417625 |     164448 |
217.76/30.74	c (28,0) c | Decisions     |         1839305 |     191071 |     187036 |     194141 |     193865 |     194880 |     191034 |     493551 |     193727 |
217.76/30.74	c (28,0) c | Propagations  |        29268688 |    3002535 |    2969444 |    3040956 |    3049485 |    3054352 |    3002395 |    8068652 |    3080869 |
217.76/30.74	c (28,0) c | ReduceDBs     |             236 |         10 |         10 |         10 |         10 |         10 |         10 |        166 |         10 |
217.76/30.74	c (28,0) c | SimpDBs       |              20 |          2 |          2 |          2 |          2 |          2 |          2 |          6 |          2 |
217.76/30.74	c (28,0) c | Restarts      |            3376 |        441 |        299 |        438 |        347 |        422 |        395 |        759 |        275 |
217.76/30.74	c (28,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
217.76/30.74	c (28,0) c | PropBinClauses|        48702610 |    4918960 |    4884783 |    5003736 |    5010933 |    5028688 |    4926776 |   13875995 |    5052739 |
217.76/30.74	c (28,0) c | PropPreBlocker|      6398014003 |  784576358 |  791087993 |  793412443 |  811300732 |  804814136 |  794162541 |  810329893 |  808329907 |
217.76/30.74	c (28,0) c | PropNotBlocker|      2506289089 |  317186196 |  313777349 |  313574685 |  311692639 |  314079752 |  315471052 |  315752494 |  304754922 |
217.76/30.74	c (28,0) c | LitFullScans  |     24862096451 | 3103427612 | 3109542519 | 3109403973 | 3109482740 | 3109361213 | 3109384375 | 3108004302 | 3103489717 |
217.76/30.74	c (28,0) c | LitScanFracts |        10763754 |    1407787 |    1536639 |    1386891 |    1477438 |    1354973 |    1378227 |     739607 |    1482192 |
217.76/30.74	c (28,0) c | DecisionLevel0|            3396 |        443 |        300 |        440 |        349 |        423 |        396 |        767 |        278 |
217.76/30.74	c (28,0) c | Periods       |            4141 |        517 |        518 |        518 |        518 |        518 |        518 |        517 |        517 |
217.76/30.74	c (28,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
217.76/30.74	c (28,0) c | Avg_Trail     |                 |        142 |        142 |        142 |        142 |        142 |        141 |        143 |        141 |
217.76/30.74	c (28,0) c | Avg_DL        |                 |         17 |         16 |         16 |         16 |         16 |         16 |         15 |         16 |
217.76/30.74	c (28,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
217.76/30.74	c (28,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
217.76/30.74	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c | Exported      |          142508 |      14106 |      16498 |      13362 |      14627 |      13914 |      14938 |      38104 |      16959 |
217.76/30.74	c (28,0) c | Imported      |          943392 |     118394 |     119596 |     123559 |     121644 |     122559 |     118117 |     100097 |     119426 |
217.76/30.74	c (28,0) c | Good          |             551 |         56 |         71 |         81 |         76 |         80 |         54 |         60 |         73 |
217.76/30.74	c (28,0) c | Purge         |          942841 |     118338 |     119525 |     123478 |     121568 |     122479 |     118063 |     100037 |     119353 |
217.76/30.74	c (28,0) c | Promoted      |          143905 |      18330 |      18092 |      17663 |      17989 |      18070 |      18501 |      17190 |      18070 |
217.76/30.74	c (28,0) c | Remove_Imp    |          456303 |      52100 |      55535 |      62282 |      52760 |      53940 |      51701 |      84959 |      43026 |
217.76/30.74	c (28,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
217.76/30.74	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c | Unaries       |                 |          2 |          1 |          2 |          2 |          1 |          1 |          8 |          3 |
217.76/30.74	c (28,0) c | Binaries      |                 |         15 |         14 |         18 |         11 |          8 |         10 |         61 |         14 |
217.76/30.74	c (28,0) c | Glues         |                 |         17 |         20 |         18 |         20 |         10 |         12 |         76 |         22 |
217.76/30.74	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c | Orig_Seen     |           269 % |        480 |        480 |        480 |        480 |        480 |        480 |       6871 |        480 |
217.76/30.74	c (28,0) c | Diff Orig seen|                 | -     6391 | -     6391 | -     6391 | -     6391 | -     6391 | -     6391 |      X     | -     6391 |
217.76/30.74	c (28,0) c | Hamming       |            21 % |         38 |         38 |         39 |         30 |         41 |         46 |      X     |         35 |
217.76/30.74	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.74	c (28,0) c | RunningTime   |                 |   28.5 100%|   26.9  97%|   27.2  98%|   25.9  93%|   26.3  94%|   27.2  98%|   24.9  90%|   27.1  97%|
217.76/30.74	c (28,0) c | WaitingTime   |                 |    0.0   0%|    0.9   3%|    0.6   2%|    1.9   7%|    1.5   5%|    0.6   2%|    2.8  10%|    0.8   3%|
217.76/30.74	c (28,0) c | ExchangingTime|                 |    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|    0.1   0%|
217.76/30.75	c (28,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%|
217.76/30.75	c (28,0) c | SolvingTime   |                 |   28.6     |   27.9     |   27.9     |   27.9     |   27.9     |   27.9     |   27.8     |   27.9     |
217.76/30.75	c (28,0) c | PropagationTim|                 |   27.2  95%|   26.3  94%|   26.4  95%|   26.4  95%|   26.4  95%|   26.3  94%|   24.5  88%|   26.0  93%|
217.76/30.75	c (28,0) c | AnalysisTime  |                 |    1.0   3%|    1.2   4%|    1.0   4%|    1.1   4%|    1.1   4%|    1.2   4%|    2.5   9%|    1.6   6%|
217.76/30.75	c (28,0) c | ReductionTime |                 |    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.2   1%|    0.4   1%|    0.2   1%|
217.76/30.75	c (28,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
217.76/30.75	c (28,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%|
217.76/30.75	c (28,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%|
217.76/30.75	c (28,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.75	c (28,0) c
217.76/30.75	c (28,0) c
217.76/30.75	c (28,0) c Threads : 8
217.76/30.75	c (28,0) c Winner : 6
217.76/30.75	c (28,0) c Conflicts_0 : 157469
217.76/30.75	c (28,0) c Conflicts_1 : 157717
217.76/30.75	c (28,0) c Conflicts_2 : 160701
217.76/30.75	c (28,0) c Conflicts_3 : 162227
217.76/30.75	c (28,0) c Conflicts_4 : 161838
217.76/30.75	c (28,0) c Conflicts_5 : 159046
217.76/30.75	c (28,0) c Conflicts_6 : 417625
217.76/30.75	c (28,0) c Conflicts_7 : 164448
217.76/30.75	c (28,0) c Conflicts_total : 1541071
217.76/30.75	c (28,0) c Conflicts_winner : 417625
217.76/30.75	c (28,0) c Decisions_0 : 191071
217.76/30.75	c (28,0) c Decisions_1 : 187036
217.76/30.75	c (28,0) c Decisions_2 : 194141
217.76/30.75	c (28,0) c Decisions_3 : 193865
217.76/30.75	c (28,0) c Decisions_4 : 194880
217.76/30.75	c (28,0) c Decisions_5 : 191034
217.76/30.75	c (28,0) c Decisions_6 : 493551
217.76/30.75	c (28,0) c Decisions_7 : 193727
217.76/30.75	c (28,0) c Decisions_total : 1839305
217.76/30.75	c (28,0) c Decisions_winner : 493551
217.76/30.75	c (28,0) c Propagations_0 : 3002535
217.76/30.75	c (28,0) c Propagations_1 : 2969444
217.76/30.75	c (28,0) c Propagations_2 : 3040956
217.76/30.75	c (28,0) c Propagations_3 : 3049485
217.76/30.75	c (28,0) c Propagations_4 : 3054352
217.76/30.75	c (28,0) c Propagations_5 : 3002395
217.76/30.75	c (28,0) c Propagations_6 : 8068652
217.76/30.75	c (28,0) c Propagations_7 : 3080869
217.76/30.75	c (28,0) c Propagations_total : 29268688
217.76/30.75	c (28,0) c Propagations_winner : 8068652
217.76/30.75	c (28,0) c ReduceDBs_0 : 10
217.76/30.75	c (28,0) c ReduceDBs_1 : 10
217.76/30.75	c (28,0) c ReduceDBs_2 : 10
217.76/30.75	c (28,0) c ReduceDBs_3 : 10
217.76/30.75	c (28,0) c ReduceDBs_4 : 10
217.76/30.75	c (28,0) c ReduceDBs_5 : 10
217.76/30.75	c (28,0) c ReduceDBs_6 : 166
217.76/30.75	c (28,0) c ReduceDBs_7 : 10
217.76/30.75	c (28,0) c ReduceDBs_total : 236
217.76/30.75	c (28,0) c ReduceDBs_winner : 166
217.76/30.75	c (28,0) c SimpDBs_0 : 2
217.76/30.75	c (28,0) c SimpDBs_1 : 2
217.76/30.75	c (28,0) c SimpDBs_2 : 2
217.76/30.75	c (28,0) c SimpDBs_3 : 2
217.76/30.75	c (28,0) c SimpDBs_4 : 2
217.76/30.75	c (28,0) c SimpDBs_5 : 2
217.76/30.75	c (28,0) c SimpDBs_6 : 6
217.76/30.75	c (28,0) c SimpDBs_7 : 2
217.76/30.75	c (28,0) c SimpDBs_total : 20
217.76/30.75	c (28,0) c SimpDBs_winner : 6
217.76/30.75	c (28,0) c Restarts_0 : 441
217.76/30.75	c (28,0) c Restarts_1 : 299
217.76/30.75	c (28,0) c Restarts_2 : 438
217.76/30.75	c (28,0) c Restarts_3 : 347
217.76/30.75	c (28,0) c Restarts_4 : 422
217.76/30.75	c (28,0) c Restarts_5 : 395
217.76/30.75	c (28,0) c Restarts_6 : 759
217.76/30.75	c (28,0) c Restarts_7 : 275
217.76/30.75	c (28,0) c Restarts_total : 3376
217.76/30.75	c (28,0) c Restarts_winner : 759
217.76/30.75	c (28,0) c ForcedImports_0 : 0
217.76/30.75	c (28,0) c ForcedImports_1 : 0
217.76/30.75	c (28,0) c ForcedImports_2 : 0
217.76/30.75	c (28,0) c ForcedImports_3 : 0
217.76/30.75	c (28,0) c ForcedImports_4 : 0
217.76/30.75	c (28,0) c ForcedImports_5 : 0
217.76/30.75	c (28,0) c ForcedImports_6 : 0
217.76/30.75	c (28,0) c ForcedImports_7 : 0
217.76/30.75	c (28,0) c ForcedImports_total : 0
217.76/30.75	c (28,0) c ForcedImports_winner : 0
217.76/30.75	c (28,0) c PropsBinClauses_0 : 4918960
217.76/30.75	c (28,0) c PropsBinClauses_1 : 4884783
217.76/30.75	c (28,0) c PropsBinClauses_2 : 5003736
217.76/30.75	c (28,0) c PropsBinClauses_3 : 5010933
217.76/30.75	c (28,0) c PropsBinClauses_4 : 5028688
217.76/30.75	c (28,0) c PropsBinClauses_5 : 4926776
217.76/30.75	c (28,0) c PropsBinClauses_6 : 13875995
217.76/30.75	c (28,0) c PropsBinClauses_7 : 5052739
217.76/30.75	c (28,0) c PropsBinClauses_total : 48702610
217.76/30.75	c (28,0) c PropsBinClauses_winner : 13875995
217.76/30.75	c (28,0) c PropsPreBlocker_0 : 784576358
217.76/30.75	c (28,0) c PropsPreBlocker_1 : 791087993
217.76/30.75	c (28,0) c PropsPreBlocker_2 : 793412443
217.76/30.75	c (28,0) c PropsPreBlocker_3 : 811300732
217.76/30.75	c (28,0) c PropsPreBlocker_4 : 804814136
217.76/30.75	c (28,0) c PropsPreBlocker_5 : 794162541
217.76/30.75	c (28,0) c PropsPreBlocker_6 : 810329893
217.76/30.75	c (28,0) c PropsPreBlocker_7 : 808329907
217.76/30.75	c (28,0) c PropsPreBlocker_total : 6398014003
217.76/30.75	c (28,0) c PropsPreBlocker_winner : 810329893
217.76/30.75	c (28,0) c PropsNotBlocker_0 : 317186196
217.76/30.75	c (28,0) c PropsNotBlocker_1 : 313777349
217.76/30.75	c (28,0) c PropsNotBlocker_2 : 313574685
217.76/30.75	c (28,0) c PropsNotBlocker_3 : 311692639
217.76/30.75	c (28,0) c PropsNotBlocker_4 : 314079752
217.76/30.75	c (28,0) c PropsNotBlocker_5 : 315471052
217.76/30.75	c (28,0) c PropsNotBlocker_6 : 315752494
217.76/30.75	c (28,0) c PropsNotBlocker_7 : 304754922
217.76/30.75	c (28,0) c PropsNotBlocker_total : 2506289089
217.76/30.75	c (28,0) c PropsNotBlocker_winner : 315752494
217.76/30.75	c (28,0) c PropsLitFullScans_0 : 3103427612
217.76/30.75	c (28,0) c PropsLitFullScans_1 : 3109542519
217.76/30.75	c (28,0) c PropsLitFullScans_2 : 3109403973
217.76/30.75	c (28,0) c PropsLitFullScans_3 : 3109482740
217.76/30.75	c (28,0) c PropsLitFullScans_4 : 3109361213
217.76/30.75	c (28,0) c PropsLitFullScans_5 : 3109384375
217.76/30.75	c (28,0) c PropsLitFullScans_6 : 3108004302
217.76/30.75	c (28,0) c PropsLitFullScans_7 : 3103489717
217.76/30.75	c (28,0) c PropsLitFullScans_total : 24862096451
217.76/30.75	c (28,0) c PropsLitFullScans_winner : 3108004302
217.76/30.75	c (28,0) c LitScanFractions_0 : 1407787
217.76/30.75	c (28,0) c LitScanFractions_1 : 1536639
217.76/30.75	c (28,0) c LitScanFractions_2 : 1386891
217.76/30.75	c (28,0) c LitScanFractions_3 : 1477438
217.76/30.75	c (28,0) c LitScanFractions_4 : 1354973
217.76/30.75	c (28,0) c LitScanFractions_5 : 1378227
217.76/30.75	c (28,0) c LitScanFractions_6 : 739607
217.76/30.75	c (28,0) c LitScanFractions_7 : 1482192
217.76/30.75	c (28,0) c LitScanFractions_total : 10763754
217.76/30.75	c (28,0) c LitScanFractions_winner : 739607
217.76/30.75	c (28,0) c DecisionLevel0_0 : 443
217.76/30.75	c (28,0) c DecisionLevel0_1 : 300
217.76/30.75	c (28,0) c DecisionLevel0_2 : 440
217.76/30.75	c (28,0) c DecisionLevel0_3 : 349
217.76/30.75	c (28,0) c DecisionLevel0_4 : 423
217.76/30.75	c (28,0) c DecisionLevel0_5 : 396
217.76/30.75	c (28,0) c DecisionLevel0_6 : 767
217.76/30.75	c (28,0) c DecisionLevel0_7 : 278
217.76/30.75	c (28,0) c DecisionLevel0_total : 3396
217.76/30.75	c (28,0) c DecisionLevel0_winner : 767
217.76/30.75	c (28,0) c Periods_0 : 517
217.76/30.75	c (28,0) c Periods_1 : 518
217.76/30.75	c (28,0) c Periods_2 : 518
217.76/30.75	c (28,0) c Periods_3 : 518
217.76/30.75	c (28,0) c Periods_4 : 518
217.76/30.75	c (28,0) c Periods_5 : 518
217.76/30.75	c (28,0) c Periods_6 : 517
217.76/30.75	c (28,0) c Periods_7 : 517
217.76/30.75	c (28,0) c Periods_total : 4141
217.76/30.75	c (28,0) c Periods_winner : 517
217.76/30.75	c (28,0) c Margin_0 : 20
217.76/30.75	c (28,0) c Margin_1 : 20
217.76/30.75	c (28,0) c Margin_2 : 20
217.76/30.75	c (28,0) c Margin_3 : 20
217.76/30.75	c (28,0) c Margin_4 : 20
217.76/30.75	c (28,0) c Margin_5 : 20
217.76/30.75	c (28,0) c Margin_6 : 20
217.76/30.75	c (28,0) c Margin_7 : 20
217.76/30.75	c (28,0) c Margin_total : 160
217.76/30.75	c (28,0) c Margin_winner : 20
217.76/30.75	c (28,0) c Exported_0 : 14106
217.76/30.75	c (28,0) c Exported_1 : 16498
217.76/30.75	c (28,0) c Exported_2 : 13362
217.76/30.75	c (28,0) c Exported_3 : 14627
217.76/30.75	c (28,0) c Exported_4 : 13914
217.76/30.75	c (28,0) c Exported_5 : 14938
217.76/30.75	c (28,0) c Exported_6 : 38104
217.76/30.75	c (28,0) c Exported_7 : 16959
217.76/30.75	c (28,0) c Exported_total : 142508
217.76/30.75	c (28,0) c Exported_winner : 38104
217.76/30.75	c (28,0) c Imported_0 : 118394
217.76/30.75	c (28,0) c Imported_1 : 119596
217.76/30.75	c (28,0) c Imported_2 : 123559
217.76/30.75	c (28,0) c Imported_3 : 121644
217.76/30.75	c (28,0) c Imported_4 : 122559
217.76/30.75	c (28,0) c Imported_5 : 118117
217.76/30.75	c (28,0) c Imported_6 : 100097
217.76/30.75	c (28,0) c Imported_7 : 119426
217.76/30.75	c (28,0) c Imported_total : 943392
217.76/30.75	c (28,0) c Imported_winner : 100097
217.76/30.75	c (28,0) c Good_0 : 56
217.76/30.75	c (28,0) c Good_1 : 71
217.76/30.75	c (28,0) c Good_2 : 81
217.76/30.75	c (28,0) c Good_3 : 76
217.76/30.75	c (28,0) c Good_4 : 80
217.76/30.75	c (28,0) c Good_5 : 54
217.76/30.75	c (28,0) c Good_6 : 60
217.76/30.75	c (28,0) c Good_7 : 73
217.76/30.75	c (28,0) c Good_total : 551
217.76/30.75	c (28,0) c Good_winner : 60
217.76/30.75	c (28,0) c Purge_0 : 118338
217.76/30.75	c (28,0) c Purge_1 : 119525
217.76/30.75	c (28,0) c Purge_2 : 123478
217.76/30.75	c (28,0) c Purge_3 : 121568
217.76/30.75	c (28,0) c Purge_4 : 122479
217.76/30.75	c (28,0) c Purge_5 : 118063
217.76/30.75	c (28,0) c Purge_6 : 100037
217.76/30.75	c (28,0) c Purge_7 : 119353
217.76/30.75	c (28,0) c Purge_total : 942841
217.76/30.75	c (28,0) c Purge_winner : 100037
217.76/30.75	c (28,0) c Promoted_0 : 18330
217.76/30.75	c (28,0) c Promoted_1 : 18092
217.76/30.75	c (28,0) c Promoted_2 : 17663
217.76/30.75	c (28,0) c Promoted_3 : 17989
217.76/30.75	c (28,0) c Promoted_4 : 18070
217.76/30.75	c (28,0) c Promoted_5 : 18501
217.76/30.75	c (28,0) c Promoted_6 : 17190
217.76/30.75	c (28,0) c Promoted_7 : 18070
217.76/30.75	c (28,0) c Promoted_total : 143905
217.76/30.75	c (28,0) c Promoted_winner : 17190
217.76/30.75	c (28,0) c Remove_Imp_0 : 52100
217.76/30.75	c (28,0) c Remove_Imp_1 : 55535
217.76/30.75	c (28,0) c Remove_Imp_2 : 62282
217.76/30.75	c (28,0) c Remove_Imp_3 : 52760
217.76/30.76	c (28,0) c Remove_Imp_4 : 53940
217.76/30.76	c (28,0) c Remove_Imp_5 : 51701
217.76/30.76	c (28,0) c Remove_Imp_6 : 84959
217.76/30.76	c (28,0) c Remove_Imp_7 : 43026
217.76/30.76	c (28,0) c Remove_Imp_total : 456303
217.76/30.76	c (28,0) c Remove_Imp_winner : 84959
217.76/30.76	c (28,0) c Blocked_Reuse_0 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_1 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_2 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_3 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_4 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_5 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_6 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_7 : 0
217.76/30.76	c (28,0) c Blocked_Reuse_total : 0
217.76/30.76	c (28,0) c Blocked_Reuse_winner : 0
217.76/30.76	c (28,0) c Unaries_0 : 2
217.76/30.76	c (28,0) c Unaries_1 : 1
217.76/30.76	c (28,0) c Unaries_2 : 2
217.76/30.76	c (28,0) c Unaries_3 : 2
217.76/30.76	c (28,0) c Unaries_4 : 1
217.76/30.76	c (28,0) c Unaries_5 : 1
217.76/30.76	c (28,0) c Unaries_6 : 8
217.76/30.76	c (28,0) c Unaries_7 : 3
217.76/30.76	c (28,0) c Unaries_total : 20
217.76/30.76	c (28,0) c Unaries_winner : 8
217.76/30.76	c (28,0) c Binaries_0 : 15
217.76/30.76	c (28,0) c Binaries_1 : 14
217.76/30.76	c (28,0) c Binaries_2 : 18
217.76/30.76	c (28,0) c Binaries_3 : 11
217.76/30.76	c (28,0) c Binaries_4 : 8
217.76/30.76	c (28,0) c Binaries_5 : 10
217.76/30.76	c (28,0) c Binaries_6 : 61
217.76/30.76	c (28,0) c Binaries_7 : 14
217.76/30.76	c (28,0) c Binaries_total : 151
217.76/30.76	c (28,0) c Binaries_winner : 61
217.76/30.76	c (28,0) c Glues_0 : 17
217.76/30.76	c (28,0) c Glues_1 : 20
217.76/30.76	c (28,0) c Glues_2 : 18
217.76/30.76	c (28,0) c Glues_3 : 20
217.76/30.76	c (28,0) c Glues_4 : 10
217.76/30.76	c (28,0) c Glues_5 : 12
217.76/30.76	c (28,0) c Glues_6 : 76
217.76/30.76	c (28,0) c Glues_7 : 22
217.76/30.76	c (28,0) c Glues_total : 195
217.76/30.76	c (28,0) c Glues_winner : 76
217.76/30.76	c (28,0) c RunningTime_0 : 28.488050
217.76/30.76	c (28,0) c RunningTime_1 : 26.936738
217.76/30.76	c (28,0) c RunningTime_2 : 27.219455
217.76/30.76	c (28,0) c RunningTime_3 : 25.896966
217.76/30.76	c (28,0) c RunningTime_4 : 26.310703
217.76/30.76	c (28,0) c RunningTime_5 : 27.226393
217.76/30.76	c (28,0) c RunningTime_6 : 24.913785
217.76/30.76	c (28,0) c RunningTime_7 : 27.050822
217.76/30.76	c (28,0) c RunningTime_total : 214.042912
217.76/30.76	c (28,0) c RunningTime_winner : 24.913785
217.76/30.76	c (28,0) c WaitingTime_0 : 0.000638
217.76/30.76	c (28,0) c WaitingTime_1 : 0.870195
217.76/30.76	c (28,0) c WaitingTime_2 : 0.555788
217.76/30.76	c (28,0) c WaitingTime_3 : 1.887015
217.76/30.76	c (28,0) c WaitingTime_4 : 1.479656
217.76/30.76	c (28,0) c WaitingTime_5 : 0.571942
217.76/30.76	c (28,0) c WaitingTime_6 : 2.823158
217.76/30.76	c (28,0) c WaitingTime_7 : 0.806513
217.76/30.76	c (28,0) c WaitingTime_total : 8.994905
217.76/30.76	c (28,0) c WaitingTime_winner : 2.823158
217.76/30.76	c (28,0) c ExchangingTime_0 : 0.063720
217.76/30.76	c (28,0) c ExchangingTime_1 : 0.068980
217.76/30.76	c (28,0) c ExchangingTime_2 : 0.072049
217.76/30.76	c (28,0) c ExchangingTime_3 : 0.068448
217.76/30.76	c (28,0) c ExchangingTime_4 : 0.067534
217.76/30.76	c (28,0) c ExchangingTime_5 : 0.065280
217.76/30.76	c (28,0) c ExchangingTime_6 : 0.074300
217.76/30.76	c (28,0) c ExchangingTime_7 : 0.072483
217.76/30.76	c (28,0) c ExchangingTime_total : 0.552793
217.76/30.76	c (28,0) c ExchangingTime_winner : 0.074300
217.76/30.76	c (28,0) c PeriodProcTime_0 : 0.004452
217.76/30.76	c (28,0) c PeriodProcTime_1 : 0.003602
217.76/30.76	c (28,0) c PeriodProcTime_2 : 0.003343
217.76/30.76	c (28,0) c PeriodProcTime_3 : 0.004045
217.76/30.76	c (28,0) c PeriodProcTime_4 : 0.004093
217.76/30.76	c (28,0) c PeriodProcTime_5 : 0.004709
217.76/30.76	c (28,0) c PeriodProcTime_6 : 0.004138
217.76/30.76	c (28,0) c PeriodProcTime_7 : 0.003320
217.76/30.76	c (28,0) c PeriodProcTime_total : 0.031701
217.76/30.76	c (28,0) c PeriodProcTime_winner : 0.004138
217.76/30.76	c (28,0) c SolvingTime_0 : 28.556859
217.76/30.76	c (28,0) c SolvingTime_1 : 27.879515
217.76/30.76	c (28,0) c SolvingTime_2 : 27.850635
217.76/30.76	c (28,0) c SolvingTime_3 : 27.856474
217.76/30.76	c (28,0) c SolvingTime_4 : 27.861986
217.76/30.76	c (28,0) c SolvingTime_5 : 27.868325
217.76/30.76	c (28,0) c SolvingTime_6 : 27.815380
217.76/30.76	c (28,0) c SolvingTime_7 : 27.933137
217.76/30.76	c (28,0) c SolvingTime_total : 223.622311
217.76/30.76	c (28,0) c SolvingTime_winner : 27.815380
217.76/30.76	c (28,0) c PropagationTime_0 : 27.207891
217.76/30.76	c (28,0) c PropagationTime_1 : 26.320771
217.76/30.76	c (28,0) c PropagationTime_2 : 26.433167
217.76/30.76	c (28,0) c PropagationTime_3 : 26.446598
217.76/30.76	c (28,0) c PropagationTime_4 : 26.445188
217.76/30.76	c (28,0) c PropagationTime_5 : 26.269320
217.76/30.76	c (28,0) c PropagationTime_6 : 24.494288
217.76/30.76	c (28,0) c PropagationTime_7 : 25.991792
217.76/30.76	c (28,0) c PropagationTime_total : 209.609015
217.76/30.76	c (28,0) c PropagationTime_winner : 24.494288
217.76/30.76	c (28,0) c AnalysisTime_0 : 0.992366
217.76/30.76	c (28,0) c AnalysisTime_1 : 1.178673
217.76/30.76	c (28,0) c AnalysisTime_2 : 1.048333
217.76/30.76	c (28,0) c AnalysisTime_3 : 1.054048
217.76/30.76	c (28,0) c AnalysisTime_4 : 1.052265
217.76/30.76	c (28,0) c AnalysisTime_5 : 1.219985
217.76/30.76	c (28,0) c AnalysisTime_6 : 2.507608
217.76/30.76	c (28,0) c AnalysisTime_7 : 1.552211
217.76/30.76	c (28,0) c AnalysisTime_total : 10.605488
217.76/30.76	c (28,0) c AnalysisTime_winner : 2.507608
217.76/30.76	c (28,0) c ReductionTime_0 : 0.166070
217.76/30.76	c (28,0) c ReductionTime_1 : 0.169176
217.76/30.76	c (28,0) c ReductionTime_2 : 0.159212
217.76/30.76	c (28,0) c ReductionTime_3 : 0.158066
217.76/30.76	c (28,0) c ReductionTime_4 : 0.165571
217.76/30.76	c (28,0) c ReductionTime_5 : 0.164644
217.76/30.76	c (28,0) c ReductionTime_6 : 0.402973
217.76/30.76	c (28,0) c ReductionTime_7 : 0.168913
217.76/30.76	c (28,0) c ReductionTime_total : 1.554625
217.76/30.76	c (28,0) c ReductionTime_winner : 0.402973
217.76/30.76	c (28,0) c SimplifyTime_0 : 0.007390
217.76/30.76	c (28,0) c SimplifyTime_1 : 0.008162
217.76/30.76	c (28,0) c SimplifyTime_2 : 0.008272
217.76/30.76	c (28,0) c SimplifyTime_3 : 0.007952
217.76/30.76	c (28,0) c SimplifyTime_4 : 0.006531
217.76/30.76	c (28,0) c SimplifyTime_5 : 0.009865
217.76/30.76	c (28,0) c SimplifyTime_6 : 0.009160
217.76/30.76	c (28,0) c SimplifyTime_7 : 0.016691
217.76/30.76	c (28,0) c SimplifyTime_total : 0.074023
217.76/30.76	c (28,0) c SimplifyTime_winner : 0.009160
217.76/30.76	c (28,0) c UsedRateTime_0 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_1 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_2 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_3 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_4 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_5 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_6 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_7 : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_total : 0.000000
217.76/30.76	c (28,0) c UsedRateTime_winner : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_0 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_1 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_2 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_3 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_4 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_5 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_6 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_7 : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_total : 0.000000
217.76/30.76	c (28,0) c OverlapRateTime_winner : 0.000000
217.76/30.76	c (28,0) c
217.76/30.76	c (28,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
217.76/30.76	c (28,0) c
217.76/30.76	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.76	c (28,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
217.76/30.76	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.76	c (28,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
217.76/30.76	c (28,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
217.76/30.76	c (28,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
217.76/30.76	c (28,0) c | Initial random_seed   | 1764655475 |  178388425 |   32253314 |  997742786 |  211608967 |  964681133 |  207133770 |  556871898 |
217.76/30.76	c (28,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |       True |      False |
217.76/30.76	c (28,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          4 |          5 |
217.76/30.76	c (28,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
217.76/30.76	c (28,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
217.76/30.76	c (28,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |          0 |        300 |
217.76/30.76	c (28,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
217.76/30.76	c (28,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
217.76/30.76	c (28,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
217.76/30.76	c (28,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
217.76/30.76	c (28,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
217.76/30.76	c (28,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
217.76/30.76	c (28,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
217.76/30.76	c (28,0) 
217.76/30.76	c (28,0) s UNSATISFIABLE
217.76/30.76	c (28,0) SatSolver.solve End
217.76/30.76	c (28,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
217.76/30.76	c (28,0) Show results Begin
217.76/30.76	s UNSATISFIABLE
217.76/30.76	c (28,0) Show results End
217.76/30.76	c (28,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
217.76/30.77	c (28,0) 28,28,STOP-AFTER(ALL)
217.76/30.77	c END-Prog: Sat Sep 14 07:29:58 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 (14853 MiB free)
  memory of node 1: 16384 MiB (15032 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392326-1568439010/watcher-4392326-1568439010 -o /tmp/evaluation-result-4392326-1568439010/solver-4392326-1568439010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --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-4392326-1568439010.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=453, runsolver pid=448

[startup+0.100112 s]*
/proc/loadavg: 7.20 7.31 7.68 2/211 475
/proc/meminfo: memFree=30508048/32770624 swapFree=66927260/67108860
[pid=453] ppid=448 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/453/stat : 453 (scop.sh) S 448 453 31706 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420148318 115843072 348 33554432000 4194304 5098028 140722086981424 140722086978680 139636045120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23433216 140722086982437 140722086982764 140722086982764 140722086985677 0
/proc/453/statm: 28282 348 296 221 0 87 0
[pid=456] ppid=453 vsize=27314120 memory=105888 CPUtime=0.1 cores=0-7
/proc/456/stat : 456 (java) S 453 453 31706 0 -1 1077944320 6054 0 0 0 8 2 0 0 20 0 20 0 420148318 27969658880 26472 33554432000 4194304 4196468 140728966459328 140728966441872 140243392962295 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
/proc/456/statm: 6828530 26472 2781 1 0 6790935 0
[pid=456/tid=457] ppid=453 vsize=27314120 memory=8318255677412212789 CPUtime=0.09 cores=0-7
/proc/456/task/457/stat : 457 (java) R 453 453 31706 0 -1 4202560 4206 0 0 0 7 2 0 0 20 0 20 0 420148319 27969658880 26602 33554432000 4194304 4196468 140728966459328 140243364789008 140243392984221 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=458] ppid=453 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/456/task/458/stat : 458 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140243397205136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=459] ppid=453 vsize=27314120 memory=140076123969753 CPUtime=0 cores=0-7
/proc/456/task/459/stat : 459 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242814929936 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=460] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/460/stat : 460 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242813877136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=461] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/461/stat : 461 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242812824336 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=462] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/462/stat : 462 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242811771536 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=463] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/463/stat : 463 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242810718736 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=464] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/464/stat : 464 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242809665936 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=465] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/465/stat : 465 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242808613136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=466] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/466/stat : 466 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242766064496 140243392973442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=467] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/467/stat : 467 (java) S 453 453 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 26602 33554432000 4194304 4196468 140728966459328 140241352517152 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=468] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/468/stat : 468 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 26602 33554432000 4194304 4196468 140728966459328 140241084081520 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=469] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/469/stat : 469 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140240709572944 140243392980891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=470] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/470/stat : 470 (java) S 453 453 31706 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242765011312 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=471] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/471/stat : 471 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242763958512 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=472] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/472/stat : 472 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242762905712 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=473] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/473/stat : 473 (java) S 453 453 31706 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242380122096 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=474] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/474/stat : 474 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140240211668064 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=475] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/475/stat : 475 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 26602 33554432000 4194304 4196468 140728966459328 140242379070512 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107280 KiB

[startup+0.210227 s]*
/proc/loadavg: 7.20 7.31 7.68 3/211 475
/proc/meminfo: memFree=30486668/32770624 swapFree=66927260/67108860
[pid=453] ppid=448 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/453/stat : 453 (scop.sh) S 448 453 31706 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420148318 115843072 348 33554432000 4194304 5098028 140722086981424 140722086978680 139636045120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23433216 140722086982437 140722086982764 140722086982764 140722086985677 0
/proc/453/statm: 28282 348 296 221 0 87 0
[pid=456] ppid=453 vsize=27314120 memory=125408 CPUtime=0.24 cores=0-7
/proc/456/stat : 456 (java) S 453 453 31706 0 -1 1077944320 11597 0 0 0 20 4 0 0 20 0 20 0 420148318 27969658880 31352 33554432000 4194304 4196468 140728966459328 140728966441872 140243392962295 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
/proc/456/statm: 6828530 31352 2927 1 0 6790935 0
[pid=456/tid=457] ppid=453 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/456/task/457/stat : 457 (java) R 453 453 31706 0 -1 4202560 9299 0 0 0 16 3 0 0 20 0 20 0 420148319 27969658880 31352 33554432000 4194304 4196468 140728966459328 140243364777360 140243374525886 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=458] ppid=453 vsize=27314120 memory=288230609019732336 CPUtime=0 cores=0-7
/proc/456/task/458/stat : 458 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140243397205136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=459] ppid=453 vsize=27314120 memory=140076123969753 CPUtime=0 cores=0-7
/proc/456/task/459/stat : 459 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242814929936 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=460] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/460/stat : 460 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242813877136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=461] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/461/stat : 461 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242812824336 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=462] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/462/stat : 462 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242811771536 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=463] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/463/stat : 463 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242810718736 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=464] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/464/stat : 464 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242809665936 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=465] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/465/stat : 465 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242808613136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=466] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/466/stat : 466 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242766064496 140243392973442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=467] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/467/stat : 467 (java) S 453 453 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 31352 33554432000 4194304 4196468 140728966459328 140241352517152 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=468] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/468/stat : 468 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 31352 33554432000 4194304 4196468 140728966459328 140241084081520 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=469] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/469/stat : 469 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140240709572944 140243392980891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=470] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/470/stat : 470 (java) S 453 453 31706 0 -1 1077944384 454 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242765011312 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=471] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/471/stat : 471 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242763958512 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=472] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/472/stat : 472 (java) S 453 453 31706 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242762905712 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=473] ppid=453 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/456/task/473/stat : 473 (java) S 453 453 31706 0 -1 1077944384 482 0 0 0 2 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242380122096 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=474] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/474/stat : 474 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140240211668064 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=475] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/475/stat : 475 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 31352 33554432000 4194304 4196468 140728966459328 140242379070512 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126800 KiB

[startup+0.309472 s]*
/proc/loadavg: 7.20 7.31 7.68 3/211 475
/proc/meminfo: memFree=30482744/32770624 swapFree=66927260/67108860
[pid=453] ppid=448 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/453/stat : 453 (scop.sh) S 448 453 31706 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420148318 115843072 348 33554432000 4194304 5098028 140722086981424 140722086978680 139636045120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23433216 140722086982437 140722086982764 140722086982764 140722086985677 0
/proc/453/statm: 28282 348 296 221 0 87 0
[pid=456] ppid=453 vsize=27314120 memory=129764 CPUtime=0.42 cores=0-7
/proc/456/stat : 456 (java) S 453 453 31706 0 -1 1077944320 12768 0 0 0 37 5 0 0 20 0 20 0 420148318 27969658880 32441 33554432000 4194304 4196468 140728966459328 140728966441872 140243392962295 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
/proc/456/statm: 6828530 32441 3029 1 0 6790935 0
[pid=456/tid=457] ppid=453 vsize=27314120 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/456/task/457/stat : 457 (java) R 453 453 31706 0 -1 4202560 10271 0 0 0 26 4 0 0 20 0 20 0 420148319 27969658880 32441 33554432000 4194304 4196468 140728966459328 140243364792368 140243378127934 0 4 2 16800973 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=458] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/458/stat : 458 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140243397205136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=459] ppid=453 vsize=27314120 memory=140076123940480 CPUtime=0 cores=0-7
/proc/456/task/459/stat : 459 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242814929936 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=460] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/460/stat : 460 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242813877136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=461] ppid=453 vsize=27314120 memory=2240 CPUtime=0 cores=0-7
/proc/456/task/461/stat : 461 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242812824336 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=462] ppid=453 vsize=27314120 memory=2241 CPUtime=0 cores=0-7
/proc/456/task/462/stat : 462 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242811771536 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=463] ppid=453 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/456/task/463/stat : 463 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242810718736 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=464] ppid=453 vsize=27314120 memory=280151992770080 CPUtime=0 cores=0-7
/proc/456/task/464/stat : 464 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242809665936 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=465] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/465/stat : 465 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148321 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242808613136 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=466] ppid=453 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/456/task/466/stat : 466 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242766064496 140243392973442 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=467] ppid=453 vsize=27314120 memory=1202 CPUtime=0 cores=0-7
/proc/456/task/467/stat : 467 (java) S 453 453 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 32441 33554432000 4194304 4196468 140728966459328 140241352517152 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=468] ppid=453 vsize=27314120 memory=245 CPUtime=0 cores=0-7
/proc/456/task/468/stat : 468 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148323 27969658880 32441 33554432000 4194304 4196468 140728966459328 140241084081520 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=469] ppid=453 vsize=27314120 memory=281 CPUtime=0 cores=0-7
/proc/456/task/469/stat : 469 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140240709572944 140243392980891 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=470] ppid=453 vsize=27314120 memory=239517 CPUtime=0.01 cores=0-7
/proc/456/task/470/stat : 470 (java) S 453 453 31706 0 -1 1077944384 499 0 0 0 1 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242765011312 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=471] ppid=453 vsize=27314120 memory=1 CPUtime=0.01 cores=0-7
/proc/456/task/471/stat : 471 (java) S 453 453 31706 0 -1 1077944384 92 0 0 0 1 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242763958512 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=472] ppid=453 vsize=27314120 memory=1 CPUtime=0.01 cores=0-7
/proc/456/task/472/stat : 472 (java) S 453 453 31706 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242762905712 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=473] ppid=453 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/456/task/473/stat : 473 (java) S 453 453 31706 0 -1 1077944384 531 0 0 0 7 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242380122096 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=474] ppid=453 vsize=27314120 memory=3467825727391412274 CPUtime=0 cores=0-7
/proc/456/task/474/stat : 474 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140240211668064 140243392972501 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=475] ppid=453 vsize=27314120 memory=2319684899342136879 CPUtime=0 cores=0-7
/proc/456/task/475/stat : 475 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420148326 27969658880 32441 33554432000 4194304 4196468 140728966459328 140242379070512 140243392973442 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131156 KiB

[startup+0.700951 s]
/proc/loadavg: 7.20 7.31 7.68 3/211 475
/proc/meminfo: memFree=30462612/32770624 swapFree=66927260/67108860
[pid=453] ppid=448 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/453/stat : 453 (scop.sh) S 448 453 31706 0 -1 4202496 554 319 0 0 0 0 0 0 20 0 1 0 420148318 115843072 348 33554432000 4194304 5098028 140722086981424 140722086978680 139636045120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23433216 140722086982437 140722086982764 140722086982764 140722086985677 0
/proc/453/statm: 28282 348 296 221 0 87 0
[pid=456] ppid=453 vsize=27322516 memory=165992 CPUtime=0.99 cores=0-7
/proc/456/stat : 456 (java) S 453 453 31706 0 -1 1077944320 20075 0 0 0 92 7 0 0 20 0 20 0 420148318 27978256384 41498 33554432000 4194304 4196468 140728966459328 140728966441872 140243392962295 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
/proc/456/statm: 6830629 41498 3202 1 0 6791959 0
[pid=456/tid=457] ppid=453 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7
/proc/456/task/457/stat : 457 (java) R 453 453 31706 0 -1 4202560 17032 0 0 0 62 5 0 0 20 0 20 0 420148319 27978256384 41498 33554432000 4194304 4196468 140728966459328 140243364799568 140243377005925 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=458] ppid=453 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/456/task/458/stat : 458 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27978256384 41498 33554432000 4194304 4196468 140728966459328 140243397205136 140243392972501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=459] ppid=453 vsize=27322516 memory=4580 CPUtime=0 cores=0-7
/proc/456/task/459/stat : 459 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27978256384 41498 33554432000 4194304 4196468 140728966459328 140242814929936 140243392972501 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0
[pid=456/tid=460] ppid=453 vsize=27322516 memory=0 CPUtime=0 cores=0-7
/proc/456/task/460/stat : 460 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420148321 27978256384 41498 33554432000 4194304 4196468 140728966459328 140242813877136 140243392972501 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17305600 140728966464237 140728966464662 140728966464662 140728966467535 0

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

[pid=476/tid=487] ppid=453 vsize=8414124 memory=3400367940739989683 CPUtime=0 cores=0-7
/proc/476/task/487/stat : 487 (java) S 453 453 31706 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120576641392 140121483176578 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=488] ppid=453 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/476/task/488/stat : 488 (java) S 453 453 31706 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120086799392 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=489] ppid=453 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/476/task/489/stat : 489 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140119818363760 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=490] ppid=453 vsize=8414124 memory=119940 CPUtime=0 cores=0-7
/proc/476/task/490/stat : 490 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140119443855184 140121483184027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=491] ppid=453 vsize=8414124 memory=239900 CPUtime=0.06 cores=0-7
/proc/476/task/491/stat : 491 (java) S 453 453 31706 0 -1 1077944384 590 0 0 0 6 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120575589232 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=492] ppid=453 vsize=8414124 memory=1436 CPUtime=0.07 cores=0-7
/proc/476/task/492/stat : 492 (java) S 453 453 31706 0 -1 1077944384 402 0 0 0 7 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120574536432 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=493] ppid=453 vsize=8414124 memory=9592 CPUtime=0.04 cores=0-7
/proc/476/task/493/stat : 493 (java) S 453 453 31706 0 -1 1077944384 168 0 0 0 4 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120573483632 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=494] ppid=453 vsize=8414124 memory=776 CPUtime=0.19 cores=0-7
/proc/476/task/494/stat : 494 (java) S 453 453 31706 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120572430832 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=495] ppid=453 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/476/task/495/stat : 495 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118945950304 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=496] ppid=453 vsize=8414124 memory=692 CPUtime=0.01 cores=0-7
/proc/476/task/496/stat : 496 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120571378224 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=499] ppid=453 vsize=8414124 memory=4152 CPUtime=0 cores=0-7
/proc/476/task/499/stat : 499 (java) S 453 453 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420148535 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120563344448 140121483190041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=508] ppid=453 vsize=8414124 memory=1060 CPUtime=0 cores=0-7
/proc/476/task/508/stat : 508 (java) S 453 453 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420148536 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118543286416 140121483187357 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=509] ppid=453 vsize=8414124 memory=2832 CPUtime=0 cores=0-7
/proc/476/task/509/stat : 509 (java) S 453 453 31706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420148536 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118274850832 140121483187357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=512] ppid=453 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/476/task/512/stat : 512 (java) S 453 453 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420148538 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118006423088 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
Current children cumulated CPU time: 217.46 s
Current children cumulated vsize: 9143720 KiB
Current children cumulated memory: 364536 KiB

[startup+30.6011 s]
/proc/loadavg: 7.14 7.27 7.66 9/224 514
/proc/meminfo: memFree=30256156/32770624 swapFree=66927260/67108860
[pid=453] ppid=448 vsize=113128 memory=1472 CPUtime=2.61 cores=0-7
/proc/453/stat : 453 (scop.sh) S 448 453 31706 0 -1 4202496 580 24196 0 0 0 0 249 12 20 0 1 0 420148318 115843072 368 33554432000 4194304 5098028 140722086981424 140722086978168 139636045120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23433216 140722086982437 140722086982764 140722086982764 140722086985677 0
/proc/453/statm: 28282 368 311 221 0 87 0
[pid=476] ppid=453 vsize=8414124 memory=119940 CPUtime=1.17 cores=0-7
/proc/476/stat : 476 (java) S 453 453 31706 0 -1 1077944320 19489 0 0 0 110 7 0 0 20 0 24 0 420148462 8616062976 29985 33554432000 4194304 4196468 140729740957328 140729740939872 140121483165431 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
/proc/476/statm: 2103531 29985 3205 1 0 2064875 0
[pid=498] ppid=476 vsize=616468 memory=243124 CPUtime=213.88 cores=0-7
/proc/498/stat : 498 (manyglucose-4.1) S 476 453 31706 0 -1 1077944320 163313 0 0 0 21357 31 0 0 20 0 2 0 420148535 631263232 60781 33554432000 4194304 4454172 140726628713632 140726628712016 139964089528055 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 30703616 140726628717419 140726628717616 140726628717616 140726628720570 0
/proc/498/statm: 154117 60781 415 64 0 149785 0
[pid=498/tid=501] ppid=476 vsize=616468 memory=1656 CPUtime=28.4 cores=0-7
/proc/498/task/501/stat : 501 (manyglucose-4.1) R 476 453 31706 0 -1 4202560 17391 0 0 0 2837 3 0 0 20 0 2 0 420148535 631263232 60781 33554432000 4194304 4454172 140726628713632 139964074310664 4351209 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 30703616 140726628717419 140726628717616 140726628717616 140726628720570 0
[pid=476/tid=478] ppid=453 vsize=8414124 memory=14004 CPUtime=0.76 cores=0-7
/proc/476/task/478/stat : 478 (java) S 453 453 31706 0 -1 1077944384 16394 0 0 0 70 6 0 0 20 0 24 0 420148462 8616062976 29985 33554432000 4194304 4196468 140729740957328 140121455005600 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=479] ppid=453 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/476/task/479/stat : 479 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140121487407760 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=480] ppid=453 vsize=8414124 memory=22340 CPUtime=0 cores=0-7
/proc/476/task/480/stat : 480 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140121295968784 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=481] ppid=453 vsize=8414124 memory=14068 CPUtime=0 cores=0-7
/proc/476/task/481/stat : 481 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120967600528 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=482] ppid=453 vsize=8414124 memory=528 CPUtime=0 cores=0-7
/proc/476/task/482/stat : 482 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120966547728 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=483] ppid=453 vsize=8414124 memory=1560 CPUtime=0 cores=0-7
/proc/476/task/483/stat : 483 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120965495952 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=484] ppid=453 vsize=8414124 memory=928 CPUtime=0 cores=0-7
/proc/476/task/484/stat : 484 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120964443152 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=485] ppid=453 vsize=8414124 memory=1700 CPUtime=0 cores=0-7
/proc/476/task/485/stat : 485 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120963390352 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=486] ppid=453 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/476/task/486/stat : 486 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120962337552 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=487] ppid=453 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/476/task/487/stat : 487 (java) S 453 453 31706 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120576641392 140121483176578 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=488] ppid=453 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/476/task/488/stat : 488 (java) S 453 453 31706 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120086799392 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=489] ppid=453 vsize=8414124 memory=2496 CPUtime=0 cores=0-7
/proc/476/task/489/stat : 489 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140119818363760 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=490] ppid=453 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/476/task/490/stat : 490 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140119443855184 140121483184027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=491] ppid=453 vsize=8414124 memory=111632 CPUtime=0.06 cores=0-7
/proc/476/task/491/stat : 491 (java) S 453 453 31706 0 -1 1077944384 590 0 0 0 6 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120575589232 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=492] ppid=453 vsize=8414124 memory=1472 CPUtime=0.07 cores=0-7
/proc/476/task/492/stat : 492 (java) S 453 453 31706 0 -1 1077944384 402 0 0 0 7 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120574536432 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=493] ppid=453 vsize=8414124 memory=119940 CPUtime=0.04 cores=0-7
/proc/476/task/493/stat : 493 (java) S 453 453 31706 0 -1 1077944384 168 0 0 0 4 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120573483632 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=494] ppid=453 vsize=8414124 memory=242628 CPUtime=0.19 cores=0-7
/proc/476/task/494/stat : 494 (java) S 453 453 31706 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120572430832 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=495] ppid=453 vsize=8414124 memory=119940 CPUtime=0 cores=0-7
/proc/476/task/495/stat : 495 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118945950304 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=496] ppid=453 vsize=8414124 memory=242400 CPUtime=0.01 cores=0-7
/proc/476/task/496/stat : 496 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120571378224 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=499] ppid=453 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/476/task/499/stat : 499 (java) S 453 453 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420148535 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120563344448 140121483190041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=508] ppid=453 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/476/task/508/stat : 508 (java) S 453 453 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420148536 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118543286416 140121483187357 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=509] ppid=453 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/476/task/509/stat : 509 (java) S 453 453 31706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420148536 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118274850832 140121483187357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=512] ppid=453 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/476/task/512/stat : 512 (java) S 453 453 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420148538 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118006423088 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
Current children cumulated CPU time: 217.66 s
Current children cumulated vsize: 9143720 KiB
Current children cumulated memory: 364536 KiB

[startup+30.7011 s]
/proc/loadavg: 7.14 7.27 7.66 9/224 514
/proc/meminfo: memFree=30256156/32770624 swapFree=66927260/67108860
[pid=453] ppid=448 vsize=113128 memory=1472 CPUtime=2.61 cores=0-7
/proc/453/stat : 453 (scop.sh) S 448 453 31706 0 -1 4202496 580 24196 0 0 0 0 249 12 20 0 1 0 420148318 115843072 368 33554432000 4194304 5098028 140722086981424 140722086978168 139636045120124 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 23433216 140722086982437 140722086982764 140722086982764 140722086985677 0
/proc/453/statm: 28282 368 311 221 0 87 0
[pid=476] ppid=453 vsize=8414124 memory=119940 CPUtime=1.17 cores=0-7
/proc/476/stat : 476 (java) S 453 453 31706 0 -1 1077944320 19489 0 0 0 110 7 0 0 20 0 24 0 420148462 8616062976 29985 33554432000 4194304 4196468 140729740957328 140729740939872 140121483165431 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
/proc/476/statm: 2103531 29985 3205 1 0 2064875 0
[pid=498] ppid=476 vsize=616468 memory=243124 CPUtime=213.98 cores=0-7
/proc/498/stat : 498 (manyglucose-4.1) S 476 453 31706 0 -1 1077944320 163317 0 0 0 21367 31 0 0 20 0 2 0 420148535 631263232 60781 33554432000 4194304 4454172 140726628713632 140726628712016 139964089528055 0 4 0 8388610 18446744073709551615 0 0 17 7 0 0 0 0 0 6552832 6554400 30703616 140726628717419 140726628717616 140726628717616 140726628720570 0
/proc/498/statm: 154117 60781 415 64 0 149785 0
[pid=498/tid=501] ppid=476 vsize=616468 memory=119940 CPUtime=28.5 cores=0-7
/proc/498/task/501/stat : 501 (manyglucose-4.1) R 476 453 31706 0 -1 4202560 17395 0 0 0 2847 3 0 0 20 0 2 0 420148535 631263232 60781 33554432000 4194304 4454172 140726628713632 139964074310664 4350043 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 30703616 140726628717419 140726628717616 140726628717616 140726628720570 0
[pid=476/tid=478] ppid=453 vsize=8414124 memory=54 CPUtime=0.76 cores=0-7
/proc/476/task/478/stat : 478 (java) S 453 453 31706 0 -1 1077944384 16394 0 0 0 70 6 0 0 20 0 24 0 420148462 8616062976 29985 33554432000 4194304 4196468 140729740957328 140121455005600 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=479] ppid=453 vsize=8414124 memory=3760962639874609173 CPUtime=0 cores=0-7
/proc/476/task/479/stat : 479 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140121487407760 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=480] ppid=453 vsize=8414124 memory=7445725894013397385 CPUtime=0 cores=0-7
/proc/476/task/480/stat : 480 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140121295968784 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=481] ppid=453 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/476/task/481/stat : 481 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120967600528 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=482] ppid=453 vsize=8414124 memory=119940 CPUtime=0 cores=0-7
/proc/476/task/482/stat : 482 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120966547728 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=483] ppid=453 vsize=8414124 memory=244316 CPUtime=0 cores=0-7
/proc/476/task/483/stat : 483 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120965495952 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=484] ppid=453 vsize=8414124 memory=26500 CPUtime=0 cores=0-7
/proc/476/task/484/stat : 484 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120964443152 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=485] ppid=453 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/476/task/485/stat : 485 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120963390352 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=486] ppid=453 vsize=8414124 memory=119940 CPUtime=0 cores=0-7
/proc/476/task/486/stat : 486 (java) S 453 453 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420148463 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120962337552 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=487] ppid=453 vsize=8414124 memory=244596 CPUtime=0 cores=0-7
/proc/476/task/487/stat : 487 (java) S 453 453 31706 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120576641392 140121483176578 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=488] ppid=453 vsize=8414124 memory=6944652177228980320 CPUtime=0 cores=0-7
/proc/476/task/488/stat : 488 (java) S 453 453 31706 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120086799392 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=489] ppid=453 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/476/task/489/stat : 489 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148465 8616062976 29985 33554432000 4194304 4196468 140729740957328 140119818363760 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=490] ppid=453 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/476/task/490/stat : 490 (java) S 453 453 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140119443855184 140121483184027 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=491] ppid=453 vsize=8414124 memory=5968 CPUtime=0.06 cores=0-7
/proc/476/task/491/stat : 491 (java) S 453 453 31706 0 -1 1077944384 590 0 0 0 6 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120575589232 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=492] ppid=453 vsize=8414124 memory=916 CPUtime=0.07 cores=0-7
/proc/476/task/492/stat : 492 (java) S 453 453 31706 0 -1 1077944384 402 0 0 0 7 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120574536432 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=493] ppid=453 vsize=8414124 memory=0 CPUtime=0.04 cores=0-7
/proc/476/task/493/stat : 493 (java) S 453 453 31706 0 -1 1077944384 168 0 0 0 4 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120573483632 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=494] ppid=453 vsize=8414124 memory=0 CPUtime=0.19 cores=0-7
/proc/476/task/494/stat : 494 (java) S 453 453 31706 0 -1 1077944384 531 0 0 0 19 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120572430832 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=495] ppid=453 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/476/task/495/stat : 495 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118945950304 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=496] ppid=453 vsize=8414124 memory=0 CPUtime=0.01 cores=0-7
/proc/476/task/496/stat : 496 (java) S 453 453 31706 0 -1 1077944384 3 0 0 0 0 1 0 0 20 0 24 0 420148468 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120571378224 140121483176578 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 18 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=499] ppid=453 vsize=8414124 memory=1472 CPUtime=0 cores=0-7
/proc/476/task/499/stat : 499 (java) S 453 453 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420148535 8616062976 29985 33554432000 4194304 4196468 140729740957328 140120563344448 140121483190041 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=508] ppid=453 vsize=8414124 memory=119940 CPUtime=0 cores=0-7
/proc/476/task/508/stat : 508 (java) S 453 453 31706 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 420148536 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118543286416 140121483187357 0 4 2 25189581 18446744071580971376 0 0 -1 3 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=509] ppid=453 vsize=8414124 memory=243124 CPUtime=0 cores=0-7
/proc/476/task/509/stat : 509 (java) S 453 453 31706 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 24 0 420148536 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118274850832 140121483187357 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
[pid=476/tid=512] ppid=453 vsize=8414124 memory=239056 CPUtime=0 cores=0-7
/proc/476/task/512/stat : 512 (java) S 453 453 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420148538 8616062976 29985 33554432000 4194304 4196468 140729740957328 140118006423088 140121483175637 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36749312 140729740964857 140729740965014 140729740965014 140729740967887 0
Current children cumulated CPU time: 217.76 s
Current children cumulated vsize: 9143720 KiB
Current children cumulated memory: 364536 KiB

Child status: 0
Real time (s): 30.7779
CPU time (s): 217.936
CPU user time (s): 217.386
CPU system time (s): 0.549744
CPU usage (%): 708.091
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 367900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 217.386
system time used= 0.549744
maximum resident set size= 258872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207986
page faults= 0
swaps= 0
block input operations= 0
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7684
involuntary context switches= 2124


# summary of solver processes directly reported to runsolver:
#   pid: 453
#   total CPU time (s): 217.936
#   total CPU user time (s): 217.386
#   total CPU system time (s): 0.549744

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.342286 second user time and 0.411447 second system time

The end

Launcher Data 

Begin job on node137 at 2019-09-14 07:29:27
IDJOB=4392326
IDBENCH=135575
IDSOLVER=2838
FILE ID=node137/4392326-1568439010
RUNJOBID= node137-1568437903-31733
PBS_JOBID= 21702324
Free space on /tmp= 61428 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-pigeon/Pb-pigeon-card-015-010.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-4392326-1568439010/watcher-4392326-1568439010 -o /tmp/evaluation-result-4392326-1568439010/solver-4392326-1568439010 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --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-4392326-1568439010.xml

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

MD5SUM BENCH= 4075ec57c143d98d1900f8e9a33246e5
RANDOM SEED=2068836770

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30603240 kB
MemAvailable:   31818028 kB
Buffers:           93040 kB
Cached:          1401772 kB
SwapCached:        77548 kB
Active:          1426828 kB
Inactive:         149136 kB
Active(anon):       4376 kB
Inactive(anon):   118296 kB
Active(file):    1422452 kB
Inactive(file):    30840 kB
Unevictable:      108700 kB
Mlocked:          108700 kB
SwapTotal:      67108860 kB
SwapFree:       66927260 kB
Dirty:             20144 kB
Writeback:             0 kB
AnonPages:        121824 kB
Mapped:            44624 kB
Shmem:             32772 kB
Slab:             183784 kB
SReclaimable:     154664 kB
SUnreclaim:        29120 kB
KernelStack:        3712 kB
PageTables:         6024 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     498108 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 61408 MiB
End job on node137 at 2019-09-14 07:29:58