Trace number 4392428

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP order+ManyGlucose (2019-06-15)SAT 1023.7 653.896

General information on the benchmark

NameCrossword/Crossword-m1c-ogd-herald/
Crossword-m1c-ogd-h2107.xml
MD5SUM495794a1d12b922029631b8ffbf13f9b
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.643414
Satisfiable
(Un)Satisfiability was proved
Number of variables441
Number of constraints152
Number of domains1
Minimum domain size26
Maximum domain size26
Distribution of domain sizes[{"size":26,"count":368}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":73},{"degree":2,"count":368}]
Minimum constraint arity3
Maximum constraint arity10
Distribution of constraint arities[{"arity":3,"count":36},{"arity":4,"count":36},{"arity":5,"count":44},{"arity":6,"count":12},{"arity":7,"count":16},{"arity":10,"count":8}]
Number of extensional constraints152
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":152}]
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-16742-serial-file.bin HOME/instance-4392428-1568446375.xml
0.66/0.60	
0.66/0.60	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
0.66/0.60	
0.77/0.63	c BEGIN-Prog: Thu Dec 15 15:53:19 CET 2011
0.77/0.63	c PID: 16745
0.77/0.63	c IP: 172.20.3.120
0.77/0.63	c HOST: node120.alineos.net
0.77/0.64	c (0,0) Parsing Begin
3.22/1.56	c (0,0) Parsing End
3.22/1.57	c (0,0) CSP: 368 int (0 aux), 0 bool (0 aux), 152 ctr, max domain size 26
3.22/1.57	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.22/1.57	c (0,0) Constraint Name Generate Begin
3.22/1.58	c (0,0) Ctr:HOME/instance-4392428-1568446375.xml,ExtensionSupport:Var
3.22/1.58	c (0,0) Constraint Name Generate End
3.22/1.58	c (0,0) Heap : 450 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB)
3.22/1.58	c (0,0) CSP to CSPinCNF Begin
17.49/8.62	c (8,7) translated 16 (10%) constraints
24.90/15.22	c (14,14) translated 31 (20%) constraints
46.61/34.62	c (34,33) translated 46 (30%) constraints
71.06/55.75	c (55,54) translated 61 (40%) constraints
94.59/75.18	c (74,73) translated 76 (50%) constraints
308.26/245.94	c (245,237) translated 92 (60%) constraints
309.77/247.43	c (246,239) translated 107 (70%) constraints
311.18/248.84	c (248,240) translated 122 (80%) constraints
407.00/330.64	c (330,320) translated 137 (90%) constraints
493.92/406.51	c (405,394) translated 152 (100%) constraints
496.82/409.45	c (408,397) ===========================================
496.94/409.50	c (408,397) Order
496.94/409.50	c (408,397) ===========================================
508.13/420.31	c (419,408) translated 480923 (10%) constraints
524.15/432.16	c (431,419) translated 961845 (20%) constraints
535.21/443.12	c (442,430) translated 1442768 (30%) constraints
551.69/454.56	c (453,441) translated 1923690 (40%) constraints
562.39/465.20	c (464,451) translated 2404613 (50%) constraints
579.04/476.53	c (475,462) translated 2885535 (60%) constraints
589.85/487.31	c (486,473) translated 3366458 (70%) constraints
606.84/498.93	c (498,483) translated 3847380 (80%) constraints
617.66/509.79	c (509,494) translated 4328303 (90%) constraints
628.87/521.00	c (520,505) translated 4809225 (100%) constraints
628.87/521.00	c (520,505) CSP to CSPinCNF End
629.11/521.17	c (520,506) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
629.11/521.17	c (520,506) Heap : 11281 MiB used (max 21687 MiB), NonHeap : 27 MiB used (max 0 MiB)
629.11/521.17	c (520,506) CSPinCNF Propagation Begin
694.47/549.91	c (549,529) 0 values, 152 unsatisfiable literals, and 0 valid clauses are removed
694.47/549.91	c (549,529) CSPinCNF Propagation End
694.58/550.07	c (549,529) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
694.58/550.07	c (549,529) Heap : 10217 MiB used (max 21245 MiB), NonHeap : 27 MiB used (max 0 MiB)
694.58/550.10	c (549,529) Simplify CSPinCNF Begin
716.76/561.53	c (560,539) Simplify CSPinCNF End
716.86/561.68	c (561,539) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
716.86/561.69	c (561,539) Heap : 10381 MiB used (max 21199 MiB), NonHeap : 27 MiB used (max 0 MiB)
716.86/561.69	c (561,539) Calculate Precise Domain Begin
716.86/561.69	c (561,539) 0 values are removed by re-calculation
716.86/561.69	c (561,539) Calculate Precise Domain End
717.07/561.84	c (561,540) CSP: 368 int (0 aux), 491796 bool (491796 aux), 4809225 ctr, max domain size 26
717.07/561.84	c (561,540) Heap : 10381 MiB used (max 21199 MiB), NonHeap : 27 MiB used (max 0 MiB)
717.07/561.84	c (561,540) CSPinCNF to SatSolver Begin
733.76/569.42	c (568,546) 480923 (10 %) CSP clauses are encoded (0 SAT variables, 489578 SAT clauses)
739.12/574.78	c (574,551) 961845 (20 %) CSP clauses are encoded (0 SAT variables, 970500 SAT clauses)
749.46/580.63	c (580,557) 1442768 (30 %) CSP clauses are encoded (0 SAT variables, 1451423 SAT clauses)
757.69/586.22	c (585,562) 1923690 (40 %) CSP clauses are encoded (0 SAT variables, 1932345 SAT clauses)
765.81/591.77	c (591,567) 2404613 (50 %) CSP clauses are encoded (0 SAT variables, 2413268 SAT clauses)
770.92/596.89	c (596,572) 2885535 (60 %) CSP clauses are encoded (0 SAT variables, 2894190 SAT clauses)
779.24/602.59	c (601,577) 3366458 (70 %) CSP clauses are encoded (0 SAT variables, 3375113 SAT clauses)
787.74/608.35	c (607,583) 3847380 (80 %) CSP clauses are encoded (0 SAT variables, 3856035 SAT clauses)
796.04/614.12	c (613,588) 4328303 (90 %) CSP clauses are encoded (0 SAT variables, 4336958 SAT clauses)
801.41/619.62	c (619,594) 4809225 (100 %) CSP clauses are encoded (0 SAT variables, 4817880 SAT clauses)
801.41/619.63	c (619,594) CSPinCNF to SatSolver End
801.41/619.63	c (619,594) Heap : 14433 MiB used (max 21599 MiB), NonHeap : 29 MiB used (max 0 MiB)
801.41/619.63	c (619,594) 500820 bool, 4817881 clause
801.41/619.63	c (619,594) Export Begin
801.55/619.78	c (619,594) Export to HOME/scop-16742-serial-file.bin
801.55/619.78	c (619,594) Export End
801.55/619.78	c (619,594) Export File Size: 0.15 MB
801.55/619.78	c (619,594) 0,0,520,549,561,561,619,STOP-AFTER(DIMACS)
801.55/619.79	c END-Prog: Thu Dec 15 16:03:38 CET 2011
0.00/619.88	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-16742-serial-file.bin
802.50/620.40	c (0,0) Read Serial File Begin
802.50/620.40	c (0,0) HOME/scop-16742-serial-file.bin
803.05/620.71	c (0,0) Read Serial File End
803.05/620.72	
803.05/620.72	Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15)
803.05/620.72	(Solving Process)
803.05/620.72	
803.05/620.75	c BEGIN-Prog: Thu Dec 15 16:03:39 CET 2011
803.05/620.75	c PID: 16836
803.05/620.75	c IP: 172.20.3.120
803.05/620.75	c HOST: node120.alineos.net
803.05/620.75	c (0,0) SatSolver.solve Begin
803.05/620.75	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392428-1568446375.xml-scop-16745.cnf
803.05/620.78	c (0,0) c
803.05/620.78	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)
803.05/620.78	c (0,0) c
803.05/620.78	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
803.05/620.78	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
803.05/620.78	c (0,0) c ========================================[ Problem Statistics ]===========================================
803.05/620.78	c (0,0) c |                                                                                                       |
805.38/622.90	c (2,0) c |  Number of variables:        500820                                                                   |
805.38/622.90	c (2,0) c |  Number of clauses:         4815668                                                                   |
805.38/622.90	c (2,0) c |  Parse time:                   1.93 s                                                                 |
805.38/622.90	c (2,0) c |                                                                                                       |
805.87/623.37	c (3,0) c | Too many clauses... No preprocessing                                                                  |
805.87/623.37	c (3,0) c |  Simplification time:          0.43 s                                                                 |
805.87/623.37	c (3,0) c |                                                                                                       |
805.87/623.38	c (3,0) c |  Generating clones                                                                                    |
807.59/625.10	c (4,0) c |  all clones generated. Memory =  3341.41Mb.                                                           |
807.59/625.10	c (4,0) c ========================================================================================================|
807.59/625.10	c (4,0) c
807.59/625.10	c (4,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
807.59/625.10	c (4,0) c
807.59/625.10	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
807.59/625.10	c (4,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
807.59/625.10	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
807.59/625.10	c (4,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
807.59/625.10	c (4,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
807.59/625.10	c (4,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
807.59/625.10	c (4,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |   91648259 |   91648260 |
807.59/625.10	c (4,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
807.59/625.10	c (4,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
807.59/625.10	c (4,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
807.59/625.10	c (4,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
807.59/625.10	c (4,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
807.59/625.10	c (4,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
807.59/625.10	c (4,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
807.59/625.10	c (4,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
807.59/625.10	c (4,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
807.59/625.10	c (4,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
807.59/625.10	c (4,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
807.59/625.10	c (4,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.31	c (32,0) c
1022.36/653.31	c (32,0) c real time : 32.5387 s
1022.36/653.31	c (32,0) c cpu time  : 212.541 s
1022.36/653.31	c (32,0) c
1022.36/653.31	c (32,0) c
1022.36/653.31	c (32,0) c
1022.36/653.31	c (32,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
1022.36/653.31	c (32,0) c
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c | Conflicts     |          183495 |      23629 |      24279 |      23571 |      21024 |      21158 |      25579 |      22536 |      21719 |
1022.36/653.32	c (32,0) c | Decisions     |         2558110 |     339234 |     315922 |     340022 |     303930 |     318399 |     324651 |     308745 |     307207 |
1022.36/653.32	c (32,0) c | Propagations  |       591104663 |   72833569 |   71669156 |   76037647 |   74614219 |   75004241 |   74335672 |   75109825 |   71500334 |
1022.36/653.32	c (32,0) c | ReduceDBs     |              27 |          4 |          4 |          3 |          3 |          3 |          4 |          3 |          3 |
1022.36/653.32	c (32,0) c | SimpDBs       |              31 |          4 |          4 |          3 |          4 |          4 |          4 |          4 |          4 |
1022.36/653.32	c (32,0) c | Restarts      |             533 |         63 |         90 |         76 |         63 |         59 |         46 |         66 |         70 |
1022.36/653.32	c (32,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1022.36/653.32	c (32,0) c | PropBinClauses|       626956315 |   76441725 |   76451964 |   80616680 |   80567722 |   80124266 |   77923793 |   79254634 |   75575531 |
1022.36/653.32	c (32,0) c | PropPreBlocker|      2815848788 |  350008911 |  348815908 |  360446638 |  352079256 |  353240612 |  358471699 |  355088036 |  337697728 |
1022.36/653.32	c (32,0) c | PropNotBlocker|       992646307 |  123364313 |  124721451 |  128613590 |  119755098 |  121724072 |  129829510 |  124751910 |  119886363 |
1022.36/653.32	c (32,0) c | LitFullScans  |      6136295582 |  762263762 |  762286106 |  762228655 |  762242449 |  764088039 |  780284579 |  780374801 |  762527191 |
1022.36/653.32	c (32,0) c | LitScanFracts |         2231218 |     250909 |     236843 |     218775 |     229015 |     324102 |     279360 |     347420 |     344794 |
1022.36/653.32	c (32,0) c | DecisionLevel0|             537 |         63 |         90 |         77 |         64 |         59 |         46 |         68 |         70 |
1022.36/653.32	c (32,0) c | Periods       |            1022 |        127 |        127 |        127 |        127 |        127 |        130 |        130 |        127 |
1022.36/653.32	c (32,0) c | Margin        |             160 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |         20 |
1022.36/653.32	c (32,0) c | Avg_Trail     |                 |     147532 |     128279 |     156391 |     158364 |     195355 |     175867 |     167976 |     149404 |
1022.36/653.32	c (32,0) c | Avg_DL        |                 |        865 |        453 |        430 |        455 |        657 |        558 |        634 |        435 |
1022.36/653.32	c (32,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1022.36/653.32	c (32,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c | Exported      |           25131 |       3254 |       3467 |       3469 |       2809 |       2694 |       3560 |       3033 |       2845 |
1022.36/653.32	c (32,0) c | Imported      |          141797 |      17663 |      17398 |      17553 |      17966 |      17530 |      17816 |      17834 |      18037 |
1022.36/653.32	c (32,0) c | Good          |           45770 |       5684 |       5751 |       5717 |       5763 |       5576 |       5821 |       5666 |       5792 |
1022.36/653.32	c (32,0) c | Purge         |           96027 |      11979 |      11647 |      11836 |      12203 |      11954 |      11995 |      12168 |      12245 |
1022.36/653.32	c (32,0) c | Promoted      |            2058 |        287 |        213 |        195 |        227 |        257 |        303 |        331 |        245 |
1022.36/653.32	c (32,0) c | Remove_Imp    |            5576 |       2790 |       2020 |          0 |          0 |          0 |        766 |          0 |          0 |
1022.36/653.32	c (32,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |          0 |
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c | Unaries       |                 |          0 |          0 |          1 |          1 |          0 |          0 |          2 |          0 |
1022.36/653.32	c (32,0) c | Binaries      |                 |       1039 |        914 |       1028 |        908 |        958 |        975 |       1049 |        936 |
1022.36/653.32	c (32,0) c | Glues         |                 |       1603 |       1498 |       1708 |       1515 |       1482 |       1651 |       1606 |       1462 |
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c | Orig_Seen     |            10 % |     505432 |     489552 |     508905 |     498931 |     485030 |     521909 |     548203 |     536535 |
1022.36/653.32	c (32,0) c | Diff Orig seen|                 |      20402 |       4522 |      23875 |      13901 |      X     |      36879 |      63173 |      51505 |
1022.36/653.32	c (32,0) c | Hamming       |             8 % |      43421 |      38759 |      42020 |      45738 |      X     |      42683 |      42354 |      43800 |
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c | RunningTime   |                 |   28.1 100%|   26.9 100%|   27.7 100%|   27.1 100%|   26.6 100%|   26.6 100%|   26.7 100%|   27.6 100%|
1022.36/653.32	c (32,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%|
1022.36/653.32	c (32,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%|
1022.36/653.32	c (32,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%|
1022.36/653.32	c (32,0) c | SolvingTime   |                 |   28.2     |   26.9     |   27.7     |   27.1     |   26.6     |   26.7     |   26.8     |   27.7     |
1022.36/653.32	c (32,0) c | PropagationTim|                 |   23.6  84%|   22.7  84%|   22.8  82%|   22.1  82%|   21.8  82%|   22.3  83%|   21.8  81%|   22.5  81%|
1022.36/653.32	c (32,0) c | AnalysisTime  |                 |    1.6   6%|    1.7   6%|    1.6   6%|    1.6   6%|    1.6   6%|    1.7   6%|    1.8   7%|    2.2   8%|
1022.36/653.32	c (32,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
1022.36/653.32	c (32,0) c | SimplifyTime  |                 |    0.4   1%|    0.3   1%|    0.2   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|    0.3   1%|
1022.36/653.32	c (32,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%|
1022.36/653.32	c (32,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%|
1022.36/653.32	c (32,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.32	c (32,0) c
1022.36/653.32	c (32,0) c
1022.36/653.32	c (32,0) c Threads : 8
1022.36/653.32	c (32,0) c Winner : 4
1022.36/653.32	c (32,0) c Conflicts_0 : 23629
1022.36/653.32	c (32,0) c Conflicts_1 : 24279
1022.36/653.32	c (32,0) c Conflicts_2 : 23571
1022.36/653.32	c (32,0) c Conflicts_3 : 21024
1022.36/653.32	c (32,0) c Conflicts_4 : 21158
1022.36/653.32	c (32,0) c Conflicts_5 : 25579
1022.36/653.32	c (32,0) c Conflicts_6 : 22536
1022.36/653.32	c (32,0) c Conflicts_7 : 21719
1022.36/653.32	c (32,0) c Conflicts_total : 183495
1022.36/653.32	c (32,0) c Conflicts_winner : 21158
1022.36/653.32	c (32,0) c Decisions_0 : 339234
1022.36/653.32	c (32,0) c Decisions_1 : 315922
1022.36/653.32	c (32,0) c Decisions_2 : 340022
1022.36/653.32	c (32,0) c Decisions_3 : 303930
1022.36/653.32	c (32,0) c Decisions_4 : 318399
1022.36/653.32	c (32,0) c Decisions_5 : 324651
1022.36/653.32	c (32,0) c Decisions_6 : 308745
1022.36/653.32	c (32,0) c Decisions_7 : 307207
1022.36/653.32	c (32,0) c Decisions_total : 2558110
1022.36/653.32	c (32,0) c Decisions_winner : 318399
1022.36/653.32	c (32,0) c Propagations_0 : 72833569
1022.36/653.32	c (32,0) c Propagations_1 : 71669156
1022.36/653.32	c (32,0) c Propagations_2 : 76037647
1022.36/653.32	c (32,0) c Propagations_3 : 74614219
1022.36/653.32	c (32,0) c Propagations_4 : 75004241
1022.36/653.32	c (32,0) c Propagations_5 : 74335672
1022.36/653.32	c (32,0) c Propagations_6 : 75109825
1022.36/653.32	c (32,0) c Propagations_7 : 71500334
1022.36/653.32	c (32,0) c Propagations_total : 591104663
1022.36/653.32	c (32,0) c Propagations_winner : 75004241
1022.36/653.32	c (32,0) c ReduceDBs_0 : 4
1022.36/653.32	c (32,0) c ReduceDBs_1 : 4
1022.36/653.32	c (32,0) c ReduceDBs_2 : 3
1022.36/653.32	c (32,0) c ReduceDBs_3 : 3
1022.36/653.32	c (32,0) c ReduceDBs_4 : 3
1022.36/653.32	c (32,0) c ReduceDBs_5 : 4
1022.36/653.32	c (32,0) c ReduceDBs_6 : 3
1022.36/653.32	c (32,0) c ReduceDBs_7 : 3
1022.36/653.32	c (32,0) c ReduceDBs_total : 27
1022.36/653.32	c (32,0) c ReduceDBs_winner : 3
1022.36/653.32	c (32,0) c SimpDBs_0 : 4
1022.36/653.32	c (32,0) c SimpDBs_1 : 4
1022.36/653.32	c (32,0) c SimpDBs_2 : 3
1022.36/653.32	c (32,0) c SimpDBs_3 : 4
1022.36/653.32	c (32,0) c SimpDBs_4 : 4
1022.36/653.32	c (32,0) c SimpDBs_5 : 4
1022.36/653.32	c (32,0) c SimpDBs_6 : 4
1022.36/653.32	c (32,0) c SimpDBs_7 : 4
1022.36/653.32	c (32,0) c SimpDBs_total : 31
1022.36/653.32	c (32,0) c SimpDBs_winner : 4
1022.36/653.32	c (32,0) c Restarts_0 : 63
1022.36/653.32	c (32,0) c Restarts_1 : 90
1022.36/653.32	c (32,0) c Restarts_2 : 76
1022.36/653.32	c (33,0) c Restarts_3 : 63
1022.36/653.32	c (33,0) c Restarts_4 : 59
1022.36/653.32	c (33,0) c Restarts_5 : 46
1022.36/653.32	c (33,0) c Restarts_6 : 66
1022.36/653.32	c (33,0) c Restarts_7 : 70
1022.36/653.32	c (33,0) c Restarts_total : 533
1022.36/653.32	c (33,0) c Restarts_winner : 59
1022.36/653.32	c (33,0) c ForcedImports_0 : 0
1022.36/653.32	c (33,0) c ForcedImports_1 : 0
1022.36/653.32	c (33,0) c ForcedImports_2 : 0
1022.36/653.32	c (33,0) c ForcedImports_3 : 0
1022.36/653.32	c (33,0) c ForcedImports_4 : 0
1022.36/653.32	c (33,0) c ForcedImports_5 : 0
1022.36/653.32	c (33,0) c ForcedImports_6 : 0
1022.36/653.32	c (33,0) c ForcedImports_7 : 0
1022.36/653.32	c (33,0) c ForcedImports_total : 0
1022.36/653.32	c (33,0) c ForcedImports_winner : 0
1022.36/653.32	c (33,0) c PropsBinClauses_0 : 76441725
1022.36/653.32	c (33,0) c PropsBinClauses_1 : 76451964
1022.36/653.32	c (33,0) c PropsBinClauses_2 : 80616680
1022.36/653.32	c (33,0) c PropsBinClauses_3 : 80567722
1022.36/653.32	c (33,0) c PropsBinClauses_4 : 80124266
1022.36/653.32	c (33,0) c PropsBinClauses_5 : 77923793
1022.36/653.32	c (33,0) c PropsBinClauses_6 : 79254634
1022.36/653.32	c (33,0) c PropsBinClauses_7 : 75575531
1022.36/653.32	c (33,0) c PropsBinClauses_total : 626956315
1022.36/653.32	c (33,0) c PropsBinClauses_winner : 80124266
1022.36/653.32	c (33,0) c PropsPreBlocker_0 : 350008911
1022.36/653.32	c (33,0) c PropsPreBlocker_1 : 348815908
1022.36/653.32	c (33,0) c PropsPreBlocker_2 : 360446638
1022.36/653.32	c (33,0) c PropsPreBlocker_3 : 352079256
1022.36/653.32	c (33,0) c PropsPreBlocker_4 : 353240612
1022.36/653.32	c (33,0) c PropsPreBlocker_5 : 358471699
1022.36/653.32	c (33,0) c PropsPreBlocker_6 : 355088036
1022.36/653.32	c (33,0) c PropsPreBlocker_7 : 337697728
1022.36/653.32	c (33,0) c PropsPreBlocker_total : 2815848788
1022.36/653.32	c (33,0) c PropsPreBlocker_winner : 353240612
1022.36/653.32	c (33,0) c PropsNotBlocker_0 : 123364313
1022.36/653.32	c (33,0) c PropsNotBlocker_1 : 124721451
1022.36/653.32	c (33,0) c PropsNotBlocker_2 : 128613590
1022.36/653.32	c (33,0) c PropsNotBlocker_3 : 119755098
1022.36/653.32	c (33,0) c PropsNotBlocker_4 : 121724072
1022.36/653.32	c (33,0) c PropsNotBlocker_5 : 129829510
1022.36/653.32	c (33,0) c PropsNotBlocker_6 : 124751910
1022.36/653.32	c (33,0) c PropsNotBlocker_7 : 119886363
1022.36/653.32	c (33,0) c PropsNotBlocker_total : 992646307
1022.36/653.32	c (33,0) c PropsNotBlocker_winner : 121724072
1022.36/653.32	c (33,0) c PropsLitFullScans_0 : 762263762
1022.36/653.32	c (33,0) c PropsLitFullScans_1 : 762286106
1022.36/653.32	c (33,0) c PropsLitFullScans_2 : 762228655
1022.36/653.32	c (33,0) c PropsLitFullScans_3 : 762242449
1022.36/653.32	c (33,0) c PropsLitFullScans_4 : 764088039
1022.36/653.32	c (33,0) c PropsLitFullScans_5 : 780284579
1022.36/653.32	c (33,0) c PropsLitFullScans_6 : 780374801
1022.36/653.32	c (33,0) c PropsLitFullScans_7 : 762527191
1022.36/653.32	c (33,0) c PropsLitFullScans_total : 6136295582
1022.36/653.32	c (33,0) c PropsLitFullScans_winner : 764088039
1022.36/653.32	c (33,0) c LitScanFractions_0 : 250909
1022.36/653.32	c (33,0) c LitScanFractions_1 : 236843
1022.36/653.32	c (33,0) c LitScanFractions_2 : 218775
1022.36/653.32	c (33,0) c LitScanFractions_3 : 229015
1022.36/653.32	c (33,0) c LitScanFractions_4 : 324102
1022.36/653.32	c (33,0) c LitScanFractions_5 : 279360
1022.36/653.32	c (33,0) c LitScanFractions_6 : 347420
1022.36/653.32	c (33,0) c LitScanFractions_7 : 344794
1022.36/653.32	c (33,0) c LitScanFractions_total : 2231218
1022.36/653.32	c (33,0) c LitScanFractions_winner : 324102
1022.36/653.32	c (33,0) c DecisionLevel0_0 : 63
1022.36/653.32	c (33,0) c DecisionLevel0_1 : 90
1022.36/653.32	c (33,0) c DecisionLevel0_2 : 77
1022.36/653.32	c (33,0) c DecisionLevel0_3 : 64
1022.36/653.32	c (33,0) c DecisionLevel0_4 : 59
1022.36/653.32	c (33,0) c DecisionLevel0_5 : 46
1022.36/653.32	c (33,0) c DecisionLevel0_6 : 68
1022.36/653.32	c (33,0) c DecisionLevel0_7 : 70
1022.36/653.32	c (33,0) c DecisionLevel0_total : 537
1022.36/653.32	c (33,0) c DecisionLevel0_winner : 59
1022.36/653.32	c (33,0) c Periods_0 : 127
1022.36/653.32	c (33,0) c Periods_1 : 127
1022.36/653.32	c (33,0) c Periods_2 : 127
1022.36/653.32	c (33,0) c Periods_3 : 127
1022.36/653.32	c (33,0) c Periods_4 : 127
1022.36/653.32	c (33,0) c Periods_5 : 130
1022.36/653.32	c (33,0) c Periods_6 : 130
1022.36/653.32	c (33,0) c Periods_7 : 127
1022.36/653.32	c (33,0) c Periods_total : 1022
1022.36/653.32	c (33,0) c Periods_winner : 127
1022.36/653.32	c (33,0) c Margin_0 : 20
1022.36/653.32	c (33,0) c Margin_1 : 20
1022.36/653.32	c (33,0) c Margin_2 : 20
1022.36/653.32	c (33,0) c Margin_3 : 20
1022.36/653.32	c (33,0) c Margin_4 : 20
1022.36/653.32	c (33,0) c Margin_5 : 20
1022.36/653.32	c (33,0) c Margin_6 : 20
1022.36/653.32	c (33,0) c Margin_7 : 20
1022.36/653.32	c (33,0) c Margin_total : 160
1022.36/653.32	c (33,0) c Margin_winner : 20
1022.36/653.32	c (33,0) c Exported_0 : 3254
1022.36/653.32	c (33,0) c Exported_1 : 3467
1022.36/653.32	c (33,0) c Exported_2 : 3469
1022.36/653.32	c (33,0) c Exported_3 : 2809
1022.36/653.32	c (33,0) c Exported_4 : 2694
1022.36/653.32	c (33,0) c Exported_5 : 3560
1022.36/653.32	c (33,0) c Exported_6 : 3033
1022.36/653.33	c (33,0) c Exported_7 : 2845
1022.36/653.33	c (33,0) c Exported_total : 25131
1022.36/653.33	c (33,0) c Exported_winner : 2694
1022.36/653.33	c (33,0) c Imported_0 : 17663
1022.36/653.33	c (33,0) c Imported_1 : 17398
1022.36/653.33	c (33,0) c Imported_2 : 17553
1022.36/653.33	c (33,0) c Imported_3 : 17966
1022.36/653.33	c (33,0) c Imported_4 : 17530
1022.36/653.33	c (33,0) c Imported_5 : 17816
1022.36/653.33	c (33,0) c Imported_6 : 17834
1022.36/653.33	c (33,0) c Imported_7 : 18037
1022.36/653.33	c (33,0) c Imported_total : 141797
1022.36/653.33	c (33,0) c Imported_winner : 17530
1022.36/653.33	c (33,0) c Good_0 : 5684
1022.36/653.33	c (33,0) c Good_1 : 5751
1022.36/653.33	c (33,0) c Good_2 : 5717
1022.36/653.33	c (33,0) c Good_3 : 5763
1022.36/653.33	c (33,0) c Good_4 : 5576
1022.36/653.33	c (33,0) c Good_5 : 5821
1022.36/653.33	c (33,0) c Good_6 : 5666
1022.36/653.33	c (33,0) c Good_7 : 5792
1022.36/653.33	c (33,0) c Good_total : 45770
1022.36/653.33	c (33,0) c Good_winner : 5576
1022.36/653.33	c (33,0) c Purge_0 : 11979
1022.36/653.33	c (33,0) c Purge_1 : 11647
1022.36/653.33	c (33,0) c Purge_2 : 11836
1022.36/653.33	c (33,0) c Purge_3 : 12203
1022.36/653.33	c (33,0) c Purge_4 : 11954
1022.36/653.33	c (33,0) c Purge_5 : 11995
1022.36/653.33	c (33,0) c Purge_6 : 12168
1022.36/653.33	c (33,0) c Purge_7 : 12245
1022.36/653.33	c (33,0) c Purge_total : 96027
1022.36/653.33	c (33,0) c Purge_winner : 11954
1022.36/653.33	c (33,0) c Promoted_0 : 287
1022.36/653.33	c (33,0) c Promoted_1 : 213
1022.36/653.33	c (33,0) c Promoted_2 : 195
1022.36/653.33	c (33,0) c Promoted_3 : 227
1022.36/653.33	c (33,0) c Promoted_4 : 257
1022.36/653.33	c (33,0) c Promoted_5 : 303
1022.36/653.33	c (33,0) c Promoted_6 : 331
1022.36/653.33	c (33,0) c Promoted_7 : 245
1022.36/653.33	c (33,0) c Promoted_total : 2058
1022.36/653.33	c (33,0) c Promoted_winner : 257
1022.36/653.33	c (33,0) c Remove_Imp_0 : 2790
1022.36/653.33	c (33,0) c Remove_Imp_1 : 2020
1022.36/653.33	c (33,0) c Remove_Imp_2 : 0
1022.36/653.33	c (33,0) c Remove_Imp_3 : 0
1022.36/653.33	c (33,0) c Remove_Imp_4 : 0
1022.36/653.33	c (33,0) c Remove_Imp_5 : 766
1022.36/653.33	c (33,0) c Remove_Imp_6 : 0
1022.36/653.33	c (33,0) c Remove_Imp_7 : 0
1022.36/653.33	c (33,0) c Remove_Imp_total : 5576
1022.36/653.33	c (33,0) c Remove_Imp_winner : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_0 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_1 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_2 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_3 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_4 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_5 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_6 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_7 : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_total : 0
1022.36/653.33	c (33,0) c Blocked_Reuse_winner : 0
1022.36/653.33	c (33,0) c Unaries_0 : 0
1022.36/653.33	c (33,0) c Unaries_1 : 0
1022.36/653.33	c (33,0) c Unaries_2 : 1
1022.36/653.33	c (33,0) c Unaries_3 : 1
1022.36/653.33	c (33,0) c Unaries_4 : 0
1022.36/653.33	c (33,0) c Unaries_5 : 0
1022.36/653.33	c (33,0) c Unaries_6 : 2
1022.36/653.33	c (33,0) c Unaries_7 : 0
1022.36/653.33	c (33,0) c Unaries_total : 4
1022.36/653.33	c (33,0) c Unaries_winner : 0
1022.36/653.33	c (33,0) c Binaries_0 : 1039
1022.36/653.33	c (33,0) c Binaries_1 : 914
1022.36/653.33	c (33,0) c Binaries_2 : 1028
1022.36/653.33	c (33,0) c Binaries_3 : 908
1022.36/653.33	c (33,0) c Binaries_4 : 958
1022.36/653.33	c (33,0) c Binaries_5 : 975
1022.36/653.33	c (33,0) c Binaries_6 : 1049
1022.36/653.33	c (33,0) c Binaries_7 : 936
1022.36/653.33	c (33,0) c Binaries_total : 7807
1022.36/653.33	c (33,0) c Binaries_winner : 958
1022.36/653.33	c (33,0) c Glues_0 : 1603
1022.36/653.33	c (33,0) c Glues_1 : 1498
1022.36/653.33	c (33,0) c Glues_2 : 1708
1022.36/653.33	c (33,0) c Glues_3 : 1515
1022.36/653.33	c (33,0) c Glues_4 : 1482
1022.36/653.33	c (33,0) c Glues_5 : 1651
1022.36/653.33	c (33,0) c Glues_6 : 1606
1022.36/653.33	c (33,0) c Glues_7 : 1462
1022.36/653.33	c (33,0) c Glues_total : 12525
1022.36/653.33	c (33,0) c Glues_winner : 1482
1022.36/653.33	c (33,0) c RunningTime_0 : 28.144703
1022.36/653.33	c (33,0) c RunningTime_1 : 26.884612
1022.36/653.33	c (33,0) c RunningTime_2 : 27.720466
1022.36/653.33	c (33,0) c RunningTime_3 : 27.100960
1022.36/653.33	c (33,0) c RunningTime_4 : 26.607158
1022.36/653.33	c (33,0) c RunningTime_5 : 26.645268
1022.36/653.33	c (33,0) c RunningTime_6 : 26.727257
1022.36/653.33	c (33,0) c RunningTime_7 : 27.633890
1022.36/653.33	c (33,0) c RunningTime_total : 217.464314
1022.36/653.33	c (33,0) c RunningTime_winner : 26.607158
1022.36/653.33	c (33,0) c WaitingTime_0 : 0.000211
1022.36/653.33	c (33,0) c WaitingTime_1 : 0.000204
1022.36/653.33	c (33,0) c WaitingTime_2 : 0.000258
1022.36/653.33	c (33,0) c WaitingTime_3 : 0.000257
1022.36/653.33	c (33,0) c WaitingTime_4 : 0.000230
1022.36/653.33	c (33,0) c WaitingTime_5 : 0.000282
1022.36/653.33	c (33,0) c WaitingTime_6 : 0.000364
1022.36/653.33	c (33,0) c WaitingTime_7 : 0.000163
1022.36/653.33	c (33,0) c WaitingTime_total : 0.001969
1022.36/653.33	c (33,0) c WaitingTime_winner : 0.000230
1022.36/653.33	c (33,0) c ExchangingTime_0 : 0.024575
1022.36/653.33	c (33,0) c ExchangingTime_1 : 0.021053
1022.36/653.33	c (33,0) c ExchangingTime_2 : 0.022652
1022.36/653.33	c (33,0) c ExchangingTime_3 : 0.023637
1022.36/653.33	c (33,0) c ExchangingTime_4 : 0.021010
1022.36/653.33	c (33,0) c ExchangingTime_5 : 0.022171
1022.36/653.33	c (33,0) c ExchangingTime_6 : 0.023593
1022.36/653.33	c (33,0) c ExchangingTime_7 : 0.029316
1022.36/653.33	c (33,0) c ExchangingTime_total : 0.188006
1022.36/653.33	c (33,0) c ExchangingTime_winner : 0.021010
1022.36/653.33	c (33,0) c PeriodProcTime_0 : 0.001354
1022.36/653.33	c (33,0) c PeriodProcTime_1 : 0.001258
1022.36/653.33	c (33,0) c PeriodProcTime_2 : 0.001305
1022.36/653.33	c (33,0) c PeriodProcTime_3 : 0.001349
1022.36/653.33	c (33,0) c PeriodProcTime_4 : 0.001312
1022.36/653.33	c (33,0) c PeriodProcTime_5 : 0.001381
1022.36/653.33	c (33,0) c PeriodProcTime_6 : 0.001430
1022.36/653.33	c (33,0) c PeriodProcTime_7 : 0.001393
1022.36/653.33	c (33,0) c PeriodProcTime_total : 0.010782
1022.36/653.33	c (33,0) c PeriodProcTime_winner : 0.001312
1022.36/653.33	c (33,0) c SolvingTime_0 : 28.170843
1022.36/653.33	c (33,0) c SolvingTime_1 : 26.907126
1022.36/653.33	c (33,0) c SolvingTime_2 : 27.744681
1022.36/653.33	c (33,0) c SolvingTime_3 : 27.126202
1022.36/653.33	c (33,0) c SolvingTime_4 : 26.629710
1022.36/653.33	c (33,0) c SolvingTime_5 : 26.669101
1022.36/653.33	c (33,0) c SolvingTime_6 : 26.752644
1022.36/653.33	c (33,0) c SolvingTime_7 : 27.664762
1022.36/653.33	c (33,0) c SolvingTime_total : 217.665071
1022.36/653.33	c (33,0) c SolvingTime_winner : 26.629710
1022.36/653.33	c (33,0) c PropagationTime_0 : 23.636665
1022.36/653.33	c (33,0) c PropagationTime_1 : 22.688459
1022.36/653.33	c (33,0) c PropagationTime_2 : 22.849495
1022.36/653.33	c (33,0) c PropagationTime_3 : 22.126688
1022.36/653.33	c (33,0) c PropagationTime_4 : 21.849756
1022.36/653.33	c (33,0) c PropagationTime_5 : 22.254500
1022.36/653.33	c (33,0) c PropagationTime_6 : 21.801516
1022.36/653.33	c (33,0) c PropagationTime_7 : 22.514880
1022.36/653.33	c (33,0) c PropagationTime_total : 179.721960
1022.36/653.33	c (33,0) c PropagationTime_winner : 21.849756
1022.36/653.33	c (33,0) c AnalysisTime_0 : 1.628453
1022.36/653.33	c (33,0) c AnalysisTime_1 : 1.692019
1022.36/653.33	c (33,0) c AnalysisTime_2 : 1.636379
1022.36/653.33	c (33,0) c AnalysisTime_3 : 1.623914
1022.36/653.33	c (33,0) c AnalysisTime_4 : 1.568685
1022.36/653.33	c (33,0) c AnalysisTime_5 : 1.689723
1022.36/653.33	c (33,0) c AnalysisTime_6 : 1.801722
1022.36/653.33	c (33,0) c AnalysisTime_7 : 2.171604
1022.36/653.33	c (33,0) c AnalysisTime_total : 13.812500
1022.36/653.33	c (33,0) c AnalysisTime_winner : 1.568685
1022.36/653.33	c (33,0) c ReductionTime_0 : 0.013138
1022.36/653.33	c (33,0) c ReductionTime_1 : 0.011351
1022.36/653.33	c (33,0) c ReductionTime_2 : 0.004800
1022.36/653.33	c (33,0) c ReductionTime_3 : 0.006911
1022.36/653.33	c (33,0) c ReductionTime_4 : 0.004752
1022.36/653.33	c (33,0) c ReductionTime_5 : 0.011768
1022.36/653.33	c (33,0) c ReductionTime_6 : 0.006636
1022.36/653.33	c (33,0) c ReductionTime_7 : 0.006254
1022.36/653.33	c (33,0) c ReductionTime_total : 0.065611
1022.36/653.33	c (33,0) c ReductionTime_winner : 0.004752
1022.36/653.33	c (33,0) c SimplifyTime_0 : 0.357666
1022.36/653.33	c (33,0) c SimplifyTime_1 : 0.306526
1022.36/653.33	c (33,0) c SimplifyTime_2 : 0.203343
1022.36/653.33	c (33,0) c SimplifyTime_3 : 0.319731
1022.36/653.33	c (33,0) c SimplifyTime_4 : 0.313637
1022.36/653.33	c (33,0) c SimplifyTime_5 : 0.307651
1022.36/653.33	c (33,0) c SimplifyTime_6 : 0.318295
1022.36/653.33	c (33,0) c SimplifyTime_7 : 0.338986
1022.36/653.33	c (33,0) c SimplifyTime_total : 2.465835
1022.36/653.33	c (33,0) c SimplifyTime_winner : 0.313637
1022.36/653.33	c (33,0) c UsedRateTime_0 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_1 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_2 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_3 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_4 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_5 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_6 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_7 : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_total : 0.000000
1022.36/653.33	c (33,0) c UsedRateTime_winner : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_0 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_1 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_2 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_3 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_4 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_5 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_6 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_7 : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_total : 0.000000
1022.36/653.33	c (33,0) c OverlapRateTime_winner : 0.000000
1022.36/653.33	c (33,0) c
1022.36/653.33	c (33,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
1022.36/653.33	c (33,0) c
1022.36/653.33	c (33,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.33	c (33,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |          6 |          7 |
1022.36/653.33	c (33,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.33	c (33,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |       True |       True |
1022.36/653.33	c (33,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |       True |      False |
1022.36/653.33	c (33,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |      False |      False |
1022.36/653.33	c (33,0) c | Initial random_seed   |  536811162 | 1652502260 |  925452642 | 1857622325 |  375903435 |  686916577 | 1103097599 | 1619102347 |
1022.36/653.33	c (33,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |      False |      False |
1022.36/653.33	c (33,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |          5 |          5 |
1022.36/653.33	c (33,0) c | glureduce             |       True |       True |       True |       True |       True |       True |       True |       True |
1022.36/653.33	c (33,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
1022.36/653.33	c (33,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |        300 |        300 |
1022.36/653.33	c (33,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |      False |      False |
1022.36/653.33	c (33,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |        100 |        100 |
1022.36/653.33	c (33,0) c | var_decay             |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8400 |     0.8500 |     0.8400 |     0.8400 |
1022.36/653.33	c (33,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
1022.36/653.33	c (33,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |      False |      False |
1022.36/653.33	c (33,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |       True |       True |
1022.36/653.33	c (33,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------|
1022.36/653.33	c (33,0) 
1022.36/653.33	c (33,0) s SATISFIABLE
803.81/653.67	c (33,0) SatSolver.solve End
803.81/653.67	c (33,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
803.81/653.67	c (33,0) Show results Begin
1023.49/653.83	c (33,0) x[0][0] = 17
1023.49/653.83	c (33,0) x[0][1] = 0
1023.49/653.83	c (33,0) x[0][2] = 6
1023.49/653.83	c (33,0) x[0][3] = 4
1023.49/653.83	c (33,0) x[0][5] = 15
1023.49/653.83	c (33,0) x[0][6] = 8
1023.49/653.83	c (33,0) x[0][7] = 18
1023.49/653.83	c (33,0) x[0][8] = 19
1023.49/653.83	c (33,0) x[0][9] = 4
1023.49/653.83	c (33,0) x[0][11] = 1
1023.49/653.83	c (33,0) x[0][12] = 4
1023.49/653.83	c (33,0) x[0][13] = 15
1023.49/653.83	c (33,0) x[0][14] = 15
1023.49/653.83	c (33,0) x[0][15] = 20
1023.49/653.83	c (33,0) x[0][17] = 2
1023.49/653.83	c (33,0) x[0][18] = 0
1023.49/653.83	c (33,0) x[0][19] = 4
1023.49/653.83	c (33,0) x[0][20] = 12
1023.49/653.83	c (33,0) x[1][0] = 0
1023.49/653.83	c (33,0) x[1][1] = 1
1023.49/653.83	c (33,0) x[1][2] = 4
1023.49/653.83	c (33,0) x[1][3] = 17
1023.49/653.83	c (33,0) x[1][5] = 18
1023.49/653.83	c (33,0) x[1][6] = 11
1023.49/653.83	c (33,0) x[1][7] = 20
1023.49/653.83	c (33,0) x[1][8] = 17
1023.49/653.83	c (33,0) x[1][9] = 15
1023.49/653.83	c (33,0) x[1][11] = 8
1023.49/653.83	c (33,0) x[1][12] = 23
1023.49/653.83	c (33,0) x[1][13] = 0
1023.49/653.83	c (33,0) x[1][14] = 8
1023.49/653.83	c (33,0) x[1][15] = 19
1023.49/653.83	c (33,0) x[1][17] = 0
1023.49/653.83	c (33,0) x[1][18] = 13
1023.49/653.83	c (33,0) x[1][19] = 6
1023.49/653.83	c (33,0) x[1][20] = 4
1023.49/653.83	c (33,0) x[2][0] = 2
1023.49/653.83	c (33,0) x[2][1] = 0
1023.49/653.83	c (33,0) x[2][2] = 11
1023.49/653.83	c (33,0) x[2][3] = 14
1023.49/653.83	c (33,0) x[2][4] = 19
1023.49/653.83	c (33,0) x[2][5] = 19
1023.49/653.83	c (33,0) x[2][6] = 4
1023.49/653.83	c (33,0) x[2][7] = 17
1023.49/653.83	c (33,0) x[2][8] = 0
1023.49/653.83	c (33,0) x[2][9] = 18
1023.49/653.83	c (33,0) x[2][11] = 18
1023.49/653.83	c (33,0) x[2][12] = 0
1023.49/653.83	c (33,0) x[2][13] = 17
1023.49/653.83	c (33,0) x[2][14] = 2
1023.49/653.83	c (33,0) x[2][15] = 4
1023.49/653.83	c (33,0) x[2][16] = 4
1023.49/653.83	c (33,0) x[2][17] = 13
1023.49/653.83	c (33,0) x[2][18] = 13
1023.49/653.83	c (33,0) x[2][19] = 4
1023.49/653.83	c (33,0) x[2][20] = 18
1023.49/653.83	c (33,0) x[3][0] = 4
1023.49/653.83	c (33,0) x[3][1] = 19
1023.49/653.83	c (33,0) x[3][2] = 20
1023.49/653.83	c (33,0) x[3][3] = 3
1023.49/653.83	c (33,0) x[3][4] = 4
1023.49/653.83	c (33,0) x[3][6] = 18
1023.49/653.83	c (33,0) x[3][7] = 14
1023.49/653.83	c (33,0) x[3][8] = 12
1023.49/653.83	c (33,0) x[3][10] = 12
1023.49/653.83	c (33,0) x[3][11] = 14
1023.49/653.83	c (33,0) x[3][12] = 11
1023.49/653.83	c (33,0) x[3][13] = 19
1023.49/653.83	c (33,0) x[3][14] = 14
1023.49/653.83	c (33,0) x[3][16] = 2
1023.49/653.83	c (33,0) x[3][17] = 14
1023.49/653.83	c (33,0) x[3][18] = 20
1023.49/653.83	c (33,0) x[3][19] = 17
1023.49/653.83	c (33,0) x[3][20] = 18
1023.49/653.83	c (33,0) x[4][2] = 18
1023.49/653.83	c (33,0) x[4][3] = 0
1023.49/653.83	c (33,0) x[4][4] = 11
1023.49/653.83	c (33,0) x[4][5] = 18
1023.49/653.83	c (33,0) x[4][7] = 8
1023.49/653.83	c (33,0) x[4][8] = 0
1023.49/653.83	c (33,0) x[4][9] = 10
1023.49/653.83	c (33,0) x[4][10] = 14
1023.49/653.83	c (33,0) x[4][11] = 20
1023.49/653.83	c (33,0) x[4][12] = 19
1023.49/653.83	c (33,0) x[4][13] = 4
1023.49/653.85	c (33,0) x[4][15] = 9
1023.49/653.85	c (33,0) x[4][16] = 20
1023.49/653.85	c (33,0) x[4][17] = 19
1023.49/653.85	c (33,0) x[4][18] = 0
1023.49/653.85	c (33,0) x[5][0] = 12
1023.49/653.85	c (33,0) x[5][1] = 0
1023.49/653.85	c (33,0) x[5][2] = 8
1023.49/653.85	c (33,0) x[5][4] = 18
1023.49/653.85	c (33,0) x[5][5] = 19
1023.49/653.85	c (33,0) x[5][6] = 4
1023.49/653.85	c (33,0) x[5][7] = 19
1023.49/653.85	c (33,0) x[5][8] = 18
1023.49/653.85	c (33,0) x[5][9] = 14
1023.49/653.85	c (33,0) x[5][10] = 13
1023.49/653.85	c (33,0) x[5][12] = 0
1023.49/653.85	c (33,0) x[5][13] = 13
1023.49/653.85	c (33,0) x[5][14] = 19
1023.49/653.85	c (33,0) x[5][15] = 4
1023.49/653.85	c (33,0) x[5][16] = 18
1023.49/653.85	c (33,0) x[5][18] = 11
1023.49/653.85	c (33,0) x[5][19] = 4
1023.49/653.85	c (33,0) x[5][20] = 12
1023.49/653.85	c (33,0) x[6][0] = 4
1023.49/653.85	c (33,0) x[6][1] = 19
1023.49/653.85	c (33,0) x[6][2] = 4
1023.49/653.85	c (33,0) x[6][3] = 11
1023.49/653.85	c (33,0) x[6][5] = 17
1023.49/653.85	c (33,0) x[6][6] = 14
1023.49/653.85	c (33,0) x[6][7] = 18
1023.49/653.85	c (33,0) x[6][9] = 7
1023.49/653.85	c (33,0) x[6][10] = 14
1023.49/653.85	c (33,0) x[6][11] = 20
1023.49/653.85	c (33,0) x[6][13] = 19
1023.49/653.85	c (33,0) x[6][14] = 0
1023.49/653.85	c (33,0) x[6][15] = 20
1023.49/653.85	c (33,0) x[6][17] = 0
1023.49/653.85	c (33,0) x[6][18] = 8
1023.49/653.85	c (33,0) x[6][19] = 11
1023.49/653.85	c (33,0) x[6][20] = 4
1023.49/653.85	c (33,0) x[7][0] = 18
1023.49/653.85	c (33,0) x[7][1] = 4
1023.49/653.85	c (33,0) x[7][2] = 13
1023.49/653.85	c (33,0) x[7][3] = 4
1023.49/653.85	c (33,0) x[7][4] = 2
1023.49/653.85	c (33,0) x[7][5] = 14
1023.49/653.85	c (33,0) x[7][6] = 13
1023.49/653.85	c (33,0) x[7][8] = 1
1023.49/653.85	c (33,0) x[7][9] = 14
1023.49/653.85	c (33,0) x[7][10] = 18
1023.49/653.85	c (33,0) x[7][11] = 18
1023.49/653.85	c (33,0) x[7][12] = 20
1023.49/653.85	c (33,0) x[7][14] = 20
1023.49/653.85	c (33,0) x[7][15] = 13
1023.49/653.85	c (33,0) x[7][16] = 8
1023.49/653.85	c (33,0) x[7][17] = 18
1023.49/653.85	c (33,0) x[7][18] = 18
1023.49/653.85	c (33,0) x[7][19] = 4
1023.49/653.85	c (33,0) x[7][20] = 25
1023.49/653.85	c (33,0) x[8][0] = 14
1023.49/653.85	c (33,0) x[8][1] = 12
1023.49/653.85	c (33,0) x[8][2] = 13
1023.49/653.85	c (33,0) x[8][3] = 8
1023.49/653.85	c (33,0) x[8][4] = 20
1023.49/653.85	c (33,0) x[8][5] = 12
1023.49/653.85	c (33,0) x[8][7] = 18
1023.49/653.85	c (33,0) x[8][8] = 0
1023.49/653.85	c (33,0) x[8][9] = 11
1023.49/653.85	c (33,0) x[8][11] = 4
1023.49/653.85	c (33,0) x[8][12] = 17
1023.49/653.85	c (33,0) x[8][13] = 18
1023.49/653.85	c (33,0) x[8][15] = 0
1023.49/653.85	c (33,0) x[8][16] = 11
1023.49/653.85	c (33,0) x[8][17] = 15
1023.49/653.85	c (33,0) x[8][18] = 0
1023.49/653.85	c (33,0) x[8][19] = 6
1023.49/653.85	c (33,0) x[8][20] = 4
1023.49/653.85	c (33,0) x[9][0] = 13
1023.49/653.85	c (33,0) x[9][1] = 8
1023.49/653.85	c (33,0) x[9][2] = 4
1023.49/653.85	c (33,0) x[9][4] = 18
1023.49/653.85	c (33,0) x[9][5] = 0
1023.49/653.85	c (33,0) x[9][6] = 25
1023.49/653.85	c (33,0) x[9][7] = 14
1023.49/653.85	c (33,0) x[9][8] = 8
1023.49/653.85	c (33,0) x[9][9] = 18
1023.49/653.85	c (33,0) x[9][11] = 17
1023.49/653.85	c (33,0) x[9][12] = 4
1023.49/653.85	c (33,0) x[9][13] = 0
1023.49/653.85	c (33,0) x[9][14] = 2
1023.49/653.85	c (33,0) x[9][16] = 0
1023.49/653.85	c (33,0) x[9][17] = 17
1023.49/653.85	c (33,0) x[9][18] = 18
1023.49/653.85	c (33,0) x[9][19] = 8
1023.49/653.85	c (33,0) x[9][20] = 18
1023.49/653.85	c (33,0) x[10][3] = 4
1023.49/653.85	c (33,0) x[10][4] = 15
1023.49/653.85	c (33,0) x[10][5] = 18
1023.49/653.85	c (33,0) x[10][6] = 14
1023.49/653.85	c (33,0) x[10][7] = 12
1023.49/653.85	c (33,0) x[10][13] = 12
1023.49/653.85	c (33,0) x[10][14] = 0
1023.49/653.85	c (33,0) x[10][15] = 17
1023.49/653.85	c (33,0) x[10][16] = 8
1023.49/653.85	c (33,0) x[10][17] = 4
1023.49/653.85	c (33,0) x[11][0] = 0
1023.49/653.85	c (33,0) x[11][1] = 1
1023.49/653.85	c (33,0) x[11][2] = 4
1023.49/653.85	c (33,0) x[11][3] = 19
1023.49/653.85	c (33,0) x[11][4] = 8
1023.49/653.85	c (33,0) x[11][6] = 1
1023.49/653.85	c (33,0) x[11][7] = 0
1023.49/653.85	c (33,0) x[11][8] = 19
1023.49/653.85	c (33,0) x[11][9] = 4
1023.49/653.85	c (33,0) x[11][11] = 3
1023.49/653.85	c (33,0) x[11][12] = 14
1023.49/653.85	c (33,0) x[11][13] = 20
1023.49/653.85	c (33,0) x[11][14] = 5
1023.49/653.85	c (33,0) x[11][15] = 4
1023.49/653.85	c (33,0) x[11][16] = 18
1023.49/653.85	c (33,0) x[11][18] = 19
1023.49/653.85	c (33,0) x[11][19] = 19
1023.49/653.85	c (33,0) x[11][20] = 2
1023.49/653.85	c (33,0) x[12][0] = 2
1023.49/653.85	c (33,0) x[12][1] = 0
1023.49/653.85	c (33,0) x[12][2] = 18
1023.49/653.85	c (33,0) x[12][3] = 0
1023.49/653.85	c (33,0) x[12][4] = 3
1023.49/653.85	c (33,0) x[12][5] = 14
1023.49/653.85	c (33,0) x[12][7] = 13
1023.49/653.85	c (33,0) x[12][8] = 4
1023.49/653.85	c (33,0) x[12][9] = 12
1023.49/653.85	c (33,0) x[12][11] = 4
1023.49/653.85	c (33,0) x[12][12] = 20
1023.49/653.85	c (33,0) x[12][13] = 18
1023.49/653.85	c (33,0) x[12][15] = 5
1023.49/653.85	c (33,0) x[12][16] = 4
1023.49/653.85	c (33,0) x[12][17] = 17
1023.49/653.85	c (33,0) x[12][18] = 17
1023.49/653.85	c (33,0) x[12][19] = 8
1023.49/653.85	c (33,0) x[12][20] = 4
1023.49/653.85	c (33,0) x[13][0] = 7
1023.49/653.85	c (33,0) x[13][1] = 8
1023.49/653.85	c (33,0) x[13][2] = 15
1023.49/653.85	c (33,0) x[13][3] = 15
1023.49/653.85	c (33,0) x[13][4] = 4
1023.49/653.85	c (33,0) x[13][5] = 20
1023.49/653.85	c (33,0) x[13][6] = 18
1023.49/653.85	c (33,0) x[13][8] = 19
1023.49/653.85	c (33,0) x[13][9] = 14
1023.49/653.85	c (33,0) x[13][10] = 0
1023.49/653.85	c (33,0) x[13][11] = 18
1023.49/653.85	c (33,0) x[13][12] = 19
1023.49/653.85	c (33,0) x[13][14] = 2
1023.49/653.85	c (33,0) x[13][15] = 14
1023.49/653.85	c (33,0) x[13][16] = 18
1023.49/653.85	c (33,0) x[13][17] = 19
1023.49/653.85	c (33,0) x[13][18] = 0
1023.49/653.85	c (33,0) x[13][19] = 17
1023.49/653.85	c (33,0) x[13][20] = 3
1023.49/653.85	c (33,0) x[14][0] = 4
1023.49/653.85	c (33,0) x[14][1] = 13
1023.49/653.85	c (33,0) x[14][2] = 4
1023.49/653.85	c (33,0) x[14][3] = 4
1023.49/653.85	c (33,0) x[14][5] = 2
1023.49/653.85	c (33,0) x[14][6] = 0
1023.49/653.85	c (33,0) x[14][7] = 14
1023.49/653.85	c (33,0) x[14][9] = 8
1023.49/653.85	c (33,0) x[14][10] = 1
1023.49/653.85	c (33,0) x[14][11] = 13
1023.49/653.85	c (33,0) x[14][13] = 1
1023.49/653.85	c (33,0) x[14][14] = 0
1023.49/653.85	c (33,0) x[14][15] = 20
1023.49/653.85	c (33,0) x[14][17] = 19
1023.49/653.85	c (33,0) x[14][18] = 20
1023.49/653.85	c (33,0) x[14][19] = 0
1023.49/653.85	c (33,0) x[14][20] = 8
1023.49/653.85	c (33,0) x[15][0] = 1
1023.49/653.85	c (33,0) x[15][1] = 4
1023.49/653.85	c (33,0) x[15][2] = 17
1023.49/653.85	c (33,0) x[15][4] = 15
1023.49/653.85	c (33,0) x[15][5] = 7
1023.49/653.85	c (33,0) x[15][6] = 11
1023.49/653.85	c (33,0) x[15][7] = 14
1023.49/653.85	c (33,0) x[15][8] = 23
1023.49/653.85	c (33,0) x[15][10] = 17
1023.49/653.85	c (33,0) x[15][11] = 14
1023.49/653.85	c (33,0) x[15][12] = 18
1023.49/653.85	c (33,0) x[15][13] = 4
1023.49/653.85	c (33,0) x[15][14] = 14
1023.49/653.85	c (33,0) x[15][15] = 11
1023.49/653.85	c (33,0) x[15][16] = 4
1023.49/653.85	c (33,0) x[15][18] = 12
1023.49/653.85	c (33,0) x[15][19] = 19
1023.49/653.85	c (33,0) x[15][20] = 18
1023.49/653.85	c (33,0) x[16][2] = 14
1023.49/653.85	c (33,0) x[16][3] = 19
1023.49/653.85	c (33,0) x[16][4] = 4
1023.49/653.85	c (33,0) x[16][5] = 4
1023.49/653.85	c (33,0) x[16][7] = 11
1023.49/653.85	c (33,0) x[16][8] = 24
1023.49/653.85	c (33,0) x[16][9] = 17
1023.49/653.85	c (33,0) x[16][10] = 8
1023.49/653.85	c (33,0) x[16][11] = 18
1023.49/653.85	c (33,0) x[16][12] = 12
1023.49/653.85	c (33,0) x[16][13] = 4
1023.49/653.85	c (33,0) x[16][15] = 0
1023.49/653.85	c (33,0) x[16][16] = 2
1023.49/653.85	c (33,0) x[16][17] = 17
1023.49/653.85	c (33,0) x[16][18] = 0
1023.49/653.85	c (33,0) x[17][0] = 0
1023.49/653.85	c (33,0) x[17][1] = 6
1023.49/653.85	c (33,0) x[17][2] = 8
1023.49/653.85	c (33,0) x[17][3] = 14
1023.49/653.85	c (33,0) x[17][4] = 18
1023.49/653.85	c (33,0) x[17][6] = 3
1023.49/653.85	c (33,0) x[17][7] = 8
1023.49/653.85	c (33,0) x[17][8] = 18
1023.49/653.85	c (33,0) x[17][9] = 4
1023.49/653.85	c (33,0) x[17][10] = 18
1023.49/653.85	c (33,0) x[17][12] = 14
1023.49/653.85	c (33,0) x[17][13] = 17
1023.49/653.85	c (33,0) x[17][14] = 4
1023.49/653.85	c (33,0) x[17][16] = 17
1023.49/653.85	c (33,0) x[17][17] = 4
1023.49/653.85	c (33,0) x[17][18] = 19
1023.49/653.85	c (33,0) x[17][19] = 17
1023.49/653.85	c (33,0) x[17][20] = 14
1023.49/653.85	c (33,0) x[18][0] = 2
1023.49/653.85	c (33,0) x[18][1] = 0
1023.49/653.85	c (33,0) x[18][2] = 18
1023.49/653.85	c (33,0) x[18][3] = 18
1023.49/653.85	c (33,0) x[18][4] = 14
1023.49/653.85	c (33,0) x[18][5] = 11
1023.49/653.85	c (33,0) x[18][6] = 4
1023.49/653.85	c (33,0) x[18][7] = 19
1023.49/653.85	c (33,0) x[18][8] = 19
1023.49/653.85	c (33,0) x[18][9] = 4
1023.49/653.85	c (33,0) x[18][11] = 0
1023.49/653.85	c (33,0) x[18][12] = 2
1023.49/653.85	c (33,0) x[18][13] = 0
1023.49/653.85	c (33,0) x[18][14] = 11
1023.49/653.85	c (33,0) x[18][15] = 2
1023.49/653.85	c (33,0) x[18][16] = 20
1023.49/653.85	c (33,0) x[18][17] = 11
1023.49/653.85	c (33,0) x[18][18] = 8
1023.49/653.85	c (33,0) x[18][19] = 4
1023.49/653.85	c (33,0) x[18][20] = 18
1023.49/653.85	c (33,0) x[19][0] = 7
1023.49/653.85	c (33,0) x[19][1] = 20
1023.49/653.85	c (33,0) x[19][2] = 4
1023.49/653.85	c (33,0) x[19][3] = 18
1023.49/653.85	c (33,0) x[19][5] = 4
1023.49/653.85	c (33,0) x[19][6] = 2
1023.49/653.85	c (33,0) x[19][7] = 7
1023.49/653.85	c (33,0) x[19][8] = 4
1023.49/653.85	c (33,0) x[19][9] = 17
1023.49/653.85	c (33,0) x[19][11] = 18
1023.49/653.85	c (33,0) x[19][12] = 10
1023.49/653.85	c (33,0) x[19][13] = 8
1023.49/653.85	c (33,0) x[19][14] = 4
1023.49/653.85	c (33,0) x[19][15] = 17
1023.49/653.85	c (33,0) x[19][17] = 20
1023.49/653.85	c (33,0) x[19][18] = 18
1023.49/653.85	c (33,0) x[19][19] = 0
1023.49/653.85	c (33,0) x[19][20] = 18
1023.49/653.85	c (33,0) x[20][0] = 4
1023.49/653.85	c (33,0) x[20][1] = 17
1023.49/653.85	c (33,0) x[20][2] = 18
1023.49/653.85	c (33,0) x[20][3] = 4
1023.49/653.85	c (33,0) x[20][5] = 3
1023.49/653.85	c (33,0) x[20][6] = 8
1023.49/653.85	c (33,0) x[20][7] = 4
1023.49/653.85	c (33,0) x[20][8] = 18
1023.49/653.85	c (33,0) x[20][9] = 0
1023.49/653.85	c (33,0) x[20][11] = 4
1023.49/653.85	c (33,0) x[20][12] = 18
1023.49/653.85	c (33,0) x[20][13] = 19
1023.49/653.85	c (33,0) x[20][14] = 4
1023.49/653.85	c (33,0) x[20][15] = 18
1023.49/653.85	c (33,0) x[20][17] = 18
1023.49/653.85	c (33,0) x[20][18] = 4
1023.49/653.85	c (33,0) x[20][19] = 2
1023.49/653.85	c (33,0) x[20][20] = 20
1023.49/653.85	s SATISFIABLE
1023.49/653.86	v <instantiation>
1023.49/653.86	v     <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][17] x[0][18] x[0][19] x[0][20] x[1][0] x[1][1] x[1][2] x[1][3] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][17] x[1][18] x[1][19] x[1][20] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][6] x[3][7] x[3][8] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[4][2] x[4][3] x[4][4] x[4][5] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][15] x[4][16] x[4][17] x[4][18] x[5][0] x[5][1] x[5][2] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][18] x[5][19] x[5][20] x[6][0] x[6][1] x[6][2] x[6][3] x[6][5] x[6][6] x[6][7] x[6][9] x[6][10] x[6][11] x[6][13] x[6][14] x[6][15] x[6][17] x[6][18] x[6][19] x[6][20] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[9][0] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][11] x[9][12] x[9][13] x[9][14] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][18] x[11][19] x[11][20] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][7] x[12][8] x[12][9] x[12][11] x[12][12] x[12][13] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[14][0] x[14][1] x[14][2] x[14][3] x[14][5] x[14][6] x[14][7] x[14][9] x[14][10] x[14][11] x[14][13] x[14][14] x[14][15] x[14][17] x[14][18] x[14][19] x[14][20] x[15][0] x[15][1] x[15][2] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][18] x[15][19] x[15][20] x[16][2] x[16][3] x[16][4] x[16][5] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][15] x[16][16] x[16][17] x[16][18] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][12] x[17][13] x[17][14] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[19][0] x[19][1] x[19][2] x[19][3] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][17] x[19][18] x[19][19] x[19][20] x[20][0] x[20][1] x[20][2] x[20][3] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][17] x[20][18] x[20][19] x[20][20]</list>
1023.49/653.86	v     <values>17 0 6 4 15 8 18 19 4 1 4 15 15 20 2 0 4 12 0 1 4 17 18 11 20 17 15 8 23 0 8 19 0 13 6 4 2 0 11 14 19 19 4 17 0 18 18 0 17 2 4 4 13 13 4 18 4 19 20 3 4 18 14 12 12 14 11 19 14 2 14 20 17 18 18 0 11 18 8 0 10 14 20 19 4 9 20 19 0 12 0 8 18 19 4 19 18 14 13 0 13 19 4 18 11 4 12 4 19 4 11 17 14 18 7 14 20 19 0 20 0 8 11 4 18 4 13 4 2 14 13 1 14 18 18 20 20 13 8 18 18 4 25 14 12 13 8 20 12 18 0 11 4 17 18 0 11 15 0 6 4 13 8 4 18 0 25 14 8 18 17 4 0 2 0 17 18 8 18 4 15 18 14 12 12 0 17 8 4 0 1 4 19 8 1 0 19 4 3 14 20 5 4 18 19 19 2 2 0 18 0 3 14 13 4 12 4 20 18 5 4 17 17 8 4 7 8 15 15 4 20 18 19 14 0 18 19 2 14 18 19 0 17 3 4 13 4 4 2 0 14 8 1 13 1 0 20 19 20 0 8 1 4 17 15 7 11 14 23 17 14 18 4 14 11 4 12 19 18 14 19 4 4 11 24 17 8 18 12 4 0 2 17 0 0 6 8 14 18 3 8 18 4 18 14 17 4 17 4 19 17 14 2 0 18 18 14 11 4 19 19 4 0 2 0 11 2 20 11 8 4 18 7 20 4 18 4 2 7 4 17 18 10 8 4 17 20 18 0 18 4 17 18 4 3 8 4 18 0 4 18 19 4 18 18 4 2 20</values>
1023.49/653.86	v </instantiation>
1023.49/653.86	c (33,0) Show results End
1023.49/653.86	c (33,0) Heap : 234 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
1023.49/653.86	c (33,0) 33,33,STOP-AFTER(ALL)
1023.49/653.86	c END-Prog: Thu Dec 15 16:04:12 CET 2011

Verifier Data 

OK

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: 16375 MiB (13718 MiB free)
  memory of node 1: 16384 MiB (13864 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392428-1568446375/watcher-4392428-1568446375 -o /tmp/evaluation-result-4392428-1568446375/solver-4392428-1568446375 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323958268-16286 --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-4392428-1568446375.xml 

running on 8 cores: 0-7

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

solver pid=16742, runsolver pid=16739

[startup+0.100107 s]*
/proc/loadavg: 8.40 8.28 8.11 3/212 16764
/proc/meminfo: memFree=28152324/32770688 swapFree=66919992/67108860
[pid=16742] ppid=16739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16742/stat : 16742 (scop.sh) S 16739 16742 16259 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420643859 115843072 349 33554432000 4194304 5098028 140734976743776 140734976741032 140586480878204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31551488 140734976746277 140734976746604 140734976746604 140734976749517 0
/proc/16742/statm: 28282 349 296 221 0 87 0
[pid=16745] ppid=16742 vsize=27314120 memory=103664 CPUtime=0.1 cores=0-7
/proc/16745/stat : 16745 (java) S 16742 16742 16259 0 -1 1077944320 6040 0 0 0 8 2 0 0 20 0 20 0 420643859 27969658880 25916 33554432000 4194304 4196468 140727281662912 140727281645456 140326127103735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
/proc/16745/statm: 6828530 25916 2748 1 0 6790935 0
[pid=16745/tid=16746] ppid=16742 vsize=27314120 memory=1398722017469774279 CPUtime=0.09 cores=0-7
/proc/16745/task/16746/stat : 16746 (java) R 16742 16742 16259 0 -1 4202560 4137 0 0 0 7 2 0 0 20 0 20 0 420643859 27969658880 25916 33554432000 4194304 4196468 140727281662912 140326098930064 140326127125661 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16747] ppid=16742 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/16745/task/16747/stat : 16747 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25916 33554432000 4194304 4196468 140727281662912 140326131346448 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16748] ppid=16742 vsize=27314120 memory=140204447975040 CPUtime=0 cores=0-7
/proc/16745/task/16748/stat : 16748 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25916 33554432000 4194304 4196468 140727281662912 140325914741904 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16749] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16749/stat : 16749 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325913688848 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16750] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16750/stat : 16750 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325912636304 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16751] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16751/stat : 16751 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325911583248 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16752] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16752/stat : 16752 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325544778384 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16753] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16753/stat : 16753 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325543725328 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16754] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16754/stat : 16754 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325542672784 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16755] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16755/stat : 16755 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325252201200 140326127114882 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16756] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16756/stat : 16756 (java) S 16742 16742 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 25982 33554432000 4194304 4196468 140727281662912 140324030637728 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16757] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16757/stat : 16757 (java) S 16742 16742 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 25982 33554432000 4194304 4196468 140727281662912 140323896415472 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16758] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16758/stat : 16758 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 25982 33554432000 4194304 4196468 140727281662912 140323521911248 140326127122331 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16759] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16759/stat : 16759 (java) S 16742 16742 16259 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325251148016 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16760] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16760/stat : 16760 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325250095472 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16761] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16761/stat : 16761 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325249042416 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16762] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16762/stat : 16762 (java) R 16742 16742 16259 0 -1 4202560 246 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325247989872 140326107445696 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16763] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16763/stat : 16763 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 25982 33554432000 4194304 4196468 140727281662912 140323024006112 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16764] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16764/stat : 16764 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643868 27969658880 25982 33554432000 4194304 4196468 140727281662912 140325246938288 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105060 KiB

[startup+0.211356 s]*
/proc/loadavg: 8.40 8.28 8.11 2/212 16764
/proc/meminfo: memFree=28133676/32770688 swapFree=66919992/67108860
[pid=16742] ppid=16739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16742/stat : 16742 (scop.sh) S 16739 16742 16259 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420643859 115843072 349 33554432000 4194304 5098028 140734976743776 140734976741032 140586480878204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31551488 140734976746277 140734976746604 140734976746604 140734976749517 0
/proc/16742/statm: 28282 349 296 221 0 87 0
[pid=16745] ppid=16742 vsize=27314120 memory=121420 CPUtime=0.24 cores=0-7
/proc/16745/stat : 16745 (java) S 16742 16742 16259 0 -1 1077944320 11554 0 0 0 19 5 0 0 20 0 20 0 420643859 27969658880 30355 33554432000 4194304 4196468 140727281662912 140727281645456 140326127103735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
/proc/16745/statm: 6828530 30355 2938 1 0 6790935 0
[pid=16745/tid=16746] ppid=16742 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/16745/task/16746/stat : 16746 (java) R 16742 16742 16259 0 -1 4202560 9282 0 0 0 16 4 0 0 20 0 20 0 420643859 27969658880 30867 33554432000 4194304 4196468 140727281662912 140326098907344 140326127125661 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16747] ppid=16742 vsize=27314120 memory=339 CPUtime=0 cores=0-7
/proc/16745/task/16747/stat : 16747 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140326131346448 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16748] ppid=16742 vsize=27314120 memory=288370580599686784 CPUtime=0 cores=0-7
/proc/16745/task/16748/stat : 16748 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325914741904 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16749] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16749/stat : 16749 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325913688848 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16750] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16750/stat : 16750 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325912636304 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16751] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16751/stat : 16751 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325911583248 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16752] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16752/stat : 16752 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325544778384 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16753] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16753/stat : 16753 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325543725328 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16754] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16754/stat : 16754 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325542672784 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16755] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16755/stat : 16755 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325252201200 140326127114882 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16756] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16756/stat : 16756 (java) S 16742 16742 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 30867 33554432000 4194304 4196468 140727281662912 140324030637728 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16757] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16757/stat : 16757 (java) S 16742 16742 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 30867 33554432000 4194304 4196468 140727281662912 140323896415472 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16758] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16758/stat : 16758 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 30867 33554432000 4194304 4196468 140727281662912 140323521911248 140326127122331 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16759] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16759/stat : 16759 (java) S 16742 16742 16259 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325251148016 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16760] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16760/stat : 16760 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325250095472 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16761] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16761/stat : 16761 (java) S 16742 16742 16259 0 -1 1077944384 140 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325249042416 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16762] ppid=16742 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/16745/task/16762/stat : 16762 (java) S 16742 16742 16259 0 -1 1077944384 474 0 0 0 2 0 0 0 20 0 20 0 420643867 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325247989872 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16763] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16763/stat : 16763 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 30867 33554432000 4194304 4196468 140727281662912 140323024006112 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16764] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16764/stat : 16764 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643868 27969658880 30867 33554432000 4194304 4196468 140727281662912 140325246938288 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 122816 KiB

