Trace number 4405136

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-09-22)UNSAT 93.8586 14.6048

General information on the benchmark

NameRandom/Random-D-t020/
rand-2-40-11-414-020-79.xml
MD5SUMc0f256b6b5f799b1206df7220afe38a7
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 benchmark31.3194
Satisfiable
(Un)Satisfiability was proved
Number of variables40
Number of constraints414
Number of domains1
Minimum domain size11
Maximum domain size11
Distribution of domain sizes[{"size":11,"count":40}]
Minimum variable degree14
Maximum variable degree26
Distribution of variable degrees[{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":5},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":5},{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":414}]
Number of extensional constraints414
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":414}]
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-19667-serial-file.bin HOME/instance-4405136-1569238767.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: Mon Sep 23 13:38:44 CEST 2019
0.65/0.56	c PID: 19670
0.65/0.56	c IP: 172.20.3.117
0.65/0.56	c HOST: node117.alineos.net
0.65/0.57	c (0,0) Parsing Begin
2.12/1.06	c (0,0) Parsing End
2.12/1.07	c (0,0) CSP: 40 int (0 aux), 0 bool (0 aux), 414 ctr, max domain size 11
2.12/1.07	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB)
2.12/1.07	c (0,0) Constraint Name Generate Begin
2.12/1.08	c (0,0) Ctr:HOME/instance-4405136-1569238767.xml,ExtensionConflict:Var
2.12/1.08	c (0,0) Constraint Name Generate End
2.12/1.08	c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
2.12/1.08	c (0,0) CSP to CSPinCNF Begin
3.80/1.54	c (1,0) translated 42 (10%) constraints
4.19/1.65	c (1,1) translated 83 (20%) constraints
4.60/1.75	c (1,1) translated 125 (30%) constraints
5.01/1.82	c (1,1) translated 166 (40%) constraints
5.41/1.91	c (1,1) translated 207 (50%) constraints
5.41/1.98	c (1,1) translated 249 (60%) constraints
5.86/2.04	c (1,1) translated 290 (70%) constraints
5.86/2.10	c (1,1) translated 332 (80%) constraints
6.26/2.17	c (1,1) translated 373 (90%) constraints
6.64/2.23	c (1,1) translated 414 (100%) constraints
6.64/2.23	c (1,1) ===========================================
6.64/2.23	c (1,1) Order
6.64/2.23	c (1,1) ===========================================
6.64/2.27	c (1,1) translated 818 (10%) constraints
7.06/2.30	c (1,1) translated 1635 (20%) constraints
7.06/2.33	c (1,1) translated 2453 (30%) constraints
7.06/2.35	c (1,1) translated 3270 (40%) constraints
7.06/2.38	c (1,1) translated 4087 (50%) constraints
7.46/2.40	c (1,1) translated 4905 (60%) constraints
7.46/2.42	c (1,1) translated 5722 (70%) constraints
7.46/2.44	c (1,1) translated 6540 (80%) constraints
7.46/2.46	c (1,1) translated 7357 (90%) constraints
7.46/2.48	c (1,1) translated 8174 (100%) constraints
7.46/2.48	c (1,1) CSP to CSPinCNF End
7.46/2.48	c (1,1) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.46/2.48	c (1,1) Heap : 450 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.46/2.48	c (1,1) CSPinCNF Propagation Begin
7.85/2.59	c (2,2) 0 values, 1682 unsatisfiable literals, and 0 valid clauses are removed
7.85/2.59	c (2,2) CSPinCNF Propagation End
7.85/2.59	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
7.85/2.59	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB)
7.85/2.60	c (2,2) Simplify CSPinCNF Begin
8.28/2.64	c (2,2) Simplify CSPinCNF End
8.28/2.64	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.28/2.64	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.28/2.64	c (2,2) Calculate Precise Domain Begin
8.28/2.64	c (2,2) 0 values are removed by re-calculation
8.28/2.64	c (2,2) Calculate Precise Domain End
8.28/2.64	c (2,2) CSP: 40 int (0 aux), 0 bool (0 aux), 8174 ctr, max domain size 11
8.28/2.64	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB)
8.28/2.64	c (2,2) CSPinCNF to SatSolver Begin
8.64/2.75	c (2,2) 818 (10 %) CSP clauses are encoded (0 SAT variables, 1177 SAT clauses)
8.64/2.78	c (2,2) 1635 (20 %) CSP clauses are encoded (0 SAT variables, 1994 SAT clauses)
9.02/2.81	c (2,2) 2453 (30 %) CSP clauses are encoded (0 SAT variables, 2812 SAT clauses)
9.02/2.84	c (2,2) 3270 (40 %) CSP clauses are encoded (0 SAT variables, 3629 SAT clauses)
9.02/2.87	c (2,2) 4087 (50 %) CSP clauses are encoded (0 SAT variables, 4446 SAT clauses)
9.02/2.89	c (2,2) 4905 (60 %) CSP clauses are encoded (0 SAT variables, 5264 SAT clauses)
9.42/2.91	c (2,2) 5722 (70 %) CSP clauses are encoded (0 SAT variables, 6081 SAT clauses)
9.42/2.93	c (2,2) 6540 (80 %) CSP clauses are encoded (0 SAT variables, 6899 SAT clauses)
9.42/2.95	c (2,2) 7357 (90 %) CSP clauses are encoded (0 SAT variables, 7716 SAT clauses)
9.42/2.97	c (2,2) 8174 (100 %) CSP clauses are encoded (0 SAT variables, 8533 SAT clauses)
9.42/2.97	c (2,2) CSPinCNF to SatSolver End
9.42/2.97	c (2,2) Heap : 563 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB)
9.42/2.97	c (2,2) 400 bool, 8534 clause
9.42/2.97	c (2,2) Export Begin
9.77/3.05	c (2,2) Export to HOME/scop-19667-serial-file.bin
9.77/3.05	c (2,2) Export End
9.77/3.06	c (2,2) Export File Size: 0.01 MB
9.77/3.06	c (2,2) 0,0,1,2,2,2,2,STOP-AFTER(DIMACS)
9.77/3.06	c END-Prog: Mon Sep 23 13:38:46 CEST 2019
9.77/3.07	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-19667-serial-file.bin
9.92/3.53	c (0,0) Read Serial File Begin
9.92/3.53	c (0,0) HOME/scop-19667-serial-file.bin
9.92/3.73	c (0,0) Read Serial File End
9.92/3.75	
9.92/3.75	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
9.92/3.75	(Solving Process)
9.92/3.75	
9.92/3.77	c BEGIN-Prog: Mon Sep 23 13:38:47 CEST 2019
9.92/3.77	c PID: 19690
9.92/3.77	c IP: 172.20.3.117
9.92/3.77	c HOST: node117.alineos.net
9.92/3.77	c (0,0) SatSolver.solve Begin
9.92/3.77	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405136-1569238767.xml-scop-19670.cnf
9.92/3.80	c (0,0) c
9.92/3.80	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)
9.92/3.80	c (0,0) c
9.92/3.80	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
9.92/3.80	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
9.92/3.80	c (0,0) c ========================================[ Problem Statistics ]===========================================
9.92/3.80	c (0,0) c |                                                                                                       |
9.92/3.80	c (0,0) c |  Number of variables:           400                                                                   |
9.92/3.80	c (0,0) c |  Number of clauses:            8534                                                                   |
9.92/3.80	c (0,0) c |  Parse time:                   0.00 s                                                                 |
9.92/3.80	c (0,0) c |                                                                                                       |
9.92/3.81	c (0,0) c |  Simplification time:          0.01 s                                                                 |
9.92/3.81	c (0,0) c |                                                                                                       |
9.92/3.81	c (0,0) c |  Generating clones                                                                                    |
9.92/3.81	c (0,0) c |  all clones generated. Memory =    27.29Mb.                                                           |
9.92/3.81	c (0,0) c ========================================================================================================|
9.92/3.81	c (0,0) c
9.92/3.81	c (0,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
9.92/3.81	c (0,0) c
9.92/3.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.92/3.81	c (0,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
9.92/3.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
9.92/3.81	c (0,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
9.92/3.81	c (0,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
9.92/3.81	c (0,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
9.92/3.81	c (0,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
9.92/3.81	c (0,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
9.92/3.81	c (0,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
9.92/3.81	c (0,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
9.92/3.81	c (0,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
9.92/3.81	c (0,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
9.92/3.81	c (0,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
9.92/3.81	c (0,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
9.92/3.81	c (0,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
9.92/3.81	c (0,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
9.92/3.81	c (0,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
9.92/3.81	c (0,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
9.92/3.81	c (0,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c real time : 10.7727 s
93.67/14.57	c (11,0) c cpu time  : 82.438 s
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c | Conflicts     |         1471915 |     187165 |     181791 |     184326 |     191916 |     177876 |     177513 |     183847 |     187481 |
93.67/14.57	c (11,0) c | Decisions     |         1794047 |     228849 |     220714 |     224895 |     234088 |     216507 |     214946 |     224482 |     229566 |
93.67/14.57	c (11,0) c | Propagations  |       102230849 |   13033747 |   12683701 |   12726197 |   13336255 |   12316752 |   12317352 |   12805086 |   13011759 |
93.67/14.57	c (11,0) c | ReduceDBs     |              88 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |         11 |
93.67/14.57	c (11,0) c | SimpDBs       |              40 |          5 |          5 |          4 |          6 |          5 |          5 |          4 |          6 |
93.67/14.57	c (11,0) c | Restarts      |            1010 |        134 |         96 |        149 |        132 |         58 |        120 |        170 |        151 |
93.67/14.57	c (11,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.67/14.57	c (11,0) c | PropBinClauses|       101888878 |   12956640 |   12595062 |   12788562 |   13295096 |   12269998 |   12207952 |   12814338 |   12961230 |
93.67/14.57	c (11,0) c | PropPreBlocker|      5125214896 |  641539174 |  634832898 |  636651102 |  640378262 |  648962911 |  645595485 |  638240316 |  639014748 |
93.67/14.57	c (11,0) c | PropNotBlocker|       977171283 |  122168795 |  123968907 |  122237874 |  124582769 |  122737691 |  118510513 |  120631212 |  122333522 |
93.67/14.57	c (11,0) c | LitFullScans  |      7694817590 |  960057337 |  960066929 |  960062651 |  963247234 |  970971576 |  960156977 |  960192311 |  960062575 |
93.67/14.57	c (11,0) c | LitScanFracts |          658047 |      45950 |      60569 |      57766 |      48740 |      57773 |     144023 |     187411 |      55815 |
93.67/14.57	c (11,0) c | DecisionLevel0|            1045 |        137 |         98 |        150 |        146 |         65 |        124 |        170 |        155 |
93.67/14.57	c (11,0) c | Periods       |            1281 |        160 |        160 |        160 |        160 |        161 |        160 |        160 |        160 |
93.67/14.57	c (11,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
93.67/14.57	c (11,0) c | Avg_Trail     |                 |        239 |        239 |        240 |        240 |        239 |        236 |        239 |        239 |
93.67/14.57	c (11,0) c | Avg_DL        |                 |         11 |         11 |         12 |         11 |         12 |         11 |         11 |         11 |
93.67/14.57	c (11,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.67/14.57	c (11,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c | Exported      |          175212 |      21710 |      22337 |      22366 |      22254 |      21908 |      22043 |      20115 |      22479 |
93.67/14.57	c (11,0) c | Imported      |         1124818 |     140826 |     139336 |     137928 |     141647 |     142981 |     140826 |     143388 |     137886 |
93.67/14.57	c (11,0) c | Good          |            1304 |        166 |        163 |        139 |        146 |        185 |        169 |        189 |        147 |
93.67/14.57	c (11,0) c | Purge         |         1123514 |     140660 |     139173 |     137789 |     141501 |     142796 |     140657 |     143199 |     137739 |
93.67/14.57	c (11,0) c | Promoted      |           95677 |      11956 |      12294 |      12008 |      11727 |      11905 |      11481 |      11830 |      12476 |
93.67/14.57	c (11,0) c | Remove_Imp    |          638443 |      82978 |      81479 |      82983 |      84379 |      78537 |      75940 |      74126 |      78021 |
93.67/14.57	c (11,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c | Unaries       |                 |          3 |          2 |          1 |         14 |          7 |          4 |          0 |          4 |
93.67/14.57	c (11,0) c | Binaries      |                 |         37 |         42 |         36 |        103 |         53 |         48 |         13 |         48 |
93.67/14.57	c (11,0) c | Glues         |                 |        394 |        434 |        366 |        450 |        429 |        392 |        377 |        368 |
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c | Orig_Seen     |           106 % |       8530 |       8526 |       8528 |       8526 |       8529 |       8527 |       8528 |       8530 |
93.67/14.57	c (11,0) c | Diff Orig seen|                 |          4 | -        0 |          2 |      X     |          3 |          1 |          2 |          4 |
93.67/14.57	c (11,0) c | Hamming       |            27 % |         92 |        117 |        124 |      X     |         99 |        120 |        115 |        110 |
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c | RunningTime   |                 |   10.7 100%|   10.3 100%|   10.3 100%|   10.2 100%|   10.0 100%|   10.3 100%|   10.2 100%|   10.6 100%|
93.67/14.57	c (11,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
93.67/14.57	c (11,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
93.67/14.57	c (11,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%|
93.67/14.57	c (11,0) c | SolvingTime   |                 |   10.7     |   10.3     |   10.3     |   10.2     |   10.1     |   10.3     |   10.3     |   10.6     |
93.67/14.57	c (11,0) c | PropagationTim|                 |    9.3  86%|    9.0  87%|    8.9  86%|    8.9  87%|    8.7  87%|    9.0  88%|    9.0  87%|    9.2  87%|
93.67/14.57	c (11,0) c | AnalysisTime  |                 |    1.0  10%|    0.9   9%|    1.0  10%|    0.9   9%|    0.9   9%|    0.9   8%|    0.9   9%|    1.0   9%|
93.67/14.57	c (11,0) c | ReductionTime |                 |    0.2   1%|    0.2   2%|    0.1   1%|    0.1   1%|    0.2   2%|    0.2   2%|    0.2   2%|    0.2   2%|
93.67/14.57	c (11,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%|
93.67/14.57	c (11,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%|
93.67/14.57	c (11,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%|
93.67/14.57	c (11,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c
93.67/14.57	c (11,0) c Threads : 8
93.67/14.57	c (11,0) c Winner : 3
93.67/14.57	c (11,0) c Conflicts_0 : 187165
93.67/14.57	c (11,0) c Conflicts_1 : 181791
93.67/14.57	c (11,0) c Conflicts_2 : 184326
93.67/14.57	c (11,0) c Conflicts_3 : 191916
93.67/14.57	c (11,0) c Conflicts_4 : 177876
93.67/14.57	c (11,0) c Conflicts_5 : 177513
93.67/14.57	c (11,0) c Conflicts_6 : 183847
93.67/14.57	c (11,0) c Conflicts_7 : 187481
93.67/14.57	c (11,0) c Conflicts_total : 1471915
93.67/14.57	c (11,0) c Conflicts_winner : 191916
93.67/14.57	c (11,0) c Decisions_0 : 228849
93.67/14.57	c (11,0) c Decisions_1 : 220714
93.67/14.57	c (11,0) c Decisions_2 : 224895
93.67/14.57	c (11,0) c Decisions_3 : 234088
93.67/14.57	c (11,0) c Decisions_4 : 216507
93.67/14.57	c (11,0) c Decisions_5 : 214946
93.67/14.57	c (11,0) c Decisions_6 : 224482
93.67/14.57	c (11,0) c Decisions_7 : 229566
93.67/14.57	c (11,0) c Decisions_total : 1794047
93.67/14.57	c (11,0) c Decisions_winner : 234088
93.67/14.57	c (11,0) c Propagations_0 : 13033747
93.67/14.57	c (11,0) c Propagations_1 : 12683701
93.67/14.57	c (11,0) c Propagations_2 : 12726197
93.67/14.57	c (11,0) c Propagations_3 : 13336255
93.67/14.57	c (11,0) c Propagations_4 : 12316752
93.67/14.57	c (11,0) c Propagations_5 : 12317352
93.67/14.57	c (11,0) c Propagations_6 : 12805086
93.67/14.57	c (11,0) c Propagations_7 : 13011759
93.67/14.57	c (11,0) c Propagations_total : 102230849
93.67/14.57	c (11,0) c Propagations_winner : 13336255
93.67/14.57	c (11,0) c ReduceDBs_0 : 11
93.67/14.57	c (11,0) c ReduceDBs_1 : 11
93.67/14.57	c (11,0) c ReduceDBs_2 : 11
93.67/14.57	c (11,0) c ReduceDBs_3 : 11
93.67/14.57	c (11,0) c ReduceDBs_4 : 11
93.67/14.57	c (11,0) c ReduceDBs_5 : 11
93.67/14.57	c (11,0) c ReduceDBs_6 : 11
93.67/14.57	c (11,0) c ReduceDBs_7 : 11
93.67/14.57	c (11,0) c ReduceDBs_total : 88
93.67/14.57	c (11,0) c ReduceDBs_winner : 11
93.67/14.57	c (11,0) c SimpDBs_0 : 5
93.67/14.57	c (11,0) c SimpDBs_1 : 5
93.67/14.57	c (11,0) c SimpDBs_2 : 4
93.67/14.57	c (11,0) c SimpDBs_3 : 6
93.67/14.57	c (11,0) c SimpDBs_4 : 5
93.67/14.57	c (11,0) c SimpDBs_5 : 5
93.67/14.57	c (11,0) c SimpDBs_6 : 4
93.67/14.57	c (11,0) c SimpDBs_7 : 6
93.67/14.57	c (11,0) c SimpDBs_total : 40
93.67/14.57	c (11,0) c SimpDBs_winner : 6
93.67/14.57	c (11,0) c Restarts_0 : 134
93.67/14.57	c (11,0) c Restarts_1 : 96
93.67/14.57	c (11,0) c Restarts_2 : 149
93.67/14.57	c (11,0) c Restarts_3 : 132
93.67/14.57	c (11,0) c Restarts_4 : 58
93.67/14.57	c (11,0) c Restarts_5 : 120
93.67/14.57	c (11,0) c Restarts_6 : 170
93.67/14.57	c (11,0) c Restarts_7 : 151
93.67/14.58	c (11,0) c Restarts_total : 1010
93.67/14.58	c (11,0) c Restarts_winner : 132
93.67/14.58	c (11,0) c ForcedImports_0 : 0
93.67/14.58	c (11,0) c ForcedImports_1 : 0
93.67/14.58	c (11,0) c ForcedImports_2 : 0
93.67/14.58	c (11,0) c ForcedImports_3 : 0
93.67/14.58	c (11,0) c ForcedImports_4 : 0
93.67/14.58	c (11,0) c ForcedImports_5 : 0
93.67/14.58	c (11,0) c ForcedImports_6 : 0
93.67/14.58	c (11,0) c ForcedImports_7 : 0
93.67/14.58	c (11,0) c ForcedImports_total : 0
93.67/14.58	c (11,0) c ForcedImports_winner : 0
93.67/14.58	c (11,0) c PropsBinClauses_0 : 12956640
93.67/14.58	c (11,0) c PropsBinClauses_1 : 12595062
93.67/14.58	c (11,0) c PropsBinClauses_2 : 12788562
93.67/14.58	c (11,0) c PropsBinClauses_3 : 13295096
93.67/14.58	c (11,0) c PropsBinClauses_4 : 12269998
93.67/14.58	c (11,0) c PropsBinClauses_5 : 12207952
93.67/14.58	c (11,0) c PropsBinClauses_6 : 12814338
93.67/14.58	c (11,0) c PropsBinClauses_7 : 12961230
93.67/14.58	c (11,0) c PropsBinClauses_total : 101888878
93.67/14.58	c (11,0) c PropsBinClauses_winner : 13295096
93.67/14.58	c (11,0) c PropsPreBlocker_0 : 641539174
93.67/14.58	c (11,0) c PropsPreBlocker_1 : 634832898
93.67/14.58	c (11,0) c PropsPreBlocker_2 : 636651102
93.67/14.58	c (11,0) c PropsPreBlocker_3 : 640378262
93.67/14.58	c (11,0) c PropsPreBlocker_4 : 648962911
93.67/14.58	c (11,0) c PropsPreBlocker_5 : 645595485
93.67/14.58	c (11,0) c PropsPreBlocker_6 : 638240316
93.67/14.58	c (11,0) c PropsPreBlocker_7 : 639014748
93.67/14.58	c (11,0) c PropsPreBlocker_total : 5125214896
93.67/14.58	c (11,0) c PropsPreBlocker_winner : 640378262
93.67/14.58	c (11,0) c PropsNotBlocker_0 : 122168795
93.67/14.58	c (11,0) c PropsNotBlocker_1 : 123968907
93.67/14.58	c (11,0) c PropsNotBlocker_2 : 122237874
93.67/14.58	c (11,0) c PropsNotBlocker_3 : 124582769
93.67/14.58	c (11,0) c PropsNotBlocker_4 : 122737691
93.67/14.58	c (11,0) c PropsNotBlocker_5 : 118510513
93.67/14.58	c (11,0) c PropsNotBlocker_6 : 120631212
93.67/14.58	c (11,0) c PropsNotBlocker_7 : 122333522
93.67/14.58	c (11,0) c PropsNotBlocker_total : 977171283
93.67/14.58	c (11,0) c PropsNotBlocker_winner : 124582769
93.67/14.58	c (11,0) c PropsLitFullScans_0 : 960057337
93.67/14.58	c (11,0) c PropsLitFullScans_1 : 960066929
93.67/14.58	c (11,0) c PropsLitFullScans_2 : 960062651
93.67/14.58	c (11,0) c PropsLitFullScans_3 : 963247234
93.67/14.58	c (11,0) c PropsLitFullScans_4 : 970971576
93.67/14.58	c (11,0) c PropsLitFullScans_5 : 960156977
93.67/14.58	c (11,0) c PropsLitFullScans_6 : 960192311
93.67/14.58	c (11,0) c PropsLitFullScans_7 : 960062575
93.67/14.58	c (11,0) c PropsLitFullScans_total : 7694817590
93.67/14.58	c (11,0) c PropsLitFullScans_winner : 963247234
93.67/14.58	c (11,0) c LitScanFractions_0 : 45950
93.67/14.58	c (11,0) c LitScanFractions_1 : 60569
93.67/14.58	c (11,0) c LitScanFractions_2 : 57766
93.67/14.58	c (11,0) c LitScanFractions_3 : 48740
93.67/14.58	c (11,0) c LitScanFractions_4 : 57773
93.67/14.58	c (11,0) c LitScanFractions_5 : 144023
93.67/14.58	c (11,0) c LitScanFractions_6 : 187411
93.67/14.58	c (11,0) c LitScanFractions_7 : 55815
93.67/14.58	c (11,0) c LitScanFractions_total : 658047
93.67/14.58	c (11,0) c LitScanFractions_winner : 48740
93.67/14.58	c (11,0) c DecisionLevel0_0 : 137
93.67/14.58	c (11,0) c DecisionLevel0_1 : 98
93.67/14.58	c (11,0) c DecisionLevel0_2 : 150
93.67/14.58	c (11,0) c DecisionLevel0_3 : 146
93.67/14.58	c (11,0) c DecisionLevel0_4 : 65
93.67/14.58	c (11,0) c DecisionLevel0_5 : 124
93.67/14.58	c (11,0) c DecisionLevel0_6 : 170
93.67/14.58	c (11,0) c DecisionLevel0_7 : 155
93.67/14.58	c (11,0) c DecisionLevel0_total : 1045
93.67/14.58	c (11,0) c DecisionLevel0_winner : 146
93.67/14.58	c (11,0) c Periods_0 : 160
93.67/14.58	c (11,0) c Periods_1 : 160
93.67/14.58	c (11,0) c Periods_2 : 160
93.67/14.58	c (11,0) c Periods_3 : 160
93.67/14.58	c (11,0) c Periods_4 : 161
93.67/14.58	c (11,0) c Periods_5 : 160
93.67/14.58	c (11,0) c Periods_6 : 160
93.67/14.58	c (11,0) c Periods_7 : 160
93.67/14.58	c (11,0) c Periods_total : 1281
93.67/14.58	c (11,0) c Periods_winner : 160
93.67/14.58	c (11,0) c Margin_0 : 20
93.67/14.58	c (11,0) c Margin_1 : 20
93.67/14.58	c (11,0) c Margin_2 : 20
93.67/14.58	c (11,0) c Margin_3 : 20
93.67/14.58	c (11,0) c Margin_4 : 20
93.67/14.58	c (11,0) c Margin_5 : 20
93.67/14.58	c (11,0) c Margin_6 : 20
93.67/14.58	c (11,0) c Margin_7 : 20
93.67/14.58	c (11,0) c Margin_total : 160
93.67/14.58	c (11,0) c Margin_winner : 20
93.67/14.58	c (11,0) c Exported_0 : 21710
93.67/14.58	c (11,0) c Exported_1 : 22337
93.67/14.58	c (11,0) c Exported_2 : 22366
93.67/14.58	c (11,0) c Exported_3 : 22254
93.67/14.58	c (11,0) c Exported_4 : 21908
93.67/14.58	c (11,0) c Exported_5 : 22043
93.67/14.58	c (11,0) c Exported_6 : 20115
93.67/14.58	c (11,0) c Exported_7 : 22479
93.67/14.58	c (11,0) c Exported_total : 175212
93.67/14.58	c (11,0) c Exported_winner : 22254
93.67/14.58	c (11,0) c Imported_0 : 140826
93.67/14.58	c (11,0) c Imported_1 : 139336
93.67/14.58	c (11,0) c Imported_2 : 137928
93.67/14.58	c (11,0) c Imported_3 : 141647
93.67/14.58	c (11,0) c Imported_4 : 142981
93.67/14.58	c (11,0) c Imported_5 : 140826
93.67/14.58	c (11,0) c Imported_6 : 143388
93.67/14.58	c (11,0) c Imported_7 : 137886
93.67/14.58	c (11,0) c Imported_total : 1124818
93.67/14.58	c (11,0) c Imported_winner : 141647
93.67/14.58	c (11,0) c Good_0 : 166
93.67/14.58	c (11,0) c Good_1 : 163
93.67/14.58	c (11,0) c Good_2 : 139
93.67/14.58	c (11,0) c Good_3 : 146
93.67/14.58	c (11,0) c Good_4 : 185
93.67/14.58	c (11,0) c Good_5 : 169
93.67/14.58	c (11,0) c Good_6 : 189
93.67/14.58	c (11,0) c Good_7 : 147
93.67/14.58	c (11,0) c Good_total : 1304
93.67/14.58	c (11,0) c Good_winner : 146
93.67/14.58	c (11,0) c Purge_0 : 140660
93.67/14.58	c (11,0) c Purge_1 : 139173
93.67/14.58	c (11,0) c Purge_2 : 137789
93.67/14.58	c (11,0) c Purge_3 : 141501
93.67/14.58	c (11,0) c Purge_4 : 142796
93.67/14.58	c (11,0) c Purge_5 : 140657
93.67/14.58	c (11,0) c Purge_6 : 143199
93.67/14.58	c (11,0) c Purge_7 : 137739
93.67/14.58	c (11,0) c Purge_total : 1123514
93.67/14.58	c (11,0) c Purge_winner : 141501
93.67/14.58	c (11,0) c Promoted_0 : 11956
93.67/14.58	c (11,0) c Promoted_1 : 12294
93.67/14.58	c (11,0) c Promoted_2 : 12008
93.67/14.58	c (11,0) c Promoted_3 : 11727
93.67/14.58	c (11,0) c Promoted_4 : 11905
93.67/14.58	c (11,0) c Promoted_5 : 11481
93.67/14.58	c (11,0) c Promoted_6 : 11830
93.67/14.58	c (11,0) c Promoted_7 : 12476
93.67/14.58	c (11,0) c Promoted_total : 95677
93.67/14.58	c (11,0) c Promoted_winner : 11727
93.67/14.58	c (11,0) c Remove_Imp_0 : 82978
93.67/14.58	c (11,0) c Remove_Imp_1 : 81479
93.67/14.58	c (11,0) c Remove_Imp_2 : 82983
93.67/14.58	c (11,0) c Remove_Imp_3 : 84379
93.67/14.58	c (11,0) c Remove_Imp_4 : 78537
93.67/14.58	c (11,0) c Remove_Imp_5 : 75940
93.67/14.58	c (11,0) c Remove_Imp_6 : 74126
93.67/14.58	c (11,0) c Remove_Imp_7 : 78021
93.67/14.58	c (11,0) c Remove_Imp_total : 638443
93.67/14.58	c (11,0) c Remove_Imp_winner : 84379
93.67/14.58	c (11,0) c Blocked_Reuse_0 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_1 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_2 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_3 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_4 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_5 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_6 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_7 : 0
93.67/14.58	c (11,0) c Blocked_Reuse_total : 0
93.67/14.58	c (11,0) c Blocked_Reuse_winner : 0
93.67/14.58	c (11,0) c Unaries_0 : 3
93.67/14.58	c (11,0) c Unaries_1 : 2
93.67/14.58	c (11,0) c Unaries_2 : 1
93.67/14.58	c (11,0) c Unaries_3 : 14
93.67/14.58	c (11,0) c Unaries_4 : 7
93.67/14.58	c (11,0) c Unaries_5 : 4
93.67/14.58	c (11,0) c Unaries_6 : 0
93.67/14.58	c (11,0) c Unaries_7 : 4
93.67/14.58	c (11,0) c Unaries_total : 35
93.67/14.58	c (11,0) c Unaries_winner : 14
93.67/14.58	c (11,0) c Binaries_0 : 37
93.67/14.58	c (11,0) c Binaries_1 : 42
93.67/14.58	c (11,0) c Binaries_2 : 36
93.67/14.58	c (11,0) c Binaries_3 : 103
93.67/14.58	c (11,0) c Binaries_4 : 53
93.67/14.58	c (11,0) c Binaries_5 : 48
93.67/14.58	c (11,0) c Binaries_6 : 13
93.67/14.58	c (11,0) c Binaries_7 : 48
93.67/14.58	c (11,0) c Binaries_total : 380
93.67/14.58	c (11,0) c Binaries_winner : 103
93.67/14.58	c (11,0) c Glues_0 : 394
93.67/14.58	c (11,0) c Glues_1 : 434
93.67/14.58	c (11,0) c Glues_2 : 366
93.67/14.58	c (11,0) c Glues_3 : 450
93.67/14.58	c (11,0) c Glues_4 : 429
93.67/14.58	c (11,0) c Glues_5 : 392
93.67/14.58	c (11,0) c Glues_6 : 377
93.67/14.58	c (11,0) c Glues_7 : 368
93.67/14.58	c (11,0) c Glues_total : 3210
93.67/14.58	c (11,0) c Glues_winner : 450
93.67/14.58	c (11,0) c RunningTime_0 : 10.691184
93.67/14.58	c (11,0) c RunningTime_1 : 10.280088
93.67/14.58	c (11,0) c RunningTime_2 : 10.253847
93.67/14.58	c (11,0) c RunningTime_3 : 10.160903
93.67/14.58	c (11,0) c RunningTime_4 : 10.033971
93.67/14.58	c (11,0) c RunningTime_5 : 10.281929
93.67/14.58	c (11,0) c RunningTime_6 : 10.245019
93.67/14.58	c (11,0) c RunningTime_7 : 10.558427
93.67/14.58	c (11,0) c RunningTime_total : 82.505368
93.67/14.58	c (11,0) c RunningTime_winner : 10.160903
93.67/14.58	c (11,0) c WaitingTime_0 : 0.000148
93.67/14.58	c (11,0) c WaitingTime_1 : 0.000199
93.67/14.58	c (11,0) c WaitingTime_2 : 0.000165
93.67/14.58	c (11,0) c WaitingTime_3 : 0.000170
93.67/14.58	c (11,0) c WaitingTime_4 : 0.000202
93.67/14.58	c (11,0) c WaitingTime_5 : 0.000179
93.67/14.58	c (11,0) c WaitingTime_6 : 0.000180
93.67/14.58	c (11,0) c WaitingTime_7 : 0.000203
93.67/14.58	c (11,0) c WaitingTime_total : 0.001445
93.67/14.58	c (11,0) c WaitingTime_winner : 0.000170
93.67/14.58	c (11,0) c ExchangingTime_0 : 0.047204
93.67/14.58	c (11,0) c ExchangingTime_1 : 0.041311
93.67/14.58	c (11,0) c ExchangingTime_2 : 0.041782
93.67/14.58	c (11,0) c ExchangingTime_3 : 0.040724
93.67/14.58	c (11,0) c ExchangingTime_4 : 0.039884
93.67/14.58	c (11,0) c ExchangingTime_5 : 0.041027
93.67/14.58	c (11,0) c ExchangingTime_6 : 0.043157
93.67/14.58	c (11,0) c ExchangingTime_7 : 0.040202
93.67/14.58	c (11,0) c ExchangingTime_total : 0.335291
93.67/14.58	c (11,0) c ExchangingTime_winner : 0.040724
93.67/14.58	c (11,0) c PeriodProcTime_0 : 0.001244
93.67/14.58	c (11,0) c PeriodProcTime_1 : 0.001244
93.67/14.58	c (11,0) c PeriodProcTime_2 : 0.001133
93.67/14.58	c (11,0) c PeriodProcTime_3 : 0.001003
93.67/14.58	c (11,0) c PeriodProcTime_4 : 0.001055
93.67/14.58	c (11,0) c PeriodProcTime_5 : 0.001284
93.67/14.58	c (11,0) c PeriodProcTime_6 : 0.001049
93.67/14.58	c (11,0) c PeriodProcTime_7 : 0.001291
93.67/14.58	c (11,0) c PeriodProcTime_total : 0.009304
93.67/14.58	c (11,0) c PeriodProcTime_winner : 0.001003
93.67/14.58	c (11,0) c SolvingTime_0 : 10.739780
93.67/14.58	c (11,0) c SolvingTime_1 : 10.322842
93.67/14.58	c (11,0) c SolvingTime_2 : 10.296928
93.67/14.58	c (11,0) c SolvingTime_3 : 10.202800
93.67/14.58	c (11,0) c SolvingTime_4 : 10.075113
93.67/14.58	c (11,0) c SolvingTime_5 : 10.324418
93.67/14.58	c (11,0) c SolvingTime_6 : 10.289405
93.67/14.58	c (11,0) c SolvingTime_7 : 10.600122
93.67/14.58	c (11,0) c SolvingTime_total : 82.851409
93.67/14.58	c (11,0) c SolvingTime_winner : 10.202800
93.67/14.58	c (11,0) c PropagationTime_0 : 9.253946
93.67/14.58	c (11,0) c PropagationTime_1 : 8.996209
93.67/14.58	c (11,0) c PropagationTime_2 : 8.891209
93.67/14.58	c (11,0) c PropagationTime_3 : 8.854961
93.67/14.58	c (11,0) c PropagationTime_4 : 8.736664
93.67/14.58	c (11,0) c PropagationTime_5 : 9.040937
93.67/14.58	c (11,0) c PropagationTime_6 : 8.966046
93.67/14.58	c (11,0) c PropagationTime_7 : 9.218557
93.67/14.58	c (11,0) c PropagationTime_total : 71.958529
93.67/14.58	c (11,0) c PropagationTime_winner : 8.854961
93.67/14.58	c (11,0) c AnalysisTime_0 : 1.020367
93.67/14.58	c (11,0) c AnalysisTime_1 : 0.909456
93.67/14.58	c (11,0) c AnalysisTime_2 : 1.017978
93.67/14.58	c (11,0) c AnalysisTime_3 : 0.923692
93.67/14.58	c (11,0) c AnalysisTime_4 : 0.936592
93.67/14.58	c (11,0) c AnalysisTime_5 : 0.859940
93.67/14.58	c (11,0) c AnalysisTime_6 : 0.903798
93.67/14.58	c (11,0) c AnalysisTime_7 : 0.960148
93.67/14.58	c (11,0) c AnalysisTime_total : 7.531972
93.67/14.58	c (11,0) c AnalysisTime_winner : 0.923692
93.67/14.58	c (11,0) c ReductionTime_0 : 0.154805
93.67/14.58	c (11,0) c ReductionTime_1 : 0.159757
93.67/14.58	c (11,0) c ReductionTime_2 : 0.145413
93.67/14.58	c (11,0) c ReductionTime_3 : 0.147776
93.67/14.58	c (11,0) c ReductionTime_4 : 0.163527
93.67/14.58	c (11,0) c ReductionTime_5 : 0.177315
93.67/14.58	c (11,0) c ReductionTime_6 : 0.177166
93.67/14.58	c (11,0) c ReductionTime_7 : 0.160377
93.67/14.58	c (11,0) c ReductionTime_total : 1.286135
93.67/14.58	c (11,0) c ReductionTime_winner : 0.147776
93.67/14.58	c (11,0) c SimplifyTime_0 : 0.036370
93.67/14.58	c (11,0) c SimplifyTime_1 : 0.037950
93.67/14.58	c (11,0) c SimplifyTime_2 : 0.021623
93.67/14.58	c (11,0) c SimplifyTime_3 : 0.045691
93.67/14.58	c (11,0) c SimplifyTime_4 : 0.025936
93.67/14.58	c (11,0) c SimplifyTime_5 : 0.025538
93.67/14.58	c (11,0) c SimplifyTime_6 : 0.015534
93.67/14.58	c (11,0) c SimplifyTime_7 : 0.030666
93.67/14.58	c (11,0) c SimplifyTime_total : 0.239307
93.67/14.58	c (11,0) c SimplifyTime_winner : 0.045691
93.67/14.58	c (11,0) c UsedRateTime_0 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_1 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_2 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_3 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_4 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_5 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_6 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_7 : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_total : 0.000000
93.67/14.58	c (11,0) c UsedRateTime_winner : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_0 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_1 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_2 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_3 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_4 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_5 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_6 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_7 : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_total : 0.000000
93.67/14.58	c (11,0) c OverlapRateTime_winner : 0.000000
93.67/14.58	c (11,0) c
93.67/14.58	c (11,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
93.67/14.58	c (11,0) c
93.67/14.58	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.58	c (11,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
93.67/14.58	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.58	c (11,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
93.67/14.58	c (11,0) c | adaptStrategeis       |      False |      False |      False |      False |      False |      False |      False |      False |
93.67/14.58	c (11,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
93.67/14.58	c (11,0) c | Initial random_seed   | 1779802622 | 2030873478 | 1184119267 |   82175062 |  713279280 |  297172866 | 1525002993 | 1914710285 |
93.67/14.58	c (11,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
93.67/14.58	c (11,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
93.67/14.58	c (11,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
93.67/14.58	c (11,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
93.67/14.58	c (11,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
93.67/14.58	c (11,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
93.67/14.58	c (11,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
93.67/14.58	c (11,0) c | var_decay             |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.67/14.58	c (11,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
93.67/14.58	c (11,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
93.67/14.58	c (11,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
93.67/14.58	c (11,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
93.67/14.59	c (11,0) 
93.67/14.59	c (11,0) s UNSATISFIABLE
93.67/14.59	c (11,0) SatSolver.solve End
93.67/14.59	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.67/14.59	c (11,0) Show results Begin
93.67/14.59	s UNSATISFIABLE
93.67/14.59	c (11,0) Show results End
93.67/14.59	c (11,0) Heap : 122 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB)
93.67/14.59	c (11,0) 11,11,STOP-AFTER(ALL)
93.67/14.59	c END-Prog: Mon Sep 23 13:38: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 (12348 MiB free)
  memory of node 1: 16384 MiB (12367 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405136-1569238767/watcher-4405136-1569238767 -o /var/tmp/evaluation-result-4405136-1569238767/solver-4405136-1569238767 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --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-4405136-1569238767.xml 

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

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


[startup+0.100148 s]*
/proc/loadavg: 5.56 2.00 0.76 3/213 19689
/proc/meminfo: memFree=25218000/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499818495 115843072 349 33554432000 4194304 5098028 140730862681552 140730862678808 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 349 296 221 0 87 0
[pid=19670] ppid=19667 vsize=27314120 memory=105296 CPUtime=0.1 cores=0-7
/proc/19670/stat : 19670 (java) S 19667 19667 19128 0 -1 1077944320 6918 0 0 0 8 2 0 0 20 0 20 0 499818496 27969658880 26324 33554432000 4194304 4196468 140736385280240 140736385262784 139951596003063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
/proc/19670/statm: 6828530 26324 2799 1 0 6790935 0
[pid=19670/tid=19671] ppid=19667 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/19670/task/19671/stat : 19671 (java) R 19667 19667 19128 0 -1 4202560 5010 0 0 0 7 2 0 0 20 0 20 0 499818496 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951567837576 139951581442208 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19672] ppid=19667 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/19670/task/19672/stat : 19672 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951600245136 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19673] ppid=19667 vsize=27314120 memory=140100804540032 CPUtime=0 cores=0-7
/proc/19670/task/19673/stat : 19673 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951383640336 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19674] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19674/stat : 19674 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951382588048 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19675] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19675/stat : 19675 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951381535248 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19676] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19676/stat : 19676 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951380482960 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19677] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19677/stat : 19677 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951379430160 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19678] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19678/stat : 19678 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951378377872 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19679] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19679/stat : 19679 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 26324 33554432000 4194304 4196468 140736385280240 139951377325072 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19680] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19680/stat : 19680 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499818500 27969658880 26324 33554432000 4194304 4196468 140736385280240 139950116808816 139951596014210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19681] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19681/stat : 19681 (java) S 19667 19667 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499818500 27969658880 26324 33554432000 4194304 4196468 140736385280240 139949227631392 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19682] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19682/stat : 19682 (java) S 19667 19667 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499818501 27969658880 26324 33554432000 4194304 4196468 140736385280240 139949093409904 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19683] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19683/stat : 19683 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 26324 33554432000 4194304 4196468 140736385280240 139948718905424 139951596021659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19684] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19684/stat : 19684 (java) S 19667 19667 19128 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 26324 33554432000 4194304 4196468 140736385280240 139950115756656 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19685] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19685/stat : 19685 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 26324 33554432000 4194304 4196468 140736385280240 139950114703856 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19686] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19686/stat : 19686 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 26324 33554432000 4194304 4196468 140736385280240 139950113651568 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19687] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19687/stat : 19687 (java) S 19667 19667 19128 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 26324 33554432000 4194304 4196468 140736385280240 139950112598768 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19688] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19688/stat : 19688 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 26324 33554432000 4194304 4196468 140736385280240 139948221000032 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19689] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19689/stat : 19689 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818504 27969658880 26324 33554432000 4194304 4196468 140736385280240 139950111545648 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 106692 KiB

[startup+0.210505 s]*
/proc/loadavg: 5.56 2.00 0.76 2/213 19689
/proc/meminfo: memFree=25194508/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499818495 115843072 349 33554432000 4194304 5098028 140730862681552 140730862678808 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 349 296 221 0 87 0
[pid=19670] ppid=19667 vsize=27314120 memory=124368 CPUtime=0.25 cores=0-7
/proc/19670/stat : 19670 (java) S 19667 19667 19128 0 -1 1077944320 12538 0 0 0 20 5 0 0 20 0 20 0 499818496 27969658880 31092 33554432000 4194304 4196468 140736385280240 140736385262784 139951596003063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
/proc/19670/statm: 6828530 31092 2932 1 0 6790935 0
[pid=19670/tid=19671] ppid=19667 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/19670/task/19671/stat : 19671 (java) R 19667 19667 19128 0 -1 4202560 10235 0 0 0 15 4 0 0 20 0 20 0 499818496 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951567802448 139951581168718 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19672] ppid=19667 vsize=27314120 memory=329 CPUtime=0 cores=0-7
/proc/19670/task/19672/stat : 19672 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951600245136 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19673] ppid=19667 vsize=27314120 memory=140100808256743 CPUtime=0 cores=0-7
/proc/19670/task/19673/stat : 19673 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951383640336 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19674] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19674/stat : 19674 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951382588048 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19675] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19675/stat : 19675 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951381535248 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19676] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19676/stat : 19676 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951380482960 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19677] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19677/stat : 19677 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951379430160 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19678] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19678/stat : 19678 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951378377872 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19679] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19679/stat : 19679 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 31092 33554432000 4194304 4196468 140736385280240 139951377325072 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19680] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19680/stat : 19680 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499818500 27969658880 31092 33554432000 4194304 4196468 140736385280240 139950116808816 139951596014210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19681] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19681/stat : 19681 (java) S 19667 19667 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499818500 27969658880 31092 33554432000 4194304 4196468 140736385280240 139949227631392 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19682] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19682/stat : 19682 (java) S 19667 19667 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499818501 27969658880 31092 33554432000 4194304 4196468 140736385280240 139949093409904 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19683] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19683/stat : 19683 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 31092 33554432000 4194304 4196468 140736385280240 139948718905424 139951596021659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19684] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19684/stat : 19684 (java) S 19667 19667 19128 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 31092 33554432000 4194304 4196468 140736385280240 139950115756656 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19685] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19685/stat : 19685 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 31092 33554432000 4194304 4196468 140736385280240 139950114703856 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19686] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19686/stat : 19686 (java) S 19667 19667 19128 0 -1 1077944384 176 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 31092 33554432000 4194304 4196468 140736385280240 139950113651568 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19687] ppid=19667 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/19670/task/19687/stat : 19687 (java) S 19667 19667 19128 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 20 0 499818503 27969658880 31092 33554432000 4194304 4196468 140736385280240 139950112598768 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19688] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19688/stat : 19688 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 31092 33554432000 4194304 4196468 140736385280240 139948221000032 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19689] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19689/stat : 19689 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818504 27969658880 31092 33554432000 4194304 4196468 140736385280240 139950111545648 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 125764 KiB

[startup+0.310317 s]*
/proc/loadavg: 5.56 2.00 0.76 2/213 19689
/proc/meminfo: memFree=25191964/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499818495 115843072 349 33554432000 4194304 5098028 140730862681552 140730862678808 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 349 296 221 0 87 0
[pid=19670] ppid=19667 vsize=27314120 memory=128240 CPUtime=0.42 cores=0-7
/proc/19670/stat : 19670 (java) S 19667 19667 19128 0 -1 1077944320 12895 0 0 0 37 5 0 0 20 0 20 0 499818496 27969658880 32060 33554432000 4194304 4196468 140736385280240 140736385262784 139951596003063 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
/proc/19670/statm: 6828530 32060 3059 1 0 6790935 0
[pid=19670/tid=19671] ppid=19667 vsize=27314120 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/19670/task/19671/stat : 19671 (java) R 19667 19667 19128 0 -1 4202560 10422 0 0 0 25 4 0 0 20 0 20 0 499818496 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951567788048 139951576278443 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19672] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19672/stat : 19672 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951600245136 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19673] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19673/stat : 19673 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951383640336 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19674] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19674/stat : 19674 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951382588048 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19675] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19675/stat : 19675 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951381535248 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19676] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19676/stat : 19676 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951380482960 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19677] ppid=19667 vsize=27314120 memory=140100692437679 CPUtime=0 cores=0-7
/proc/19670/task/19677/stat : 19677 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951379430160 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19678] ppid=19667 vsize=27314120 memory=140100692439984 CPUtime=0 cores=0-7
/proc/19670/task/19678/stat : 19678 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951378377872 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19679] ppid=19667 vsize=27314120 memory=140100692442288 CPUtime=0 cores=0-7
/proc/19670/task/19679/stat : 19679 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27969658880 32060 33554432000 4194304 4196468 140736385280240 139951377325072 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19680] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19680/stat : 19680 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 499818500 27969658880 32060 33554432000 4194304 4196468 140736385280240 139950116808816 139951596014210 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19681] ppid=19667 vsize=27314120 memory=280201384898448 CPUtime=0 cores=0-7
/proc/19670/task/19681/stat : 19681 (java) S 19667 19667 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 499818500 27969658880 32060 33554432000 4194304 4196468 140736385280240 139949227631392 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19682] ppid=19667 vsize=27314120 memory=280201384896144 CPUtime=0 cores=0-7
/proc/19670/task/19682/stat : 19682 (java) S 19667 19667 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 499818501 27969658880 32060 33554432000 4194304 4196468 140736385280240 139949093409904 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19683] ppid=19667 vsize=27314120 memory=280201384903056 CPUtime=0 cores=0-7
/proc/19670/task/19683/stat : 19683 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 32060 33554432000 4194304 4196468 140736385280240 139948718905424 139951596021659 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19684] ppid=19667 vsize=27314120 memory=280201384844336 CPUtime=0.01 cores=0-7
/proc/19670/task/19684/stat : 19684 (java) S 19667 19667 19128 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 20 0 499818503 27969658880 32060 33554432000 4194304 4196468 140736385280240 139950115756656 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19685] ppid=19667 vsize=27314120 memory=280201384916880 CPUtime=0 cores=0-7
/proc/19670/task/19685/stat : 19685 (java) S 19667 19667 19128 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 32060 33554432000 4194304 4196468 140736385280240 139950114703856 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19686] ppid=19667 vsize=27314120 memory=280201384923792 CPUtime=0.01 cores=0-7
/proc/19670/task/19686/stat : 19686 (java) S 19667 19667 19128 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 499818503 27969658880 32060 33554432000 4194304 4196468 140736385280240 139950113651568 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19687] ppid=19667 vsize=27314120 memory=280201384921488 CPUtime=0.07 cores=0-7
/proc/19670/task/19687/stat : 19687 (java) S 19667 19667 19128 0 -1 1077944384 476 0 0 0 7 0 0 0 20 0 20 0 499818503 27969658880 32060 33554432000 4194304 4196468 140736385280240 139950112598768 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19688] ppid=19667 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19688/stat : 19688 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 499818503 27969658880 32060 33554432000 4194304 4196468 140736385280240 139948221000032 139951596013269 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19689] ppid=19667 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/19670/task/19689/stat : 19689 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818504 27969658880 32060 33554432000 4194304 4196468 140736385280240 139950111545648 139951596014210 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129636 KiB