[startup+0.310945 s]*
/proc/loadavg: 8.40 8.28 8.11 4/212 16764
/proc/meminfo: memFree=28129572/32770688 swapFree=66919992/67108860
[pid=16742] ppid=16739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16742/stat : 16742 (scop.sh) S 16739 16742 16259 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420643859 115843072 349 33554432000 4194304 5098028 140734976743776 140734976741032 140586480878204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31551488 140734976746277 140734976746604 140734976746604 140734976749517 0
/proc/16742/statm: 28282 349 296 221 0 87 0
[pid=16745] ppid=16742 vsize=27314120 memory=127152 CPUtime=0.43 cores=0-7
/proc/16745/stat : 16745 (java) S 16742 16742 16259 0 -1 1077944320 12198 0 0 0 38 5 0 0 20 0 20 0 420643859 27969658880 31788 33554432000 4194304 4196468 140727281662912 140727281645456 140326127103735 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
/proc/16745/statm: 6828530 31788 3018 1 0 6790935 0
[pid=16745/tid=16746] ppid=16742 vsize=27314120 memory=1398722017469774279 CPUtime=0.3 cores=0-7
/proc/16745/task/16746/stat : 16746 (java) R 16742 16742 16259 0 -1 4202560 9689 0 0 0 26 4 0 0 20 0 20 0 420643859 27969658880 31788 33554432000 4194304 4196468 140727281662912 140326098926560 140326127125082 0 4 2 16800973 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16747] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16747/stat : 16747 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140326131346448 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16748] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16748/stat : 16748 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325914741904 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16749] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16749/stat : 16749 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325913688848 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16750] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16750/stat : 16750 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325912636304 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16751] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16751/stat : 16751 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325911583248 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16752] ppid=16742 vsize=27314120 memory=140204308523695 CPUtime=0 cores=0-7
/proc/16745/task/16752/stat : 16752 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325544778384 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16753] ppid=16742 vsize=27314120 memory=140204308526000 CPUtime=0 cores=0-7
/proc/16745/task/16753/stat : 16753 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325543725328 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16754] ppid=16742 vsize=27314120 memory=140204308528304 CPUtime=0 cores=0-7
/proc/16745/task/16754/stat : 16754 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325542672784 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16755] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16755/stat : 16755 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325252201200 140326127114882 0 0 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16756] ppid=16742 vsize=27314120 memory=280408617070480 CPUtime=0 cores=0-7
/proc/16745/task/16756/stat : 16756 (java) S 16742 16742 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 31788 33554432000 4194304 4196468 140727281662912 140324030637728 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16757] ppid=16742 vsize=27314120 memory=280408617068176 CPUtime=0 cores=0-7
/proc/16745/task/16757/stat : 16757 (java) S 16742 16742 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 420643864 27969658880 31788 33554432000 4194304 4196468 140727281662912 140323896415472 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16758] ppid=16742 vsize=27314120 memory=280408617075088 CPUtime=0 cores=0-7
/proc/16745/task/16758/stat : 16758 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 31788 33554432000 4194304 4196468 140727281662912 140323521911248 140326127122331 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16759] ppid=16742 vsize=27314120 memory=280408617016368 CPUtime=0.02 cores=0-7
/proc/16745/task/16759/stat : 16759 (java) S 16742 16742 16259 0 -1 1077944384 432 0 0 0 2 0 0 0 20 0 20 0 420643867 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325251148016 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16760] ppid=16742 vsize=27314120 memory=280408617088912 CPUtime=0 cores=0-7
/proc/16745/task/16760/stat : 16760 (java) S 16742 16742 16259 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325250095472 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16761] ppid=16742 vsize=27314120 memory=280408617095824 CPUtime=0.01 cores=0-7
/proc/16745/task/16761/stat : 16761 (java) S 16742 16742 16259 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 20 0 420643867 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325249042416 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16762] ppid=16742 vsize=27314120 memory=280408617093520 CPUtime=0.07 cores=0-7
/proc/16745/task/16762/stat : 16762 (java) S 16742 16742 16259 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 20 0 420643867 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325247989872 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16763] ppid=16742 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16763/stat : 16763 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420643867 27969658880 31788 33554432000 4194304 4196468 140727281662912 140323024006112 140326127113941 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16764] ppid=16742 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/16745/task/16764/stat : 16764 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643868 27969658880 31788 33554432000 4194304 4196468 140727281662912 140325246938288 140326127114882 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128548 KiB

[startup+0.701107 s]
/proc/loadavg: 8.40 8.28 8.11 2/212 16764
/proc/meminfo: memFree=28123556/32770688 swapFree=66919992/67108860
[pid=16742] ppid=16739 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/16742/stat : 16742 (scop.sh) S 16739 16742 16259 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 420643859 115843072 349 33554432000 4194304 5098028 140734976743776 140734976741032 140586480878204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31551488 140734976746277 140734976746604 140734976746604 140734976749517 0
/proc/16742/statm: 28282 349 296 221 0 87 0
[pid=16745] ppid=16742 vsize=27320392 memory=157008 CPUtime=0.89 cores=0-7
/proc/16745/stat : 16745 (java) S 16742 16742 16259 0 -1 1077944320 18945 0 0 0 82 7 0 0 20 0 20 0 420643859 27976081408 39252 33554432000 4194304 4196468 140727281662912 140727281645456 140326127103735 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
/proc/16745/statm: 6830098 39252 3076 1 0 6791447 0
[pid=16745/tid=16746] ppid=16742 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7
/proc/16745/task/16746/stat : 16746 (java) R 16742 16742 16259 0 -1 4202560 16347 0 0 0 61 6 0 0 20 0 20 0 420643859 27976081408 39252 33554432000 4194304 4196468 140727281662912 140326098926544 140326108497466 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16747] ppid=16742 vsize=27320392 memory=140204308734832 CPUtime=0 cores=0-7
/proc/16745/task/16747/stat : 16747 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27976081408 39252 33554432000 4194304 4196468 140727281662912 140326131346448 140326127113941 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16748] ppid=16742 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/16745/task/16748/stat : 16748 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420643862 27976081408 39252 33554432000 4194304 4196468 140727281662912 140325914741904 140326127113941 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0
[pid=16745/tid=16749] ppid=16742 vsize=27320392 memory=1176 CPUtime=0 cores=0-7
/proc/16745/task/16749/stat : 16749 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420643862 27976081408 39252 33554432000 4194304 4196468 140727281662912 140325913688848 140326127113941 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11345920 140727281664747 140727281665174 140727281665174 140727281668047 0

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