[startup+0.701658 s]
/proc/loadavg: 5.56 2.00 0.76 2/213 19689
/proc/meminfo: memFree=25170384/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 499818495 115843072 349 33554432000 4194304 5098028 140730862681552 140730862678808 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 349 296 221 0 87 0
[pid=19670] ppid=19667 vsize=27320392 memory=163392 CPUtime=1 cores=0-7
/proc/19670/stat : 19670 (java) S 19667 19667 19128 0 -1 1077944320 20456 0 0 0 94 6 0 0 20 0 20 0 499818496 27976081408 40848 33554432000 4194304 4196468 140736385280240 140736385262784 139951596003063 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
/proc/19670/statm: 6830098 40848 3189 1 0 6791447 0
[pid=19670/tid=19671] ppid=19667 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/19670/task/19671/stat : 19671 (java) R 19667 19667 19128 0 -1 4202560 17405 0 0 0 62 5 0 0 20 0 20 0 499818496 27976081408 40848 33554432000 4194304 4196468 140736385280240 139951567833104 139951056454032 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19672] ppid=19667 vsize=27320392 memory=140100692648816 CPUtime=0 cores=0-7
/proc/19670/task/19672/stat : 19672 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27976081408 40848 33554432000 4194304 4196468 140736385280240 139951600245136 139951596013269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19673] ppid=19667 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/19670/task/19673/stat : 19673 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27976081408 40848 33554432000 4194304 4196468 140736385280240 139951383640336 139951596013269 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0
[pid=19670/tid=19674] ppid=19667 vsize=27320392 memory=1200 CPUtime=0 cores=0-7
/proc/19670/task/19674/stat : 19674 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 499818498 27976081408 40848 33554432000 4194304 4196468 140736385280240 139951382588048 139951596013269 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19304448 140736385286855 140736385287302 140736385287302 140736385290191 0

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