[pid=16836/tid=16839] ppid=16742 vsize=8414124 memory=818 CPUtime=0 cores=0-7
/proc/16836/task/16839/stat : 16839 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972851026448 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16840] ppid=16742 vsize=8414124 memory=822 CPUtime=0 cores=0-7
/proc/16836/task/16840/stat : 16840 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972508858768 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16841] ppid=16742 vsize=8414124 memory=820 CPUtime=0 cores=0-7
/proc/16836/task/16841/stat : 16841 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972507805968 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16842] ppid=16742 vsize=8414124 memory=817 CPUtime=0 cores=0-7
/proc/16836/task/16842/stat : 16842 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972506754192 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16843] ppid=16742 vsize=8414124 memory=144740397908898 CPUtime=0 cores=0-7
/proc/16836/task/16843/stat : 16843 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972505701392 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16844] ppid=16742 vsize=8414124 memory=2020 CPUtime=0 cores=0-7
/proc/16836/task/16844/stat : 16844 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972504648592 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16845] ppid=16742 vsize=8414124 memory=1432 CPUtime=0 cores=0-7
/proc/16836/task/16845/stat : 16845 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972503595792 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16846] ppid=16742 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/16836/task/16846/stat : 16846 (java) S 16742 16742 16259 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420705851 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972319164784 139973024299650 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16847] ppid=16742 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/16836/task/16847/stat : 16847 (java) S 16742 16742 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420705851 8616062976 30543 33554432000 4194304 4196468 140733185858656 139971440665632 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16848] ppid=16742 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16836/task/16848/stat : 16848 (java) S 16742 16742 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420705851 8616062976 30543 33554432000 4194304 4196468 140733185858656 139971306443632 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16849] ppid=16742 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/16836/task/16849/stat : 16849 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139970931939152 139973024307099 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16850] ppid=16742 vsize=8414124 memory=1176 CPUtime=0.09 cores=0-7
/proc/16836/task/16850/stat : 16850 (java) S 16742 16742 16259 0 -1 1077944384 559 0 0 0 9 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972318112624 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16851] ppid=16742 vsize=8414124 memory=2776 CPUtime=0.11 cores=0-7
/proc/16836/task/16851/stat : 16851 (java) S 16742 16742 16259 0 -1 1077944384 429 0 0 0 11 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972317059824 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16852] ppid=16742 vsize=8414124 memory=924 CPUtime=0.1 cores=0-7
/proc/16836/task/16852/stat : 16852 (java) S 16742 16742 16259 0 -1 1077944384 531 0 0 0 10 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972316007024 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16853] ppid=16742 vsize=8414124 memory=1444 CPUtime=0.26 cores=0-7
/proc/16836/task/16853/stat : 16853 (java) S 16742 16742 16259 0 -1 1077944384 595 0 0 0 26 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972314954224 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16854] ppid=16742 vsize=8414124 memory=1764 CPUtime=0 cores=0-7
/proc/16836/task/16854/stat : 16854 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139970434034272 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16855] ppid=16742 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16836/task/16855/stat : 16855 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420705855 8616062976 30543 33554432000 4194304 4196468 140733185858656 139971977538096 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16857] ppid=16742 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/16836/task/16857/stat : 16857 (java) S 16742 16742 16259 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420705937 8616062976 30543 33554432000 4194304 4196468 140733185858656 139972313343040 139973024313113 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16859] ppid=16742 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/16836/task/16859/stat : 16859 (java) S 16742 16742 16259 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 24 0 420705937 8616062976 30543 33554432000 4194304 4196468 140733185858656 139969762934960 139973024310429 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16860] ppid=16742 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16836/task/16860/stat : 16860 (java) S 16742 16742 16259 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420705937 8616062976 30543 33554432000 4194304 4196468 140733185858656 139970031370288 139973024310429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16861] ppid=16742 vsize=8414124 memory=4760 CPUtime=0 cores=0-7
/proc/16836/task/16861/stat : 16861 (java) S 16742 16742 16259 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420705939 8616062976 30543 33554432000 4194304 4196468 140733185858656 139969494507056 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
Current children cumulated CPU time: 1021.8 s
Current children cumulated vsize: 12676988 KiB
Current children cumulated memory: 3992276 KiB

[startup+653.604 s]
/proc/loadavg: 3.62 2.74 4.89 2/218 16870
/proc/meminfo: memFree=24134420/32770688 swapFree=66919992/67108860
[pid=16742] ppid=16739 vsize=113128 memory=1476 CPUtime=801.84 cores=0-7
/proc/16742/stat : 16742 (scop.sh) S 16739 16742 16259 0 -1 4202496 583 295107 0 0 0 0 76715 3469 20 0 1 0 420643859 115843072 369 33554432000 4194304 5098028 140734976743776 140734976740520 140586480878204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31551488 140734976746277 140734976746604 140734976746604 140734976749517 0
/proc/16742/statm: 28282 369 311 221 0 87 0
[pid=16836] ppid=16742 vsize=8414124 memory=211156 CPUtime=1.97 cores=0-7
/proc/16836/stat : 16836 (java) S 16742 16742 16259 0 -1 1077944320 21848 0 0 0 187 10 0 0 20 0 24 0 420705847 8616062976 52789 33554432000 4194304 4196468 140733185858656 140733185841200 139973024288503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
/proc/16836/statm: 2103531 52789 3227 1 0 2064875 0
[pid=16836/tid=16837] ppid=16742 vsize=8414124 memory=48304 CPUtime=0.92 cores=0-7
/proc/16836/task/16837/stat : 16837 (java) S 16742 16742 16259 0 -1 1077944384 17504 0 0 0 85 7 0 0 20 0 24 0 420705848 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972996128672 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16838] ppid=16742 vsize=8414124 memory=1556 CPUtime=0 cores=0-7
/proc/16836/task/16838/stat : 16838 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139973028530832 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16839] ppid=16742 vsize=8414124 memory=9588 CPUtime=0 cores=0-7
/proc/16836/task/16839/stat : 16839 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972851026448 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16840] ppid=16742 vsize=8414124 memory=1712 CPUtime=0 cores=0-7
/proc/16836/task/16840/stat : 16840 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972508858768 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16841] ppid=16742 vsize=8414124 memory=5980 CPUtime=0 cores=0-7
/proc/16836/task/16841/stat : 16841 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972507805968 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16842] ppid=16742 vsize=8414124 memory=4164 CPUtime=0 cores=0-7
/proc/16836/task/16842/stat : 16842 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972506754192 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16843] ppid=16742 vsize=8414124 memory=1056 CPUtime=0 cores=0-7
/proc/16836/task/16843/stat : 16843 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972505701392 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16844] ppid=16742 vsize=8414124 memory=2828 CPUtime=0 cores=0-7
/proc/16836/task/16844/stat : 16844 (java) S 16742 16742 16259 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972504648592 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16845] ppid=16742 vsize=8414124 memory=1176 CPUtime=0 cores=0-7
/proc/16836/task/16845/stat : 16845 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705849 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972503595792 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16846] ppid=16742 vsize=8414124 memory=980 CPUtime=0 cores=0-7
/proc/16836/task/16846/stat : 16846 (java) S 16742 16742 16259 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 420705851 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972319164784 139973024299650 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16847] ppid=16742 vsize=8414124 memory=14008 CPUtime=0 cores=0-7
/proc/16836/task/16847/stat : 16847 (java) S 16742 16742 16259 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420705851 8616062976 52789 33554432000 4194304 4196468 140733185858656 139971440665632 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16848] ppid=16742 vsize=8414124 memory=280408618900960 CPUtime=0 cores=0-7
/proc/16836/task/16848/stat : 16848 (java) S 16742 16742 16259 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 420705851 8616062976 52789 33554432000 4194304 4196468 140733185858656 139971306443632 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16849] ppid=16742 vsize=8414124 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/16836/task/16849/stat : 16849 (java) S 16742 16742 16259 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139970931939152 139973024307099 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16850] ppid=16742 vsize=8414124 memory=6944656592387989600 CPUtime=0.14 cores=0-7
/proc/16836/task/16850/stat : 16850 (java) S 16742 16742 16259 0 -1 1077944384 758 0 0 0 14 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972318112624 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16851] ppid=16742 vsize=8414124 memory=301794158494852583 CPUtime=0.15 cores=0-7
/proc/16836/task/16851/stat : 16851 (java) S 16742 16742 16259 0 -1 1077944384 450 0 0 0 15 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972317059824 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16852] ppid=16742 vsize=8414124 memory=6656426216303648864 CPUtime=0.17 cores=0-7
/proc/16836/task/16852/stat : 16852 (java) R 16742 16742 16259 0 -1 4202560 545 0 0 0 17 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972316007320 139973007673443 0 4 2 25189581 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16853] ppid=16742 vsize=8414124 memory=1964 CPUtime=0.31 cores=0-7
/proc/16836/task/16853/stat : 16853 (java) S 16742 16742 16259 0 -1 1077944384 1085 0 0 0 31 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972314954224 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16854] ppid=16742 vsize=8414124 memory=2776 CPUtime=0 cores=0-7
/proc/16836/task/16854/stat : 16854 (java) S 16742 16742 16259 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139970434034272 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16855] ppid=16742 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/16836/task/16855/stat : 16855 (java) S 16742 16742 16259 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 420705855 8616062976 52789 33554432000 4194304 4196468 140733185858656 139971977538096 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16857] ppid=16742 vsize=8414124 memory=1444 CPUtime=0 cores=0-7
/proc/16836/task/16857/stat : 16857 (java) S 16742 16742 16259 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420705937 8616062976 52789 33554432000 4194304 4196468 140733185858656 139972313343040 139973024313113 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16859] ppid=16742 vsize=8414124 memory=1764 CPUtime=0.21 cores=0-7
/proc/16836/task/16859/stat : 16859 (java) R 16742 16742 16259 0 -1 4202560 88 0 0 0 20 1 0 0 20 0 24 0 420705937 8616062976 52789 33554432000 4194304 4196468 140733185858656 139969762941736 139972526922541 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16860] ppid=16742 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/16836/task/16860/stat : 16860 (java) S 16742 16742 16259 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 420705937 8616062976 52789 33554432000 4194304 4196468 140733185858656 139970031370288 139973024310429 0 4 2 25189581 18446744071580971376 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16861] ppid=16742 vsize=8414124 memory=800 CPUtime=0 cores=0-7
/proc/16836/task/16861/stat : 16861 (java) S 16742 16742 16259 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420705939 8616062976 52789 33554432000 4194304 4196468 140733185858656 139969494507056 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
Current children cumulated CPU time: 803.81 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 212632 KiB