[pid=19690/tid=19723] ppid=19667 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19690/task/19723/stat : 19723 (java) S 19667 19667 19128 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 499818878 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904264690992 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
Current children cumulated CPU time: 82.7 s
Current children cumulated vsize: 9163520 KiB
Current children cumulated memory: 281228 KiB

[startup+13.6016 s]
/proc/loadavg: 5.72 2.15 0.82 9/226 19725
/proc/meminfo: memFree=25040472/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1476 CPUtime=9.92 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 583 31000 0 0 0 0 972 20 20 0 1 0 499818495 115843072 369 33554432000 4194304 5098028 140730862681552 140730862678296 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 369 311 221 0 87 0
[pid=19690] ppid=19667 vsize=8414124 memory=118032 CPUtime=1.17 cores=0-7
/proc/19690/stat : 19690 (java) S 19667 19667 19128 0 -1 1077944320 20037 0 0 0 110 7 0 0 20 0 24 0 499818803 8616062976 29508 33554432000 4194304 4196468 140721954257728 140721954240272 139907613331191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
/proc/19690/statm: 2103531 29508 3207 1 0 2064875 0
[pid=19710] ppid=19690 vsize=636972 memory=163308 CPUtime=77.98 cores=0-7
/proc/19710/stat : 19710 (manyglucose-4.1) S 19690 19667 19128 0 -1 1077944320 118853 0 0 0 7777 21 0 0 20 0 9 0 499818875 652259328 40827 33554432000 4194304 4454172 140721235750096 140721235748496 140587844917890 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
/proc/19710/statm: 159243 40827 403 64 0 154911 0
[pid=19710/tid=19715] ppid=19690 vsize=636972 memory=992 CPUtime=9.54 cores=0-7
/proc/19710/task/19715/stat : 19715 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 14044 0 0 0 952 2 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587829689208 4350323 0 4 0 8388610 0 0 0 -1 7 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19716] ppid=19690 vsize=636972 memory=2044 CPUtime=9.76 cores=0-7
/proc/19710/task/19716/stat : 19716 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 13707 0 0 0 974 2 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587821296504 4351800 0 4 0 8388610 0 0 0 -1 1 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19717] ppid=19690 vsize=636972 memory=0 CPUtime=9.76 cores=0-7
/proc/19710/task/19717/stat : 19717 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 14452 0 0 0 974 2 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587812903672 4334992 0 4 0 8388610 0 0 0 -1 2 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19718] ppid=19690 vsize=636972 memory=0 CPUtime=9.77 cores=0-7
/proc/19710/task/19718/stat : 19718 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 14665 0 0 0 976 1 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587804510968 4351535 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19719] ppid=19690 vsize=636972 memory=0 CPUtime=9.77 cores=0-7
/proc/19710/task/19719/stat : 19719 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 14603 0 0 0 975 2 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587796118264 4350933 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19720] ppid=19690 vsize=636972 memory=0 CPUtime=9.75 cores=0-7
/proc/19710/task/19720/stat : 19720 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 17432 0 0 0 972 3 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587701365496 4333201 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19721] ppid=19690 vsize=636972 memory=856 CPUtime=9.76 cores=0-7
/proc/19710/task/19721/stat : 19721 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 13966 0 0 0 973 3 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587787725560 4349976 0 4 0 8388610 0 0 0 -1 0 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19722] ppid=19690 vsize=636972 memory=856 CPUtime=9.77 cores=0-7
/proc/19710/task/19722/stat : 19722 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 14501 0 0 0 976 1 0 0 20 0 9 0 499818877 652259328 40827 33554432000 4194304 4454172 140721235750096 140587779333224 4351286 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19690/tid=19691] ppid=19667 vsize=8414124 memory=857 CPUtime=0.75 cores=0-7
/proc/19690/task/19691/stat : 19691 (java) S 19667 19667 19128 0 -1 1077944384 16929 0 0 0 70 5 0 0 20 0 24 0 499818803 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907585171360 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19692] ppid=19667 vsize=8414124 memory=858 CPUtime=0 cores=0-7
/proc/19690/task/19692/stat : 19692 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907617573776 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19693] ppid=19667 vsize=8414124 memory=856 CPUtime=0 cores=0-7
/proc/19690/task/19693/stat : 19693 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907423337232 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19694] ppid=19667 vsize=8414124 memory=856 CPUtime=0 cores=0-7
/proc/19690/task/19694/stat : 19694 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907422284944 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19695] ppid=19667 vsize=8414124 memory=857 CPUtime=0 cores=0-7
/proc/19690/task/19695/stat : 19695 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907421232144 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19696] ppid=19667 vsize=8414124 memory=75 CPUtime=0 cores=0-7
/proc/19690/task/19696/stat : 19696 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907420178832 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19697] ppid=19667 vsize=8414124 memory=11624 CPUtime=0 cores=0-7
/proc/19690/task/19697/stat : 19697 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907094448400 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19698] ppid=19667 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/19690/task/19698/stat : 19698 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907093396112 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19699] ppid=19667 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/19690/task/19699/stat : 19699 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907092343312 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19700] ppid=19667 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/19690/task/19700/stat : 19700 (java) S 19667 19667 19128 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499818805 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906438404720 139907613342338 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19701] ppid=19667 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/19690/task/19701/stat : 19701 (java) S 19667 19667 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499818806 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906210850080 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19702] ppid=19667 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/19690/task/19702/stat : 19702 (java) S 19667 19667 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499818806 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906076628592 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19703] ppid=19667 vsize=8414124 memory=780 CPUtime=0 cores=0-7
/proc/19690/task/19703/stat : 19703 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139905702124112 139907613349787 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19704] ppid=19667 vsize=8414124 memory=2832 CPUtime=0.05 cores=0-7
/proc/19690/task/19704/stat : 19704 (java) S 19667 19667 19128 0 -1 1077944384 604 0 0 0 5 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906437351536 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19705] ppid=19667 vsize=8414124 memory=1716 CPUtime=0.05 cores=0-7
/proc/19690/task/19705/stat : 19705 (java) S 19667 19667 19128 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906436298736 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19706] ppid=19667 vsize=8414124 memory=1200 CPUtime=0.07 cores=0-7
/proc/19690/task/19706/stat : 19706 (java) S 19667 19667 19128 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906435246448 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19707] ppid=19667 vsize=8414124 memory=6132 CPUtime=0.19 cores=0-7
/proc/19690/task/19707/stat : 19707 (java) S 19667 19667 19128 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906434193648 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19708] ppid=19667 vsize=8414124 memory=14012 CPUtime=0 cores=0-7
/proc/19690/task/19708/stat : 19708 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139905204218720 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19709] ppid=19667 vsize=8414124 memory=23324 CPUtime=0 cores=0-7
/proc/19690/task/19709/stat : 19709 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906433141552 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19711] ppid=19667 vsize=8414124 memory=12024 CPUtime=0 cores=0-7
/proc/19690/task/19711/stat : 19711 (java) S 19667 19667 19128 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499818875 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906425108288 139907613355801 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19713] ppid=19667 vsize=8414124 memory=2120 CPUtime=0 cores=0-7
/proc/19690/task/19713/stat : 19713 (java) S 19667 19667 19128 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499818876 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904533118352 139907613353117 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19714] ppid=19667 vsize=8414124 memory=500 CPUtime=0 cores=0-7
/proc/19690/task/19714/stat : 19714 (java) S 19667 19667 19128 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499818876 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904801553680 139907613353117 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19723] ppid=19667 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/19690/task/19723/stat : 19723 (java) S 19667 19667 19128 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 499818878 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904264690992 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
Current children cumulated CPU time: 89.07 s
Current children cumulated vsize: 9164224 KiB
Current children cumulated memory: 282816 KiB