[startup+653.801 s]
/proc/loadavg: 3.62 2.74 4.89 2/218 16870
/proc/meminfo: memFree=24134420/32770688 swapFree=66919992/67108860
[pid=16742] ppid=16739 vsize=113128 memory=1476 CPUtime=801.84 cores=0-7
/proc/16742/stat : 16742 (scop.sh) S 16739 16742 16259 0 -1 4202496 583 295107 0 0 0 0 76715 3469 20 0 1 0 420643859 115843072 369 33554432000 4194304 5098028 140734976743776 140734976740520 140586480878204 0 65536 4100 81923 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 31551488 140734976746277 140734976746604 140734976746604 140734976749517 0
/proc/16742/statm: 28282 369 311 221 0 87 0
[pid=16836] ppid=16742 vsize=8283048 memory=227592 CPUtime=221.65 cores=0-7
/proc/16836/stat : 16836 (java) S 16742 16742 16259 0 -1 1077944320 22305 2760181 0 0 224 12 21266 663 20 0 22 0 420705847 8481841152 56898 33554432000 4194304 4196468 140733185858656 140733185841200 139973024288503 0 0 2 25189581 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
/proc/16836/statm: 2070762 56898 3233 1 0 2032106 0
[pid=16836/tid=16837] ppid=16742 vsize=8283048 memory=4760 CPUtime=220.33 cores=0-7
/proc/16836/task/16837/stat : 16837 (java) R 16742 16742 16259 0 -1 4202560 17722 2760181 0 0 97 7 21266 663 20 0 22 0 420705848 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972996124352 139973005694792 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16838] ppid=16742 vsize=8283048 memory=1412 CPUtime=219.29 cores=0-7
/proc/16836/task/16838/stat : 16838 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139973028530832 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16839] ppid=16742 vsize=8283048 memory=3716 CPUtime=219.29 cores=0-7
/proc/16836/task/16839/stat : 16839 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972851026448 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16840] ppid=16742 vsize=8283048 memory=1476 CPUtime=219.29 cores=0-7
/proc/16836/task/16840/stat : 16840 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972508858768 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16841] ppid=16742 vsize=8283048 memory=4100 CPUtime=219.29 cores=0-7
/proc/16836/task/16841/stat : 16841 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972507805968 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16842] ppid=16742 vsize=8283048 memory=12028 CPUtime=219.29 cores=0-7
/proc/16836/task/16842/stat : 16842 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972506754192 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16843] ppid=16742 vsize=8283048 memory=26076 CPUtime=219.29 cores=0-7
/proc/16836/task/16843/stat : 16843 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972505701392 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16844] ppid=16742 vsize=8283048 memory=2120 CPUtime=219.29 cores=0-7
/proc/16836/task/16844/stat : 16844 (java) S 16742 16742 16259 0 -1 1077944384 2 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972504648592 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16845] ppid=16742 vsize=8283048 memory=496 CPUtime=219.29 cores=0-7
/proc/16836/task/16845/stat : 16845 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705849 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972503595792 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16846] ppid=16742 vsize=8283048 memory=1560 CPUtime=219.29 cores=0-7
/proc/16836/task/16846/stat : 16846 (java) S 16742 16742 16259 0 -1 1077944384 9 2760181 0 0 0 0 21266 663 20 0 22 0 420705851 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972319164784 139973024299650 0 0 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16847] ppid=16742 vsize=8283048 memory=928 CPUtime=219.29 cores=0-7
/proc/16836/task/16847/stat : 16847 (java) S 16742 16742 16259 0 -1 1077944384 13 2760181 0 0 0 0 21266 663 20 0 22 0 420705851 8481841152 56898 33554432000 4194304 4196468 140733185858656 139971440665632 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16848] ppid=16742 vsize=8283048 memory=1724 CPUtime=219.29 cores=0-7
/proc/16836/task/16848/stat : 16848 (java) S 16742 16742 16259 0 -1 1077944384 21 2760181 0 0 0 0 21266 663 20 0 22 0 420705851 8481841152 56898 33554432000 4194304 4196468 140733185858656 139971306443632 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16849] ppid=16742 vsize=8283048 memory=122172 CPUtime=219.29 cores=0-7
/proc/16836/task/16849/stat : 16849 (java) S 16742 16742 16259 0 -1 1077944384 1 2760181 0 0 0 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139970931939152 139973024307099 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16850] ppid=16742 vsize=8283048 memory=3868676 CPUtime=219.48 cores=0-7
/proc/16836/task/16850/stat : 16850 (java) S 16742 16742 16259 0 -1 1077944384 778 2760181 0 0 19 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972318112624 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16851] ppid=16742 vsize=8283048 memory=1656 CPUtime=219.46 cores=0-7
/proc/16836/task/16851/stat : 16851 (java) S 16742 16742 16259 0 -1 1077944384 470 2760181 0 0 17 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972317059824 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16852] ppid=16742 vsize=8283048 memory=1398722017469774279 CPUtime=219.49 cores=0-7
/proc/16836/task/16852/stat : 16852 (java) S 16742 16742 16259 0 -1 1077944384 569 2760181 0 0 20 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972316007024 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16853] ppid=16742 vsize=8283048 memory=4126316290023845779 CPUtime=219.67 cores=0-7
/proc/16836/task/16853/stat : 16853 (java) S 16742 16742 16259 0 -1 1077944384 1240 2760181 0 0 38 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972314954224 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16854] ppid=16742 vsize=8283048 memory=2828 CPUtime=219.29 cores=0-7
/proc/16836/task/16854/stat : 16854 (java) S 16742 16742 16259 0 -1 1077944384 3 2760181 0 0 0 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139970434034272 139973024298709 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16855] ppid=16742 vsize=8283048 memory=1176 CPUtime=219.29 cores=0-7
/proc/16836/task/16855/stat : 16855 (java) S 16742 16742 16259 0 -1 1077944384 5 2760181 0 0 0 0 21266 663 20 0 22 0 420705855 8481841152 56898 33554432000 4194304 4196468 140733185858656 139971977538096 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 6 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16857] ppid=16742 vsize=8283048 memory=980 CPUtime=219.29 cores=0-7
/proc/16836/task/16857/stat : 16857 (java) S 16742 16742 16259 0 -1 1077944384 24 2760181 0 0 0 0 21266 663 20 0 22 0 420705937 8481841152 56898 33554432000 4194304 4196468 140733185858656 139972313342224 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
[pid=16836/tid=16861] ppid=16742 vsize=8283048 memory=14008 CPUtime=219.29 cores=0-7
/proc/16836/task/16861/stat : 16861 (java) S 16742 16742 16259 0 -1 1077944384 13 2760181 0 0 0 0 21266 663 20 0 22 0 420705939 8481841152 56898 33554432000 4194304 4196468 140733185858656 139969494508848 139973024299650 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10768384 140733185864695 140733185864854 140733185864854 140733185867727 0
Current children cumulated CPU time: 1023.49 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 229068 KiB

Child status: 0
Real time (s): 653.896
CPU time (s): 1023.7
CPU user time (s): 982.195
CPU system time (s): 41.5004
CPU usage (%): 156.553
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 18056492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 982.195
system time used= 41.5004
maximum resident set size= 18055672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3079394
page faults= 0
swaps= 0
block input operations= 8
block output operations= 247712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 281413
involuntary context switches= 4503


# summary of solver processes directly reported to runsolver:
#   pid: 16742
#   total CPU time (s): 1023.7
#   total CPU user time (s): 982.195
#   total CPU system time (s): 41.5004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58456 second user time and 7.03518 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-15 15:53:18
IDJOB=4392428
IDBENCH=139944
IDSOLVER=2838
FILE ID=node120/4392428-1568446375
RUNJOBID= node120-1323958268-16286
PBS_JOBID= 21702347
Free space on /tmp= 61648 MiB

SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/Crossword/Crossword-m1c-ogd-herald/Crossword-m1c-ogd-h2107.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392428-1568446375/watcher-4392428-1568446375 -o /tmp/evaluation-result-4392428-1568446375/solver-4392428-1568446375 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node120-1323958268-16286 --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-4392428-1568446375.xml

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

MD5SUM BENCH= 495794a1d12b922029631b8ffbf13f9b
RANDOM SEED=336426199

node120.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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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.49
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
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		: 2667.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	: 5329.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        28244712 kB
MemAvailable:   31826540 kB
Buffers:          203272 kB
Cached:          3683656 kB
SwapCached:        77548 kB
Active:          1111944 kB
Inactive:        2858228 kB
Active(anon):       5272 kB
Inactive(anon):   127612 kB
Active(file):    1106672 kB
Inactive(file):  2730616 kB
Unevictable:      107500 kB
Mlocked:          107500 kB
SwapTotal:      67108860 kB
SwapFree:       66919992 kB
Dirty:             23644 kB
Writeback:             0 kB
AnonPages:        157024 kB
Mapped:            48956 kB
Shmem:             41008 kB
Slab:             149716 kB
SReclaimable:     120748 kB
SUnreclaim:        28968 kB
KernelStack:        3728 kB
PageTables:         5336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:     515504 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 61628 MiB
End job on node120 at 2011-12-15 16:04:12