[startup+14.4011 s]
/proc/loadavg: 5.72 2.15 0.82 8/225 19725
/proc/meminfo: memFree=25039492/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1476 CPUtime=9.92 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 583 31000 0 0 0 0 972 20 20 0 1 0 499818495 115843072 369 33554432000 4194304 5098028 140730862681552 140730862678296 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 369 311 221 0 87 0
[pid=19690] ppid=19667 vsize=8414124 memory=118032 CPUtime=1.17 cores=0-7
/proc/19690/stat : 19690 (java) S 19667 19667 19128 0 -1 1077944320 20037 0 0 0 110 7 0 0 20 0 24 0 499818803 8616062976 29508 33554432000 4194304 4196468 140721954257728 140721954240272 139907613331191 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
/proc/19690/statm: 2103531 29508 3207 1 0 2064875 0
[pid=19710] ppid=19690 vsize=637608 memory=162992 CPUtime=82.45 cores=0-7
/proc/19710/stat : 19710 (manyglucose-4.1) S 19690 19667 19128 0 -1 1077944320 125798 0 0 0 8223 22 0 0 20 0 3 0 499818875 652910592 40748 33554432000 4194304 4454172 140721235750096 140721235748480 140587844906743 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
/proc/19710/statm: 159402 40748 416 64 0 155070 0
[pid=19710/tid=19715] ppid=19690 vsize=637608 memory=7686721470234074012 CPUtime=10.34 cores=0-7
/proc/19710/task/19715/stat : 19715 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 15046 0 0 0 1031 3 0 0 20 0 3 0 499818877 652910592 40748 33554432000 4194304 4454172 140721235750096 140587829689512 4351800 0 4 0 8388610 0 0 0 -1 6 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19710/tid=19722] ppid=19690 vsize=637608 memory=140100692779075 CPUtime=10.57 cores=0-7
/proc/19710/task/19722/stat : 19722 (manyglucose-4.1) R 19690 19667 19128 0 -1 4202560 15782 0 0 0 1056 1 0 0 20 0 3 0 499818877 652910592 40748 33554432000 4194304 4454172 140721235750096 140587779333224 4333209 0 4 0 8388610 0 0 0 -1 3 0 0 0 0 0 6552832 6554400 23044096 140721235755853 140721235756060 140721235756060 140721235759030 0
[pid=19690/tid=19691] ppid=19667 vsize=8414124 memory=280201385443776 CPUtime=0.75 cores=0-7
/proc/19690/task/19691/stat : 19691 (java) S 19667 19667 19128 0 -1 1077944384 16929 0 0 0 70 5 0 0 20 0 24 0 499818803 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907585171360 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19692] ppid=19667 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/19690/task/19692/stat : 19692 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907617573776 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19693] ppid=19667 vsize=8414124 memory=1984 CPUtime=0 cores=0-7
/proc/19690/task/19693/stat : 19693 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907423337232 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19694] ppid=19667 vsize=8414124 memory=2424 CPUtime=0 cores=0-7
/proc/19690/task/19694/stat : 19694 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907422284944 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19695] ppid=19667 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/19690/task/19695/stat : 19695 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907421232144 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19696] ppid=19667 vsize=8414124 memory=118032 CPUtime=0 cores=0-7
/proc/19690/task/19696/stat : 19696 (java) S 19667 19667 19128 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907420178832 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19697] ppid=19667 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19690/task/19697/stat : 19697 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907094448400 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19698] ppid=19667 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19690/task/19698/stat : 19698 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907093396112 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19699] ppid=19667 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19690/task/19699/stat : 19699 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499818804 8616062976 29508 33554432000 4194304 4196468 140721954257728 139907092343312 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19700] ppid=19667 vsize=8414124 memory=0 CPUtime=0 cores=0-7
/proc/19690/task/19700/stat : 19700 (java) S 19667 19667 19128 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 24 0 499818805 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906438404720 139907613342338 0 0 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19701] ppid=19667 vsize=8414124 memory=16203 CPUtime=0 cores=0-7
/proc/19690/task/19701/stat : 19701 (java) S 19667 19667 19128 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 499818806 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906210850080 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19702] ppid=19667 vsize=8414124 memory=1508 CPUtime=0 cores=0-7
/proc/19690/task/19702/stat : 19702 (java) S 19667 19667 19128 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 499818806 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906076628592 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19703] ppid=19667 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/19690/task/19703/stat : 19703 (java) S 19667 19667 19128 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139905702124112 139907613349787 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19704] ppid=19667 vsize=8414124 memory=118032 CPUtime=0.05 cores=0-7
/proc/19690/task/19704/stat : 19704 (java) S 19667 19667 19128 0 -1 1077944384 604 0 0 0 5 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906437351536 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19705] ppid=19667 vsize=8414124 memory=155244 CPUtime=0.05 cores=0-7
/proc/19690/task/19705/stat : 19705 (java) S 19667 19667 19128 0 -1 1077944384 238 0 0 0 5 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906436298736 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19706] ppid=19667 vsize=8414124 memory=2044 CPUtime=0.07 cores=0-7
/proc/19690/task/19706/stat : 19706 (java) S 19667 19667 19128 0 -1 1077944384 306 0 0 0 7 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906435246448 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19707] ppid=19667 vsize=8414124 memory=1424 CPUtime=0.19 cores=0-7
/proc/19690/task/19707/stat : 19707 (java) S 19667 19667 19128 0 -1 1077944384 539 0 0 0 19 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906434193648 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19708] ppid=19667 vsize=8414124 memory=11624 CPUtime=0 cores=0-7
/proc/19690/task/19708/stat : 19708 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139905204218720 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19709] ppid=19667 vsize=8414124 memory=740 CPUtime=0 cores=0-7
/proc/19690/task/19709/stat : 19709 (java) S 19667 19667 19128 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 499818809 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906433141552 139907613342338 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19711] ppid=19667 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/19690/task/19711/stat : 19711 (java) S 19667 19667 19128 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 499818875 8616062976 29508 33554432000 4194304 4196468 140721954257728 139906425108288 139907613355801 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19713] ppid=19667 vsize=8414124 memory=1552 CPUtime=0 cores=0-7
/proc/19690/task/19713/stat : 19713 (java) S 19667 19667 19128 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 499818876 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904533118352 139907613353117 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19714] ppid=19667 vsize=8414124 memory=1040 CPUtime=0 cores=0-7
/proc/19690/task/19714/stat : 19714 (java) S 19667 19667 19128 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 499818876 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904801553680 139907613353117 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
[pid=19690/tid=19723] ppid=19667 vsize=8414124 memory=3644 CPUtime=0 cores=0-7
/proc/19690/task/19723/stat : 19723 (java) S 19667 19667 19128 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 499818878 8616062976 29508 33554432000 4194304 4196468 140721954257728 139904264690992 139907613341397 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38318080 140721954259935 140721954260102 140721954260102 140721954262991 0
Current children cumulated CPU time: 93.54 s
Current children cumulated vsize: 9164860 KiB
Current children cumulated memory: 282500 KiB

[startup+14.601 s]
/proc/loadavg: 5.72 2.15 0.82 8/225 19725
/proc/meminfo: memFree=25039492/32770624 swapFree=66973900/67108860
[pid=19667] ppid=19664 vsize=113128 memory=1476 CPUtime=9.92 cores=0-7
/proc/19667/stat : 19667 (scop.sh) S 19664 19667 19128 0 -1 4202496 583 31000 0 0 0 0 972 20 20 0 1 0 499818495 115843072 369 33554432000 4194304 5098028 140730862681552 140730862678296 140243733365372 0 65536 4100 81923 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 14036992 140730862686973 140730862687320 140730862687320 140730862690249 0
/proc/19667/statm: 28282 369 311 221 0 87 0
Current children cumulated CPU time: 9.92 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1476 KiB

Child status: 0
Real time (s): 14.6048
CPU time (s): 93.8586
CPU user time (s): 93.3217
CPU system time (s): 0.536919
CPU usage (%): 642.654
Max. virtual memory (cumulated for all children) (KiB): 27441876
Max. memory (cumulated for all children) (KiB): 623136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.3217
system time used= 0.536919
maximum resident set size= 627232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9082
involuntary context switches= 965


# summary of solver processes directly reported to runsolver:
#   pid: 19667
#   total CPU time (s): 93.8586
#   total CPU user time (s): 93.3217
#   total CPU system time (s): 0.536919

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.145327 second user time and 0.233642 second system time

The end

Launcher Data 

Begin job on node117 at 2019-09-23 13:38:43
IDJOB=4405136
IDBENCH=121909
IDSOLVER=2867
FILE ID=node117/4405136-1569238767
RUNJOBID= node117-1569238588-19155
PBS_JOBID= 21704911
Free space on /var/tmp= 13512 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22)
BENCH NAME= XCSP17/Random/Random-D-t020/rand-2-40-11-414-020-79.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 /var/tmp/evaluation-result-4405136-1569238767/watcher-4405136-1569238767 -o /var/tmp/evaluation-result-4405136-1569238767/solver-4405136-1569238767 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node117-1569238588-19155 --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-4405136-1569238767.xml

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

MD5SUM BENCH= c0f256b6b5f799b1206df7220afe38a7
RANDOM SEED=713764571

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

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.75
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:        25309776 kB
MemAvailable:   31824136 kB
Buffers:           99980 kB
Cached:          6464316 kB
SwapCached:        27992 kB
Active:          3247948 kB
Inactive:        3348872 kB
Active(anon):       3860 kB
Inactive(anon):    79652 kB
Active(file):    3244088 kB
Inactive(file):  3269220 kB
Unevictable:      107656 kB
Mlocked:          107656 kB
SwapTotal:      67108860 kB
SwapFree:       66973900 kB
Dirty:             20556 kB
Writeback:            12 kB
AnonPages:        113068 kB
Mapped:            52612 kB
Shmem:             42236 kB
Slab:             457960 kB
SReclaimable:     429512 kB
SUnreclaim:        28448 kB
KernelStack:        3392 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     514084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /var/tmp at the end= 13492 MiB
End job on node117 at 2019-09-23 13:38:58