Trace number 4392678

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Fun-sCOP hybrid+ManyGlucose (2019-06-15)SAT 456.381 367.045

General information on the benchmark

NameMagicSequence/MagicSequence-count-s1/
MagicSequence-600-co.xml
MD5SUMc8310886daa61c46dd98a045c4929b4c
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 benchmark7.06352
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of constraints602
Number of domains1
Minimum domain size600
Maximum domain size600
Distribution of domain sizes[{"size":600,"count":600}]
Minimum variable degree602
Maximum variable degree602
Distribution of variable degrees[{"degree":602,"count":600}]
Minimum constraint arity600
Maximum constraint arity600
Distribution of constraint arities[{"arity":600,"count":602}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"count","count":600}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-14889-serial-file.bin HOME/instance-4392678-1568421985.xml
0.66/0.54	
0.66/0.54	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
0.66/0.54	
0.66/0.57	c BEGIN-Prog: Sat Sep 14 01:36:09 CEST 2019
0.66/0.57	c PID: 14892
0.66/0.57	c IP: 172.20.3.104
0.66/0.57	c HOST: node104.alineos.net
0.66/0.58	c (0,0) Parsing Begin
3.30/1.63	c (1,1) Parsing End
3.30/1.64	c (1,1) CSP: 600 int (0 aux), 0 bool (0 aux), 602 ctr, max domain size 600
3.30/1.64	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.30/1.64	c (1,1) Constraint Name Generate Begin
3.50/1.77	c (1,1) Ctr:HOME/instance-4392678-1568421985.xml,Count:Num:Var:WeightedSum
3.50/1.77	c (1,1) Constraint Name Generate End
3.50/1.77	c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB)
3.50/1.77	c (1,1) CSP to CSPinCNF Begin
23.20/17.28	c (16,16) translated 61 (10%) constraints
39.02/31.34	c (30,30) translated 121 (20%) constraints
55.88/45.53	c (44,44) translated 181 (30%) constraints
71.96/59.51	c (58,57) translated 241 (40%) constraints
88.33/73.41	c (72,71) translated 301 (50%) constraints
105.05/87.60	c (87,85) translated 362 (60%) constraints
119.32/101.24	c (100,98) translated 422 (70%) constraints
134.36/114.98	c (114,112) translated 482 (80%) constraints
149.51/128.72	c (128,125) translated 542 (90%) constraints
163.82/142.39	c (141,139) translated 602 (100%) constraints
164.17/142.61	c (142,139) ===========================================
164.52/142.96	c (142,139) Hybrid: #OE=0, #LE=360600
164.52/142.96	c (142,139) Hybrid
164.52/142.96	c (142,139) ===========================================
174.00/150.42	c (149,147) translated 72061 (10%) constraints
182.43/157.59	c (157,154) translated 144121 (20%) constraints
189.51/164.51	c (163,161) translated 216181 (30%) constraints
198.39/171.42	c (170,167) translated 288241 (40%) constraints
207.27/178.37	c (177,174) translated 360301 (50%) constraints
213.98/185.06	c (184,181) translated 432362 (60%) constraints
222.93/191.96	c (191,187) translated 504422 (70%) constraints
229.55/198.55	c (198,194) translated 576482 (80%) constraints
238.43/205.40	c (204,200) translated 648542 (90%) constraints
247.40/212.34	c (211,207) translated 720602 (100%) constraints
247.50/212.47	c (211,207) CSP to CSPinCNF End
247.81/212.72	c (212,207) CSP: 301 int (0 aux), 720299 bool (720000 aux), 1441204 ctr, max domain size 600
247.81/212.72	c (212,207) Heap : 3694 MiB used (max 22246 MiB), NonHeap : 27 MiB used (max 0 MiB)
247.81/212.72	c (212,207) CSPinCNF Propagation Begin
378.09/325.55	c (324,318) 710162 values, 1420460 unsatisfiable literals, and 1420460 valid clauses are removed
378.09/325.55	c (324,318) CSPinCNF Propagation End
378.39/325.89	c (325,318) CSP: 301 int (0 aux), 720299 bool (720000 aux), 20744 ctr, max domain size 600
378.39/325.89	c (325,318) Heap : 3173 MiB used (max 22149 MiB), NonHeap : 27 MiB used (max 0 MiB)
378.75/326.14	c (325,318) Hybrid: #OE=360000, #LE=360600
378.75/326.14	c (325,318) Simplify CSPinCNF Begin
379.58/326.55	c (326,319) Simplify CSPinCNF End
379.88/326.89	c (326,319) CSP: 301 int (0 aux), 728269 bool (727970 aux), 28714 ctr, max domain size 600
379.88/326.89	c (326,319) Heap : 3443 MiB used (max 22149 MiB), NonHeap : 28 MiB used (max 0 MiB)
379.88/326.89	c (326,319) Calculate Precise Domain Begin
379.88/326.89	c (326,319) 0 values are removed by re-calculation
379.88/326.89	c (326,319) Calculate Precise Domain End
380.28/327.24	c (326,320) CSP: 301 int (0 aux), 728269 bool (727970 aux), 28714 ctr, max domain size 600
380.28/327.24	c (326,320) Heap : 3443 MiB used (max 22149 MiB), NonHeap : 28 MiB used (max 0 MiB)
380.28/327.24	c (326,320) CSPinCNF to SatSolver Begin
388.06/332.97	c (332,325) 2872 (10 %) CSP clauses are encoded (0 SAT variables, 2175153 SAT clauses)
389.68/333.64	c (333,326) 5743 (20 %) CSP clauses are encoded (0 SAT variables, 2456057 SAT clauses)
391.14/334.23	c (333,326) 8615 (30 %) CSP clauses are encoded (0 SAT variables, 2735702 SAT clauses)
394.08/334.82	c (334,327) 11486 (40 %) CSP clauses are encoded (0 SAT variables, 2844066 SAT clauses)
394.45/335.06	c (334,327) 14357 (50 %) CSP clauses are encoded (0 SAT variables, 2913351 SAT clauses)
395.04/335.29	c (334,327) 17229 (60 %) CSP clauses are encoded (0 SAT variables, 2962371 SAT clauses)
395.48/336.04	c (335,327) 20100 (70 %) CSP clauses are encoded (0 SAT variables, 3003558 SAT clauses)
395.77/336.31	c (335,328) 22972 (80 %) CSP clauses are encoded (0 SAT variables, 3041065 SAT clauses)
396.08/336.65	c (336,328) 25843 (90 %) CSP clauses are encoded (0 SAT variables, 3075609 SAT clauses)
412.34/346.32	c (345,336) 28714 (100 %) CSP clauses are encoded (0 SAT variables, 6517885 SAT clauses)
416.59/351.31	c (350,340) CSPinCNF to SatSolver End
416.59/351.31	c (350,340) Heap : 7571 MiB used (max 22089 MiB), NonHeap : 32 MiB used (max 0 MiB)
416.59/351.31	c (350,340) 3018333 bool, 8506781 clause
416.59/351.31	c (350,340) Export Begin
417.09/351.50	c (350,341) Export to HOME/scop-14889-serial-file.bin
417.09/351.50	c (350,341) Export End
417.09/351.50	c (350,341) Export File Size: 0.27 MB
417.09/351.50	c (350,341) 1,1,212,325,326,326,350,STOP-AFTER(DIMACS)
417.09/351.50	c END-Prog: Sat Sep 14 01:42:00 CEST 2019
417.09/351.56	c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-14889-serial-file.bin
417.74/352.03	c (0,0) Read Serial File Begin
417.74/352.03	c (0,0) HOME/scop-14889-serial-file.bin
418.32/352.34	c (0,0) Read Serial File End
418.32/352.36	
418.32/352.36	Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15)
418.32/352.36	(Solving Process)
418.32/352.36	
418.32/352.38	c BEGIN-Prog: Sat Sep 14 01:42:00 CEST 2019
418.32/352.38	c PID: 14942
418.32/352.38	c IP: 172.20.3.104
418.32/352.38	c HOST: node104.alineos.net
418.32/352.38	c (0,0) SatSolver.solve Begin
418.32/352.38	c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392678-1568421985.xml-scop-14892.cnf
418.64/352.41	c (0,0) c
418.64/352.41	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)
418.64/352.41	c (0,0) c
418.64/352.41	c (0,0) c WARNING: for repeatability, setting FPU to use double precision
418.64/352.41	c (0,0) c 8 solvers engines and 1 companion as a blackboard created.
418.64/352.41	c (0,0) c ========================================[ Problem Statistics ]===========================================
418.64/352.41	c (0,0) c |                                                                                                       |
422.66/356.39	c (4,0) c |  Number of variables:       3018333                                                                   |
422.66/356.39	c (4,0) c |  Number of clauses:         8505756                                                                   |
422.66/356.39	c (4,0) c |  Parse time:                   3.59 s                                                                 |
422.66/356.39	c (4,0) c |                                                                                                       |
423.76/357.44	c (5,0) c | Too many clauses... No preprocessing                                                                  |
423.76/357.44	c (5,0) c |  Simplification time:          0.94 s                                                                 |
423.76/357.44	c (5,0) c |                                                                                                       |
423.76/357.44	c (5,0) c |  One Solver is taking   1248.93Mb... Let's take   6 solvers for this run (max 40% of the maxmemory).  |
423.76/357.44	c (5,0) c |  Generating clones                                                                                    |
426.96/360.62	c (8,0) c |  all clones generated. Memory =  6076.11Mb.                                                           |
426.96/360.62	c (8,0) c ========================================================================================================|
426.96/360.62	c (8,0) c
426.96/360.62	c (8,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
426.96/360.62	c (8,0) c
426.96/360.62	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
426.96/360.62	c (8,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |
426.96/360.62	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
426.96/360.62	c (8,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |
426.96/360.62	c (8,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |
426.96/360.62	c (8,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |
426.96/360.62	c (8,0) c | Initial random_seed   |   91648253 |   91648254 |   91648255 |   91648256 |   91648257 |   91648258 |
426.96/360.62	c (8,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |
426.96/360.62	c (8,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |
426.96/360.62	c (8,0) c | glureduce             |       True |       True |       True |       True |       True |       True |
426.96/360.62	c (8,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
426.96/360.62	c (8,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |
426.96/360.62	c (8,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |
426.96/360.62	c (8,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |
426.96/360.62	c (8,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
426.96/360.62	c (8,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
426.96/360.62	c (8,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |
426.96/360.62	c (8,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |
426.96/360.62	c (8,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
453.79/365.41	c (13,0) c
453.79/365.41	c (13,0) c real time : 13.0029 s
453.79/365.41	c (13,0) c cpu time  : 31.7598 s
453.79/365.41	c (13,0) c
453.79/365.41	c (13,0) c
453.79/365.41	c (13,0) c
453.79/365.41	c (13,0) c |---------------------------------------- FINAL STATS --------------------------------------------------|
453.79/365.41	c (13,0) c
453.79/365.41	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.41	c (13,0) c | Threads       |      Total      |          0 |          1 |          2 |          3 |          4 |          5 |
453.79/365.41	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.41	c (13,0) c | Conflicts     |             410 |         55 |         66 |         97 |         68 |         61 |         63 |
453.79/365.41	c (13,0) c | Decisions     |          956053 |        426 |        780 |       3689 |        889 |       2334 |     947935 |
453.79/365.41	c (13,0) c | Propagations  |        61801806 |   10923812 |    9793107 |    7972640 |   12983856 |   11678087 |    8450304 |
453.79/365.41	c (13,0) c | ReduceDBs     |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | SimpDBs       |               6 |          1 |          1 |          1 |          1 |          1 |          1 |
453.79/365.41	c (13,0) c | Restarts      |               6 |          1 |          1 |          1 |          1 |          1 |          1 |
453.79/365.41	c (13,0) c | ForcedImports |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | PropBinClauses|        15912946 |    2902709 |    2581775 |    2088979 |    3378494 |    2484582 |    2476407 |
453.79/365.41	c (13,0) c | PropPreBlocker|       183710538 |   31437841 |   28284112 |   25570929 |   36755666 |   33399792 |   28262198 |
453.79/365.41	c (13,0) c | PropNotBlocker|        92827472 |   14456083 |   15904152 |   13124840 |   16243587 |   15040235 |   18058575 |
453.79/365.41	c (13,0) c | LitFullScans  |       636718014 |   72989268 |   60171112 |  170021883 |   85789347 |  182868504 |   64877900 |
453.79/365.41	c (13,0) c | LitScanFracts |        46226925 |     923752 |     169225 |   17629012 |    1778002 |   25499045 |     227889 |
453.79/365.41	c (13,0) c | DecisionLevel0|              10 |          3 |          1 |          1 |          3 |          1 |          1 |
453.79/365.41	c (13,0) c | Periods       |              97 |         12 |         10 |         25 |         14 |         26 |         10 |
453.79/365.41	c (13,0) c | Margin        |             120 |         20 |         20 |         20 |         20 |         20 |         20 |
453.79/365.41	c (13,0) c | Avg_Trail     |                 |     589837 |     913195 |     688385 |     596999 |     644105 |     593357 |
453.79/365.41	c (13,0) c | Avg_DL        |                 |        323 |        150 |        598 |        335 |        945 |       3004 |
453.79/365.41	c (13,0) c | Avg_Res       |                 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | Avg_Res_Seen  |                 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.41	c (13,0) c | Exported      |              15 |          1 |          4 |          3 |          1 |          1 |          5 |
453.79/365.41	c (13,0) c | Imported      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | Good          |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | Purge         |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | Promoted      |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | Remove_Imp    |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c | Blocked_Reuse |               0 |          0 |          0 |          0 |          0 |          0 |          0 |
453.79/365.41	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.41	c (13,0) c | Unaries       |                 |          2 |          0 |          0 |          2 |          0 |          0 |
453.79/365.41	c (13,0) c | Binaries      |                 |          0 |          4 |          2 |          0 |          1 |          4 |
453.79/365.42	c (13,0) c | Glues         |                 |          1 |          4 |          3 |          1 |          1 |          5 |
453.79/365.42	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.42	c (13,0) c | Orig_Seen     |             2 % |     164829 |     284539 |     235471 |     176960 |     196578 |     431939 |
453.79/365.42	c (13,0) c | Diff Orig seen|                 | -   267110 | -   147400 | -   196468 | -   254979 | -   235361 |      X     |
453.79/365.42	c (13,0) c | Hamming       |             1 % |      55894 |      26797 |      45116 |      64610 |      57477 |      X     |
453.79/365.42	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.42	c (13,0) c | RunningTime   |                 |    4.5 100%|    4.6 100%|    4.6 100%|    4.6 100%|    4.6 100%|    4.5 100%|
453.79/365.42	c (13,0) c | WaitingTime   |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c | ExchangingTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c | PeriodProcTime|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c | SolvingTime   |                 |    4.5     |    4.6     |    4.6     |    4.6     |    4.6     |    4.5     |
453.79/365.42	c (13,0) c | PropagationTim|                 |    4.1  91%|    4.2  92%|    2.9  63%|    4.1  89%|    3.2  71%|    3.8  85%|
453.79/365.42	c (13,0) c | AnalysisTime  |                 |    0.3   6%|    0.3   6%|    1.6  34%|    0.3   8%|    1.2  27%|    0.4   8%|
453.79/365.42	c (13,0) c | ReductionTime |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c | SimplifyTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c | UsedRateTime  |                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c | OverlapRateTim|                 |    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|    0.0   0%|
453.79/365.42	c (13,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|
453.79/365.42	c (13,0) c
453.79/365.42	c (13,0) c
453.79/365.42	c (13,0) c Threads : 6
453.79/365.42	c (13,0) c Winner : 5
453.79/365.42	c (13,0) c Conflicts_0 : 55
453.79/365.42	c (13,0) c Conflicts_1 : 66
453.79/365.42	c (13,0) c Conflicts_2 : 97
453.79/365.42	c (13,0) c Conflicts_3 : 68
453.79/365.42	c (13,0) c Conflicts_4 : 61
453.79/365.42	c (13,0) c Conflicts_5 : 63
453.79/365.42	c (13,0) c Conflicts_total : 410
453.79/365.42	c (13,0) c Conflicts_winner : 63
453.79/365.42	c (13,0) c Decisions_0 : 426
453.79/365.42	c (13,0) c Decisions_1 : 780
453.79/365.42	c (13,0) c Decisions_2 : 3689
453.79/365.42	c (13,0) c Decisions_3 : 889
453.79/365.42	c (13,0) c Decisions_4 : 2334
453.79/365.42	c (13,0) c Decisions_5 : 947935
453.79/365.42	c (13,0) c Decisions_total : 956053
453.79/365.42	c (13,0) c Decisions_winner : 947935
453.79/365.42	c (13,0) c Propagations_0 : 10923812
453.79/365.42	c (13,0) c Propagations_1 : 9793107
453.79/365.42	c (13,0) c Propagations_2 : 7972640
453.79/365.42	c (13,0) c Propagations_3 : 12983856
453.79/365.42	c (13,0) c Propagations_4 : 11678087
453.79/365.42	c (13,0) c Propagations_5 : 8450304
453.79/365.42	c (13,0) c Propagations_total : 61801806
453.79/365.42	c (13,0) c Propagations_winner : 8450304
453.79/365.42	c (13,0) c ReduceDBs_0 : 0
453.79/365.42	c (13,0) c ReduceDBs_1 : 0
453.79/365.42	c (13,0) c ReduceDBs_2 : 0
453.79/365.42	c (13,0) c ReduceDBs_3 : 0
453.79/365.42	c (13,0) c ReduceDBs_4 : 0
453.79/365.42	c (13,0) c ReduceDBs_5 : 0
453.79/365.42	c (13,0) c ReduceDBs_total : 0
453.79/365.42	c (13,0) c ReduceDBs_winner : 0
453.79/365.42	c (13,0) c SimpDBs_0 : 1
453.79/365.42	c (13,0) c SimpDBs_1 : 1
453.79/365.42	c (13,0) c SimpDBs_2 : 1
453.79/365.42	c (13,0) c SimpDBs_3 : 1
453.79/365.42	c (13,0) c SimpDBs_4 : 1
453.79/365.42	c (13,0) c SimpDBs_5 : 1
453.79/365.42	c (13,0) c SimpDBs_total : 6
453.79/365.42	c (13,0) c SimpDBs_winner : 1
453.79/365.42	c (13,0) c Restarts_0 : 1
453.79/365.42	c (13,0) c Restarts_1 : 1
453.79/365.42	c (13,0) c Restarts_2 : 1
453.79/365.42	c (13,0) c Restarts_3 : 1
453.79/365.42	c (13,0) c Restarts_4 : 1
453.79/365.42	c (13,0) c Restarts_5 : 1
453.79/365.42	c (13,0) c Restarts_total : 6
453.79/365.42	c (13,0) c Restarts_winner : 1
453.79/365.42	c (13,0) c ForcedImports_0 : 0
453.79/365.42	c (13,0) c ForcedImports_1 : 0
453.79/365.42	c (13,0) c ForcedImports_2 : 0
453.79/365.42	c (13,0) c ForcedImports_3 : 0
453.79/365.42	c (13,0) c ForcedImports_4 : 0
453.79/365.42	c (13,0) c ForcedImports_5 : 0
453.79/365.42	c (13,0) c ForcedImports_total : 0
453.79/365.42	c (13,0) c ForcedImports_winner : 0
453.79/365.42	c (13,0) c PropsBinClauses_0 : 2902709
453.79/365.42	c (13,0) c PropsBinClauses_1 : 2581775
453.79/365.42	c (13,0) c PropsBinClauses_2 : 2088979
453.79/365.42	c (13,0) c PropsBinClauses_3 : 3378494
453.79/365.42	c (13,0) c PropsBinClauses_4 : 2484582
453.79/365.42	c (13,0) c PropsBinClauses_5 : 2476407
453.79/365.42	c (13,0) c PropsBinClauses_total : 15912946
453.79/365.42	c (13,0) c PropsBinClauses_winner : 2476407
453.79/365.42	c (13,0) c PropsPreBlocker_0 : 31437841
453.79/365.42	c (13,0) c PropsPreBlocker_1 : 28284112
453.79/365.42	c (13,0) c PropsPreBlocker_2 : 25570929
453.79/365.42	c (13,0) c PropsPreBlocker_3 : 36755666
453.79/365.42	c (13,0) c PropsPreBlocker_4 : 33399792
453.79/365.42	c (13,0) c PropsPreBlocker_5 : 28262198
453.79/365.42	c (13,0) c PropsPreBlocker_total : 183710538
453.79/365.42	c (13,0) c PropsPreBlocker_winner : 28262198
453.79/365.42	c (13,0) c PropsNotBlocker_0 : 14456083
453.79/365.42	c (13,0) c PropsNotBlocker_1 : 15904152
453.79/365.42	c (13,0) c PropsNotBlocker_2 : 13124840
453.79/365.42	c (13,0) c PropsNotBlocker_3 : 16243587
453.79/365.42	c (13,0) c PropsNotBlocker_4 : 15040235
453.79/365.42	c (13,0) c PropsNotBlocker_5 : 18058575
453.79/365.42	c (13,0) c PropsNotBlocker_total : 92827472
453.79/365.42	c (13,0) c PropsNotBlocker_winner : 18058575
453.79/365.42	c (13,0) c PropsLitFullScans_0 : 72989268
453.79/365.42	c (13,0) c PropsLitFullScans_1 : 60171112
453.79/365.42	c (13,0) c PropsLitFullScans_2 : 170021883
453.79/365.42	c (13,0) c PropsLitFullScans_3 : 85789347
453.79/365.42	c (13,0) c PropsLitFullScans_4 : 182868504
453.79/365.42	c (13,0) c PropsLitFullScans_5 : 64877900
453.79/365.42	c (13,0) c PropsLitFullScans_total : 636718014
453.79/365.42	c (13,0) c PropsLitFullScans_winner : 64877900
453.79/365.42	c (13,0) c LitScanFractions_0 : 923752
453.79/365.42	c (13,0) c LitScanFractions_1 : 169225
453.79/365.42	c (13,0) c LitScanFractions_2 : 17629012
453.79/365.42	c (13,0) c LitScanFractions_3 : 1778002
453.79/365.42	c (13,0) c LitScanFractions_4 : 25499045
453.79/365.42	c (13,0) c LitScanFractions_5 : 227889
453.79/365.42	c (13,0) c LitScanFractions_total : 46226925
453.79/365.42	c (13,0) c LitScanFractions_winner : 227889
453.79/365.42	c (13,0) c DecisionLevel0_0 : 3
453.79/365.42	c (13,0) c DecisionLevel0_1 : 1
453.79/365.42	c (13,0) c DecisionLevel0_2 : 1
453.79/365.42	c (13,0) c DecisionLevel0_3 : 3
453.79/365.42	c (13,0) c DecisionLevel0_4 : 1
453.79/365.42	c (13,0) c DecisionLevel0_5 : 1
453.79/365.42	c (13,0) c DecisionLevel0_total : 10
453.79/365.42	c (13,0) c DecisionLevel0_winner : 1
453.79/365.42	c (13,0) c Periods_0 : 12
453.79/365.42	c (13,0) c Periods_1 : 10
453.79/365.42	c (13,0) c Periods_2 : 25
453.79/365.42	c (13,0) c Periods_3 : 14
453.79/365.42	c (13,0) c Periods_4 : 26
453.79/365.42	c (13,0) c Periods_5 : 10
453.79/365.42	c (13,0) c Periods_total : 97
453.79/365.42	c (13,0) c Periods_winner : 10
453.79/365.42	c (13,0) c Margin_0 : 20
453.79/365.42	c (13,0) c Margin_1 : 20
453.79/365.42	c (13,0) c Margin_2 : 20
453.79/365.42	c (13,0) c Margin_3 : 20
453.79/365.42	c (13,0) c Margin_4 : 20
453.79/365.42	c (13,0) c Margin_5 : 20
453.79/365.42	c (13,0) c Margin_total : 120
453.79/365.42	c (13,0) c Margin_winner : 20
453.79/365.42	c (13,0) c Exported_0 : 1
453.79/365.42	c (13,0) c Exported_1 : 4
453.79/365.42	c (13,0) c Exported_2 : 3
453.79/365.42	c (13,0) c Exported_3 : 1
453.79/365.42	c (13,0) c Exported_4 : 1
453.79/365.42	c (13,0) c Exported_5 : 5
453.79/365.42	c (13,0) c Exported_total : 15
453.79/365.42	c (13,0) c Exported_winner : 5
453.79/365.42	c (13,0) c Imported_0 : 0
453.79/365.43	c (13,0) c Imported_1 : 0
453.79/365.43	c (13,0) c Imported_2 : 0
453.79/365.43	c (13,0) c Imported_3 : 0
453.79/365.43	c (13,0) c Imported_4 : 0
453.79/365.43	c (13,0) c Imported_5 : 0
453.79/365.43	c (13,0) c Imported_total : 0
453.79/365.43	c (13,0) c Imported_winner : 0
453.79/365.43	c (13,0) c Good_0 : 0
453.79/365.43	c (13,0) c Good_1 : 0
453.79/365.43	c (13,0) c Good_2 : 0
453.79/365.43	c (13,0) c Good_3 : 0
453.79/365.43	c (13,0) c Good_4 : 0
453.79/365.43	c (13,0) c Good_5 : 0
453.79/365.43	c (13,0) c Good_total : 0
453.79/365.43	c (13,0) c Good_winner : 0
453.79/365.43	c (13,0) c Purge_0 : 0
453.79/365.43	c (13,0) c Purge_1 : 0
453.79/365.43	c (13,0) c Purge_2 : 0
453.79/365.43	c (13,0) c Purge_3 : 0
453.79/365.43	c (13,0) c Purge_4 : 0
453.79/365.43	c (13,0) c Purge_5 : 0
453.79/365.43	c (13,0) c Purge_total : 0
453.79/365.43	c (13,0) c Purge_winner : 0
453.79/365.43	c (13,0) c Promoted_0 : 0
453.79/365.43	c (13,0) c Promoted_1 : 0
453.79/365.43	c (13,0) c Promoted_2 : 0
453.79/365.43	c (13,0) c Promoted_3 : 0
453.79/365.43	c (13,0) c Promoted_4 : 0
453.79/365.43	c (13,0) c Promoted_5 : 0
453.79/365.43	c (13,0) c Promoted_total : 0
453.79/365.43	c (13,0) c Promoted_winner : 0
453.79/365.43	c (13,0) c Remove_Imp_0 : 0
453.79/365.43	c (13,0) c Remove_Imp_1 : 0
453.79/365.43	c (13,0) c Remove_Imp_2 : 0
453.79/365.43	c (13,0) c Remove_Imp_3 : 0
453.79/365.43	c (13,0) c Remove_Imp_4 : 0
453.79/365.43	c (13,0) c Remove_Imp_5 : 0
453.79/365.43	c (13,0) c Remove_Imp_total : 0
453.79/365.43	c (13,0) c Remove_Imp_winner : 0
453.79/365.43	c (13,0) c Blocked_Reuse_0 : 0
453.79/365.43	c (13,0) c Blocked_Reuse_1 : 0
453.79/365.43	c (13,0) c Blocked_Reuse_2 : 0
453.79/365.43	c (13,0) c Blocked_Reuse_3 : 0
453.79/365.43	c (13,0) c Blocked_Reuse_4 : 0
453.79/365.43	c (13,0) c Blocked_Reuse_5 : 0
453.79/365.43	c (13,0) c Blocked_Reuse_total : 0
453.79/365.43	c (13,0) c Blocked_Reuse_winner : 0
453.79/365.43	c (13,0) c Unaries_0 : 2
453.79/365.43	c (13,0) c Unaries_1 : 0
453.79/365.43	c (13,0) c Unaries_2 : 0
453.79/365.43	c (13,0) c Unaries_3 : 2
453.79/365.43	c (13,0) c Unaries_4 : 0
453.79/365.43	c (13,0) c Unaries_5 : 0
453.79/365.43	c (13,0) c Unaries_total : 4
453.79/365.43	c (13,0) c Unaries_winner : 0
453.79/365.43	c (13,0) c Binaries_0 : 0
453.79/365.43	c (13,0) c Binaries_1 : 4
453.79/365.43	c (13,0) c Binaries_2 : 2
453.79/365.43	c (13,0) c Binaries_3 : 0
453.79/365.43	c (13,0) c Binaries_4 : 1
453.79/365.43	c (13,0) c Binaries_5 : 4
453.79/365.43	c (13,0) c Binaries_total : 11
453.79/365.43	c (13,0) c Binaries_winner : 4
453.79/365.43	c (13,0) c Glues_0 : 1
453.79/365.43	c (13,0) c Glues_1 : 4
453.79/365.43	c (13,0) c Glues_2 : 3
453.79/365.43	c (13,0) c Glues_3 : 1
453.79/365.43	c (13,0) c Glues_4 : 1
453.79/365.43	c (13,0) c Glues_5 : 5
453.79/365.43	c (13,0) c Glues_total : 15
453.79/365.43	c (13,0) c Glues_winner : 5
453.79/365.43	c (13,0) c RunningTime_0 : 4.525731
453.79/365.43	c (13,0) c RunningTime_1 : 4.552675
453.79/365.43	c (13,0) c RunningTime_2 : 4.640221
453.79/365.43	c (13,0) c RunningTime_3 : 4.595747
453.79/365.43	c (13,0) c RunningTime_4 : 4.559019
453.79/365.43	c (13,0) c RunningTime_5 : 4.502157
453.79/365.43	c (13,0) c RunningTime_total : 27.375551
453.79/365.43	c (13,0) c RunningTime_winner : 4.502157
453.79/365.43	c (13,0) c WaitingTime_0 : 0.000000
453.79/365.43	c (13,0) c WaitingTime_1 : 0.000000
453.79/365.43	c (13,0) c WaitingTime_2 : 0.000018
453.79/365.43	c (13,0) c WaitingTime_3 : 0.000000
453.79/365.43	c (13,0) c WaitingTime_4 : 0.000089
453.79/365.43	c (13,0) c WaitingTime_5 : 0.000000
453.79/365.43	c (13,0) c WaitingTime_total : 0.000107
453.79/365.43	c (13,0) c WaitingTime_winner : 0.000000
453.79/365.43	c (13,0) c ExchangingTime_0 : 0.000036
453.79/365.43	c (13,0) c ExchangingTime_1 : 0.000061
453.79/365.43	c (13,0) c ExchangingTime_2 : 0.000142
453.79/365.43	c (13,0) c ExchangingTime_3 : 0.000044
453.79/365.43	c (13,0) c ExchangingTime_4 : 0.000102
453.79/365.43	c (13,0) c ExchangingTime_5 : 0.000051
453.79/365.43	c (13,0) c ExchangingTime_total : 0.000436
453.79/365.43	c (13,0) c ExchangingTime_winner : 0.000051
453.79/365.43	c (13,0) c PeriodProcTime_0 : 0.000131
453.79/365.43	c (13,0) c PeriodProcTime_1 : 0.000130
453.79/365.43	c (13,0) c PeriodProcTime_2 : 0.000362
453.79/365.43	c (13,0) c PeriodProcTime_3 : 0.000218
453.79/365.43	c (13,0) c PeriodProcTime_4 : 0.000263
453.79/365.43	c (13,0) c PeriodProcTime_5 : 0.000122
453.79/365.43	c (13,0) c PeriodProcTime_total : 0.001226
453.79/365.43	c (13,0) c PeriodProcTime_winner : 0.000122
453.79/365.43	c (13,0) c SolvingTime_0 : 4.525898
453.79/365.43	c (13,0) c SolvingTime_1 : 4.552866
453.79/365.43	c (13,0) c SolvingTime_2 : 4.640743
453.79/365.43	c (13,0) c SolvingTime_3 : 4.596009
453.79/365.43	c (13,0) c SolvingTime_4 : 4.559473
453.79/365.43	c (13,0) c SolvingTime_5 : 4.502331
453.79/365.43	c (13,0) c SolvingTime_total : 27.377320
453.79/365.43	c (13,0) c SolvingTime_winner : 4.502331
453.79/365.43	c (13,0) c PropagationTime_0 : 4.116605
453.79/365.43	c (13,0) c PropagationTime_1 : 4.193052
453.79/365.43	c (13,0) c PropagationTime_2 : 2.944309
453.79/365.43	c (13,0) c PropagationTime_3 : 4.104527
453.79/365.43	c (13,0) c PropagationTime_4 : 3.218168
453.79/365.43	c (13,0) c PropagationTime_5 : 3.823966
453.79/365.43	c (13,0) c PropagationTime_total : 22.400627
453.79/365.43	c (13,0) c PropagationTime_winner : 3.823966
453.79/365.43	c (13,0) c AnalysisTime_0 : 0.270640
453.79/365.43	c (13,0) c AnalysisTime_1 : 0.253080
453.79/365.43	c (13,0) c AnalysisTime_2 : 1.585035
453.79/365.43	c (13,0) c AnalysisTime_3 : 0.346521
453.79/365.43	c (13,0) c AnalysisTime_4 : 1.210281
453.79/365.43	c (13,0) c AnalysisTime_5 : 0.359752
453.79/365.43	c (13,0) c AnalysisTime_total : 4.025308
453.79/365.43	c (13,0) c AnalysisTime_winner : 0.359752
453.79/365.43	c (13,0) c ReductionTime_0 : 0.000000
453.79/365.43	c (13,0) c ReductionTime_1 : 0.000000
453.79/365.43	c (13,0) c ReductionTime_2 : 0.000000
453.79/365.43	c (13,0) c ReductionTime_3 : 0.000000
453.79/365.43	c (13,0) c ReductionTime_4 : 0.000000
453.79/365.43	c (13,0) c ReductionTime_5 : 0.000000
453.79/365.43	c (13,0) c ReductionTime_total : 0.000000
453.79/365.43	c (13,0) c ReductionTime_winner : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_0 : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_1 : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_2 : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_3 : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_4 : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_5 : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_total : 0.000000
453.79/365.43	c (13,0) c SimplifyTime_winner : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_0 : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_1 : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_2 : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_3 : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_4 : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_5 : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_total : 0.000000
453.79/365.43	c (13,0) c UsedRateTime_winner : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_0 : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_1 : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_2 : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_3 : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_4 : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_5 : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_total : 0.000000
453.79/365.43	c (13,0) c OverlapRateTime_winner : 0.000000
453.79/365.43	c (13,0) c
453.79/365.43	c (13,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------|
453.79/365.43	c (13,0) c
453.79/365.43	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
453.79/365.43	c (13,0) c | Threads               |          0 |          1 |          2 |          3 |          4 |          5 |
453.79/365.43	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
453.79/365.43	c (13,0) c | randomizeFirstDescent |      False |       True |       True |       True |       True |       True |
453.79/365.43	c (13,0) c | adaptStrategeis       |       True |      False |       True |      False |       True |      False |
453.79/365.43	c (13,0) c | forceUnsatOnNewDescent|       True |       True |      False |      False |       True |       True |
453.79/365.43	c (13,0) c | Initial random_seed   | 2055480766 |  610848110 |  578419366 | 1630970790 | 1198421782 | 1455079696 |
453.79/365.43	c (13,0) c | chanseokStrategy      |      False |      False |      False |      False |      False |      False |
453.79/365.43	c (13,0) c | coLBDBound            |          5 |          5 |          5 |          5 |          5 |          5 |
453.79/365.43	c (13,0) c | glureduce             |       True |       True |       True |       True |       True |       True |
453.79/365.43	c (13,0) c | firstReduceDB         |       2000 |       2000 |       2000 |       2000 |       2000 |       2000 |
453.79/365.43	c (13,0) c | incReduceDB           |        300 |        300 |        300 |        300 |        300 |        300 |
453.79/365.43	c (13,0) c | luby_restart          |      False |      False |      False |      False |      False |      False |
453.79/365.43	c (13,0) c | luby_restart_factor   |        100 |        100 |        100 |        100 |        100 |        100 |
453.79/365.43	c (13,0) c | var_decay             |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |     0.8000 |
453.79/365.43	c (13,0) c | max_var_decay         |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |     0.9500 |
453.79/365.43	c (13,0) c | randomize_on_restarts |      False |      False |      False |      False |      False |      False |
453.79/365.43	c (13,0) c | remove_satisfied      |       True |       True |       True |       True |       True |       True |
453.79/365.43	c (13,0) c |-----------------------|------------|------------|------------|------------|------------|------------|
453.79/365.43	c (13,0) 
453.79/365.43	c (13,0) s SATISFIABLE
455.96/366.84	c (14,0) SatSolver.solve End
455.96/366.84	c (14,0) Heap : 726 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB)
455.96/366.84	c (14,0) Show results Begin
456.10/366.97	c (15,0) x[0] = 596
456.10/366.97	c (15,0) x[1] = 2
456.10/366.97	c (15,0) x[2] = 1
456.10/366.97	c (15,0) x[3] = 0
456.10/366.97	c (15,0) x[4] = 0
456.10/366.97	c (15,0) x[5] = 0
456.10/366.97	c (15,0) x[6] = 0
456.10/366.97	c (15,0) x[7] = 0
456.10/366.97	c (15,0) x[8] = 0
456.10/366.97	c (15,0) x[9] = 0
456.10/366.97	c (15,0) x[10] = 0
456.10/366.97	c (15,0) x[11] = 0
456.10/366.97	c (15,0) x[12] = 0
456.10/366.97	c (15,0) x[13] = 0
456.10/366.97	c (15,0) x[14] = 0
456.10/366.97	c (15,0) x[15] = 0
456.10/366.97	c (15,0) x[16] = 0
456.10/366.97	c (15,0) x[17] = 0
456.10/366.97	c (15,0) x[18] = 0
456.10/366.97	c (15,0) x[19] = 0
456.10/366.97	c (15,0) x[20] = 0
456.10/366.97	c (15,0) x[21] = 0
456.10/366.97	c (15,0) x[22] = 0
456.10/366.97	c (15,0) x[23] = 0
456.10/366.97	c (15,0) x[24] = 0
456.10/366.97	c (15,0) x[25] = 0
456.10/366.97	c (15,0) x[26] = 0
456.10/366.97	c (15,0) x[27] = 0
456.10/366.98	c (15,0) x[28] = 0
456.10/366.98	c (15,0) x[29] = 0
456.10/366.98	c (15,0) x[30] = 0
456.10/366.98	c (15,0) x[31] = 0
456.10/366.98	c (15,0) x[32] = 0
456.10/366.98	c (15,0) x[33] = 0
456.10/366.98	c (15,0) x[34] = 0
456.10/366.98	c (15,0) x[35] = 0
456.10/366.98	c (15,0) x[36] = 0
456.10/366.98	c (15,0) x[37] = 0
456.10/366.98	c (15,0) x[38] = 0
456.10/366.98	c (15,0) x[39] = 0
456.10/366.98	c (15,0) x[40] = 0
456.10/366.98	c (15,0) x[41] = 0
456.10/366.98	c (15,0) x[42] = 0
456.10/366.98	c (15,0) x[43] = 0
456.10/366.98	c (15,0) x[44] = 0
456.10/366.98	c (15,0) x[45] = 0
456.10/366.98	c (15,0) x[46] = 0
456.10/366.98	c (15,0) x[47] = 0
456.10/366.98	c (15,0) x[48] = 0
456.10/366.98	c (15,0) x[49] = 0
456.10/366.98	c (15,0) x[50] = 0
456.10/366.98	c (15,0) x[51] = 0
456.10/366.98	c (15,0) x[52] = 0
456.10/366.98	c (15,0) x[53] = 0
456.10/366.98	c (15,0) x[54] = 0
456.10/366.98	c (15,0) x[55] = 0
456.10/366.98	c (15,0) x[56] = 0
456.10/366.98	c (15,0) x[57] = 0
456.10/366.98	c (15,0) x[58] = 0
456.10/366.98	c (15,0) x[59] = 0
456.10/366.98	c (15,0) x[60] = 0
456.10/366.98	c (15,0) x[61] = 0
456.10/366.98	c (15,0) x[62] = 0
456.10/366.98	c (15,0) x[63] = 0
456.10/366.98	c (15,0) x[64] = 0
456.10/366.98	c (15,0) x[65] = 0
456.10/366.98	c (15,0) x[66] = 0
456.10/366.98	c (15,0) x[67] = 0
456.10/366.98	c (15,0) x[68] = 0
456.10/366.98	c (15,0) x[69] = 0
456.10/366.98	c (15,0) x[70] = 0
456.10/366.98	c (15,0) x[71] = 0
456.10/366.98	c (15,0) x[72] = 0
456.10/366.98	c (15,0) x[73] = 0
456.10/366.98	c (15,0) x[74] = 0
456.10/366.98	c (15,0) x[75] = 0
456.10/366.98	c (15,0) x[76] = 0
456.10/366.98	c (15,0) x[77] = 0
456.10/366.98	c (15,0) x[78] = 0
456.10/366.98	c (15,0) x[79] = 0
456.10/366.98	c (15,0) x[80] = 0
456.10/366.98	c (15,0) x[81] = 0
456.10/366.98	c (15,0) x[82] = 0
456.10/366.98	c (15,0) x[83] = 0
456.10/366.98	c (15,0) x[84] = 0
456.10/366.98	c (15,0) x[85] = 0
456.10/366.98	c (15,0) x[86] = 0
456.10/366.98	c (15,0) x[87] = 0
456.10/366.98	c (15,0) x[88] = 0
456.10/366.98	c (15,0) x[89] = 0
456.10/366.98	c (15,0) x[90] = 0
456.10/366.98	c (15,0) x[91] = 0
456.10/366.98	c (15,0) x[92] = 0
456.10/366.98	c (15,0) x[93] = 0
456.10/366.98	c (15,0) x[94] = 0
456.10/366.98	c (15,0) x[95] = 0
456.10/366.98	c (15,0) x[96] = 0
456.10/366.98	c (15,0) x[97] = 0
456.10/366.98	c (15,0) x[98] = 0
456.10/366.98	c (15,0) x[99] = 0
456.10/366.98	c (15,0) x[100] = 0
456.10/366.98	c (15,0) x[101] = 0
456.10/366.98	c (15,0) x[102] = 0
456.10/366.98	c (15,0) x[103] = 0
456.10/366.98	c (15,0) x[104] = 0
456.10/366.98	c (15,0) x[105] = 0
456.10/366.98	c (15,0) x[106] = 0
456.10/366.98	c (15,0) x[107] = 0
456.10/366.98	c (15,0) x[108] = 0
456.10/366.98	c (15,0) x[109] = 0
456.10/366.98	c (15,0) x[110] = 0
456.10/366.98	c (15,0) x[111] = 0
456.10/366.98	c (15,0) x[112] = 0
456.10/366.98	c (15,0) x[113] = 0
456.10/366.98	c (15,0) x[114] = 0
456.10/366.98	c (15,0) x[115] = 0
456.10/366.98	c (15,0) x[116] = 0
456.10/366.98	c (15,0) x[117] = 0
456.10/366.98	c (15,0) x[118] = 0
456.10/366.98	c (15,0) x[119] = 0
456.10/366.98	c (15,0) x[120] = 0
456.10/366.99	c (15,0) x[121] = 0
456.10/366.99	c (15,0) x[122] = 0
456.10/366.99	c (15,0) x[123] = 0
456.10/366.99	c (15,0) x[124] = 0
456.10/366.99	c (15,0) x[125] = 0
456.10/366.99	c (15,0) x[126] = 0
456.10/366.99	c (15,0) x[127] = 0
456.10/366.99	c (15,0) x[128] = 0
456.10/366.99	c (15,0) x[129] = 0
456.10/366.99	c (15,0) x[130] = 0
456.10/366.99	c (15,0) x[131] = 0
456.10/366.99	c (15,0) x[132] = 0
456.10/366.99	c (15,0) x[133] = 0
456.10/366.99	c (15,0) x[134] = 0
456.10/366.99	c (15,0) x[135] = 0
456.10/366.99	c (15,0) x[136] = 0
456.10/366.99	c (15,0) x[137] = 0
456.10/366.99	c (15,0) x[138] = 0
456.10/366.99	c (15,0) x[139] = 0
456.10/366.99	c (15,0) x[140] = 0
456.10/366.99	c (15,0) x[141] = 0
456.10/366.99	c (15,0) x[142] = 0
456.10/366.99	c (15,0) x[143] = 0
456.10/366.99	c (15,0) x[144] = 0
456.10/366.99	c (15,0) x[145] = 0
456.10/366.99	c (15,0) x[146] = 0
456.10/366.99	c (15,0) x[147] = 0
456.10/366.99	c (15,0) x[148] = 0
456.10/366.99	c (15,0) x[149] = 0
456.10/366.99	c (15,0) x[150] = 0
456.10/366.99	c (15,0) x[151] = 0
456.10/366.99	c (15,0) x[152] = 0
456.10/366.99	c (15,0) x[153] = 0
456.10/366.99	c (15,0) x[154] = 0
456.10/366.99	c (15,0) x[155] = 0
456.10/366.99	c (15,0) x[156] = 0
456.10/366.99	c (15,0) x[157] = 0
456.10/366.99	c (15,0) x[158] = 0
456.10/366.99	c (15,0) x[159] = 0
456.10/366.99	c (15,0) x[160] = 0
456.10/366.99	c (15,0) x[161] = 0
456.10/366.99	c (15,0) x[162] = 0
456.10/366.99	c (15,0) x[163] = 0
456.10/366.99	c (15,0) x[164] = 0
456.10/366.99	c (15,0) x[165] = 0
456.10/366.99	c (15,0) x[166] = 0
456.10/366.99	c (15,0) x[167] = 0
456.10/366.99	c (15,0) x[168] = 0
456.10/366.99	c (15,0) x[169] = 0
456.10/366.99	c (15,0) x[170] = 0
456.10/366.99	c (15,0) x[171] = 0
456.10/366.99	c (15,0) x[172] = 0
456.10/366.99	c (15,0) x[173] = 0
456.10/366.99	c (15,0) x[174] = 0
456.10/366.99	c (15,0) x[175] = 0
456.10/366.99	c (15,0) x[176] = 0
456.10/366.99	c (15,0) x[177] = 0
456.10/366.99	c (15,0) x[178] = 0
456.10/366.99	c (15,0) x[179] = 0
456.10/366.99	c (15,0) x[180] = 0
456.10/366.99	c (15,0) x[181] = 0
456.10/366.99	c (15,0) x[182] = 0
456.10/366.99	c (15,0) x[183] = 0
456.10/366.99	c (15,0) x[184] = 0
456.10/366.99	c (15,0) x[185] = 0
456.10/366.99	c (15,0) x[186] = 0
456.10/366.99	c (15,0) x[187] = 0
456.10/366.99	c (15,0) x[188] = 0
456.10/366.99	c (15,0) x[189] = 0
456.10/366.99	c (15,0) x[190] = 0
456.10/366.99	c (15,0) x[191] = 0
456.10/366.99	c (15,0) x[192] = 0
456.10/366.99	c (15,0) x[193] = 0
456.10/366.99	c (15,0) x[194] = 0
456.10/366.99	c (15,0) x[195] = 0
456.10/366.99	c (15,0) x[196] = 0
456.10/366.99	c (15,0) x[197] = 0
456.10/366.99	c (15,0) x[198] = 0
456.10/366.99	c (15,0) x[199] = 0
456.10/366.99	c (15,0) x[200] = 0
456.10/366.99	c (15,0) x[201] = 0
456.10/366.99	c (15,0) x[202] = 0
456.10/366.99	c (15,0) x[203] = 0
456.10/366.99	c (15,0) x[204] = 0
456.10/366.99	c (15,0) x[205] = 0
456.10/366.99	c (15,0) x[206] = 0
456.10/366.99	c (15,0) x[207] = 0
456.10/366.99	c (15,0) x[208] = 0
456.10/366.99	c (15,0) x[209] = 0
456.10/366.99	c (15,0) x[210] = 0
456.10/366.99	c (15,0) x[211] = 0
456.10/366.99	c (15,0) x[212] = 0
456.10/366.99	c (15,0) x[213] = 0
456.10/366.99	c (15,0) x[214] = 0
456.10/366.99	c (15,0) x[215] = 0
456.10/366.99	c (15,0) x[216] = 0
456.10/366.99	c (15,0) x[217] = 0
456.10/366.99	c (15,0) x[218] = 0
456.10/366.99	c (15,0) x[219] = 0
456.10/366.99	c (15,0) x[220] = 0
456.10/366.99	c (15,0) x[221] = 0
456.10/366.99	c (15,0) x[222] = 0
456.10/366.99	c (15,0) x[223] = 0
456.10/366.99	c (15,0) x[224] = 0
456.10/366.99	c (15,0) x[225] = 0
456.10/366.99	c (15,0) x[226] = 0
456.10/366.99	c (15,0) x[227] = 0
456.10/366.99	c (15,0) x[228] = 0
456.10/366.99	c (15,0) x[229] = 0
456.10/366.99	c (15,0) x[230] = 0
456.10/366.99	c (15,0) x[231] = 0
456.10/366.99	c (15,0) x[232] = 0
456.10/366.99	c (15,0) x[233] = 0
456.10/366.99	c (15,0) x[234] = 0
456.10/366.99	c (15,0) x[235] = 0
456.10/366.99	c (15,0) x[236] = 0
456.10/366.99	c (15,0) x[237] = 0
456.10/366.99	c (15,0) x[238] = 0
456.10/366.99	c (15,0) x[239] = 0
456.10/366.99	c (15,0) x[240] = 0
456.10/366.99	c (15,0) x[241] = 0
456.10/366.99	c (15,0) x[242] = 0
456.10/366.99	c (15,0) x[243] = 0
456.10/366.99	c (15,0) x[244] = 0
456.10/366.99	c (15,0) x[245] = 0
456.10/366.99	c (15,0) x[246] = 0
456.10/366.99	c (15,0) x[247] = 0
456.10/366.99	c (15,0) x[248] = 0
456.10/366.99	c (15,0) x[249] = 0
456.10/366.99	c (15,0) x[250] = 0
456.10/366.99	c (15,0) x[251] = 0
456.10/366.99	c (15,0) x[252] = 0
456.10/366.99	c (15,0) x[253] = 0
456.10/366.99	c (15,0) x[254] = 0
456.10/366.99	c (15,0) x[255] = 0
456.10/366.99	c (15,0) x[256] = 0
456.10/366.99	c (15,0) x[257] = 0
456.10/366.99	c (15,0) x[258] = 0
456.10/366.99	c (15,0) x[259] = 0
456.10/366.99	c (15,0) x[260] = 0
456.10/366.99	c (15,0) x[261] = 0
456.10/366.99	c (15,0) x[262] = 0
456.10/366.99	c (15,0) x[263] = 0
456.10/366.99	c (15,0) x[264] = 0
456.10/366.99	c (15,0) x[265] = 0
456.10/366.99	c (15,0) x[266] = 0
456.10/366.99	c (15,0) x[267] = 0
456.10/366.99	c (15,0) x[268] = 0
456.10/366.99	c (15,0) x[269] = 0
456.10/366.99	c (15,0) x[270] = 0
456.10/366.99	c (15,0) x[271] = 0
456.10/366.99	c (15,0) x[272] = 0
456.10/366.99	c (15,0) x[273] = 0
456.10/366.99	c (15,0) x[274] = 0
456.10/366.99	c (15,0) x[275] = 0
456.10/366.99	c (15,0) x[276] = 0
456.10/366.99	c (15,0) x[277] = 0
456.10/366.99	c (15,0) x[278] = 0
456.10/366.99	c (15,0) x[279] = 0
456.10/366.99	c (15,0) x[280] = 0
456.10/366.99	c (15,0) x[281] = 0
456.10/366.99	c (15,0) x[282] = 0
456.10/366.99	c (15,0) x[283] = 0
456.10/366.99	c (15,0) x[284] = 0
456.10/366.99	c (15,0) x[285] = 0
456.10/366.99	c (15,0) x[286] = 0
456.10/366.99	c (15,0) x[287] = 0
456.10/366.99	c (15,0) x[288] = 0
456.10/366.99	c (15,0) x[289] = 0
456.10/366.99	c (15,0) x[290] = 0
456.10/366.99	c (15,0) x[291] = 0
456.10/366.99	c (15,0) x[292] = 0
456.10/366.99	c (15,0) x[293] = 0
456.10/366.99	c (15,0) x[294] = 0
456.10/366.99	c (15,0) x[295] = 0
456.10/366.99	c (15,0) x[296] = 0
456.10/366.99	c (15,0) x[297] = 0
456.10/366.99	c (15,0) x[298] = 0
456.10/366.99	c (15,0) x[299] = 0
456.10/366.99	c (15,0) x[300] = 0
456.10/366.99	c (15,0) x[301] = 0
456.10/366.99	c (15,0) x[302] = 0
456.10/366.99	c (15,0) x[303] = 0
456.10/366.99	c (15,0) x[304] = 0
456.10/366.99	c (15,0) x[305] = 0
456.10/366.99	c (15,0) x[306] = 0
456.10/366.99	c (15,0) x[307] = 0
456.10/366.99	c (15,0) x[308] = 0
456.10/366.99	c (15,0) x[309] = 0
456.10/366.99	c (15,0) x[310] = 0
456.10/366.99	c (15,0) x[311] = 0
456.10/366.99	c (15,0) x[312] = 0
456.10/366.99	c (15,0) x[313] = 0
456.10/366.99	c (15,0) x[314] = 0
456.10/366.99	c (15,0) x[315] = 0
456.10/366.99	c (15,0) x[316] = 0
456.10/366.99	c (15,0) x[317] = 0
456.10/366.99	c (15,0) x[318] = 0
456.10/366.99	c (15,0) x[319] = 0
456.10/366.99	c (15,0) x[320] = 0
456.10/366.99	c (15,0) x[321] = 0
456.10/366.99	c (15,0) x[322] = 0
456.10/366.99	c (15,0) x[323] = 0
456.10/366.99	c (15,0) x[324] = 0
456.10/366.99	c (15,0) x[325] = 0
456.10/366.99	c (15,0) x[326] = 0
456.10/366.99	c (15,0) x[327] = 0
456.10/366.99	c (15,0) x[328] = 0
456.10/366.99	c (15,0) x[329] = 0
456.10/366.99	c (15,0) x[330] = 0
456.10/366.99	c (15,0) x[331] = 0
456.10/366.99	c (15,0) x[332] = 0
456.10/366.99	c (15,0) x[333] = 0
456.10/366.99	c (15,0) x[334] = 0
456.10/366.99	c (15,0) x[335] = 0
456.10/366.99	c (15,0) x[336] = 0
456.10/366.99	c (15,0) x[337] = 0
456.10/366.99	c (15,0) x[338] = 0
456.10/366.99	c (15,0) x[339] = 0
456.10/366.99	c (15,0) x[340] = 0
456.10/366.99	c (15,0) x[341] = 0
456.10/366.99	c (15,0) x[342] = 0
456.10/366.99	c (15,0) x[343] = 0
456.10/366.99	c (15,0) x[344] = 0
456.10/366.99	c (15,0) x[345] = 0
456.10/366.99	c (15,0) x[346] = 0
456.10/366.99	c (15,0) x[347] = 0
456.10/366.99	c (15,0) x[348] = 0
456.10/366.99	c (15,0) x[349] = 0
456.10/366.99	c (15,0) x[350] = 0
456.10/366.99	c (15,0) x[351] = 0
456.10/366.99	c (15,0) x[352] = 0
456.10/366.99	c (15,0) x[353] = 0
456.10/366.99	c (15,0) x[354] = 0
456.10/366.99	c (15,0) x[355] = 0
456.10/366.99	c (15,0) x[356] = 0
456.10/366.99	c (15,0) x[357] = 0
456.10/366.99	c (15,0) x[358] = 0
456.10/366.99	c (15,0) x[359] = 0
456.10/366.99	c (15,0) x[360] = 0
456.10/366.99	c (15,0) x[361] = 0
456.10/366.99	c (15,0) x[362] = 0
456.10/366.99	c (15,0) x[363] = 0
456.10/366.99	c (15,0) x[364] = 0
456.10/366.99	c (15,0) x[365] = 0
456.10/366.99	c (15,0) x[366] = 0
456.10/366.99	c (15,0) x[367] = 0
456.10/366.99	c (15,0) x[368] = 0
456.10/366.99	c (15,0) x[369] = 0
456.10/366.99	c (15,0) x[370] = 0
456.10/366.99	c (15,0) x[371] = 0
456.10/366.99	c (15,0) x[372] = 0
456.10/366.99	c (15,0) x[373] = 0
456.10/366.99	c (15,0) x[374] = 0
456.10/366.99	c (15,0) x[375] = 0
456.10/366.99	c (15,0) x[376] = 0
456.10/366.99	c (15,0) x[377] = 0
456.10/366.99	c (15,0) x[378] = 0
456.10/366.99	c (15,0) x[379] = 0
456.10/366.99	c (15,0) x[380] = 0
456.10/366.99	c (15,0) x[381] = 0
456.10/366.99	c (15,0) x[382] = 0
456.10/366.99	c (15,0) x[383] = 0
456.10/366.99	c (15,0) x[384] = 0
456.10/366.99	c (15,0) x[385] = 0
456.10/366.99	c (15,0) x[386] = 0
456.10/366.99	c (15,0) x[387] = 0
456.10/366.99	c (15,0) x[388] = 0
456.10/366.99	c (15,0) x[389] = 0
456.10/366.99	c (15,0) x[390] = 0
456.10/366.99	c (15,0) x[391] = 0
456.10/366.99	c (15,0) x[392] = 0
456.10/366.99	c (15,0) x[393] = 0
456.10/366.99	c (15,0) x[394] = 0
456.10/366.99	c (15,0) x[395] = 0
456.10/366.99	c (15,0) x[396] = 0
456.10/366.99	c (15,0) x[397] = 0
456.10/366.99	c (15,0) x[398] = 0
456.10/366.99	c (15,0) x[399] = 0
456.10/366.99	c (15,0) x[400] = 0
456.10/366.99	c (15,0) x[401] = 0
456.10/366.99	c (15,0) x[402] = 0
456.10/366.99	c (15,0) x[403] = 0
456.10/366.99	c (15,0) x[404] = 0
456.10/366.99	c (15,0) x[405] = 0
456.10/366.99	c (15,0) x[406] = 0
456.10/366.99	c (15,0) x[407] = 0
456.10/366.99	c (15,0) x[408] = 0
456.10/366.99	c (15,0) x[409] = 0
456.10/366.99	c (15,0) x[410] = 0
456.10/366.99	c (15,0) x[411] = 0
456.10/366.99	c (15,0) x[412] = 0
456.10/366.99	c (15,0) x[413] = 0
456.10/366.99	c (15,0) x[414] = 0
456.10/366.99	c (15,0) x[415] = 0
456.10/366.99	c (15,0) x[416] = 0
456.10/366.99	c (15,0) x[417] = 0
456.10/366.99	c (15,0) x[418] = 0
456.10/366.99	c (15,0) x[419] = 0
456.10/366.99	c (15,0) x[420] = 0
456.10/366.99	c (15,0) x[421] = 0
456.10/366.99	c (15,0) x[422] = 0
456.10/366.99	c (15,0) x[423] = 0
456.10/366.99	c (15,0) x[424] = 0
456.10/366.99	c (15,0) x[425] = 0
456.10/366.99	c (15,0) x[426] = 0
456.10/366.99	c (15,0) x[427] = 0
456.10/366.99	c (15,0) x[428] = 0
456.10/366.99	c (15,0) x[429] = 0
456.10/366.99	c (15,0) x[430] = 0
456.10/366.99	c (15,0) x[431] = 0
456.10/366.99	c (15,0) x[432] = 0
456.10/366.99	c (15,0) x[433] = 0
456.10/366.99	c (15,0) x[434] = 0
456.10/366.99	c (15,0) x[435] = 0
456.10/366.99	c (15,0) x[436] = 0
456.10/366.99	c (15,0) x[437] = 0
456.10/366.99	c (15,0) x[438] = 0
456.10/366.99	c (15,0) x[439] = 0
456.10/366.99	c (15,0) x[440] = 0
456.10/366.99	c (15,0) x[441] = 0
456.10/366.99	c (15,0) x[442] = 0
456.10/366.99	c (15,0) x[443] = 0
456.10/366.99	c (15,0) x[444] = 0
456.10/366.99	c (15,0) x[445] = 0
456.10/366.99	c (15,0) x[446] = 0
456.10/366.99	c (15,0) x[447] = 0
456.10/366.99	c (15,0) x[448] = 0
456.10/366.99	c (15,0) x[449] = 0
456.10/366.99	c (15,0) x[450] = 0
456.10/366.99	c (15,0) x[451] = 0
456.10/366.99	c (15,0) x[452] = 0
456.10/366.99	c (15,0) x[453] = 0
456.10/366.99	c (15,0) x[454] = 0
456.10/366.99	c (15,0) x[455] = 0
456.10/366.99	c (15,0) x[456] = 0
456.10/366.99	c (15,0) x[457] = 0
456.10/366.99	c (15,0) x[458] = 0
456.10/366.99	c (15,0) x[459] = 0
456.10/366.99	c (15,0) x[460] = 0
456.10/366.99	c (15,0) x[461] = 0
456.10/366.99	c (15,0) x[462] = 0
456.10/366.99	c (15,0) x[463] = 0
456.10/366.99	c (15,0) x[464] = 0
456.10/366.99	c (15,0) x[465] = 0
456.10/366.99	c (15,0) x[466] = 0
456.10/366.99	c (15,0) x[467] = 0
456.10/366.99	c (15,0) x[468] = 0
456.10/366.99	c (15,0) x[469] = 0
456.10/366.99	c (15,0) x[470] = 0
456.10/366.99	c (15,0) x[471] = 0
456.10/366.99	c (15,0) x[472] = 0
456.10/366.99	c (15,0) x[473] = 0
456.10/366.99	c (15,0) x[474] = 0
456.10/366.99	c (15,0) x[475] = 0
456.10/366.99	c (15,0) x[476] = 0
456.10/366.99	c (15,0) x[477] = 0
456.10/366.99	c (15,0) x[478] = 0
456.10/366.99	c (15,0) x[479] = 0
456.10/366.99	c (15,0) x[480] = 0
456.10/366.99	c (15,0) x[481] = 0
456.10/366.99	c (15,0) x[482] = 0
456.10/366.99	c (15,0) x[483] = 0
456.10/366.99	c (15,0) x[484] = 0
456.10/366.99	c (15,0) x[485] = 0
456.10/366.99	c (15,0) x[486] = 0
456.10/366.99	c (15,0) x[487] = 0
456.10/366.99	c (15,0) x[488] = 0
456.10/366.99	c (15,0) x[489] = 0
456.10/366.99	c (15,0) x[490] = 0
456.10/366.99	c (15,0) x[491] = 0
456.10/366.99	c (15,0) x[492] = 0
456.10/366.99	c (15,0) x[493] = 0
456.10/366.99	c (15,0) x[494] = 0
456.10/366.99	c (15,0) x[495] = 0
456.10/366.99	c (15,0) x[496] = 0
456.10/366.99	c (15,0) x[497] = 0
456.10/366.99	c (15,0) x[498] = 0
456.10/366.99	c (15,0) x[499] = 0
456.10/366.99	c (15,0) x[500] = 0
456.10/366.99	c (15,0) x[501] = 0
456.10/366.99	c (15,0) x[502] = 0
456.10/366.99	c (15,0) x[503] = 0
456.10/366.99	c (15,0) x[504] = 0
456.10/366.99	c (15,0) x[505] = 0
456.10/366.99	c (15,0) x[506] = 0
456.10/366.99	c (15,0) x[507] = 0
456.10/366.99	c (15,0) x[508] = 0
456.10/366.99	c (15,0) x[509] = 0
456.10/366.99	c (15,0) x[510] = 0
456.10/366.99	c (15,0) x[511] = 0
456.10/366.99	c (15,0) x[512] = 0
456.10/366.99	c (15,0) x[513] = 0
456.10/366.99	c (15,0) x[514] = 0
456.10/366.99	c (15,0) x[515] = 0
456.10/366.99	c (15,0) x[516] = 0
456.10/366.99	c (15,0) x[517] = 0
456.10/366.99	c (15,0) x[518] = 0
456.10/366.99	c (15,0) x[519] = 0
456.10/366.99	c (15,0) x[520] = 0
456.10/366.99	c (15,0) x[521] = 0
456.10/366.99	c (15,0) x[522] = 0
456.10/366.99	c (15,0) x[523] = 0
456.10/366.99	c (15,0) x[524] = 0
456.10/366.99	c (15,0) x[525] = 0
456.10/366.99	c (15,0) x[526] = 0
456.10/366.99	c (15,0) x[527] = 0
456.10/366.99	c (15,0) x[528] = 0
456.10/366.99	c (15,0) x[529] = 0
456.10/366.99	c (15,0) x[530] = 0
456.10/366.99	c (15,0) x[531] = 0
456.10/366.99	c (15,0) x[532] = 0
456.10/366.99	c (15,0) x[533] = 0
456.10/366.99	c (15,0) x[534] = 0
456.10/366.99	c (15,0) x[535] = 0
456.10/366.99	c (15,0) x[536] = 0
456.10/366.99	c (15,0) x[537] = 0
456.10/366.99	c (15,0) x[538] = 0
456.10/366.99	c (15,0) x[539] = 0
456.10/366.99	c (15,0) x[540] = 0
456.10/366.99	c (15,0) x[541] = 0
456.10/366.99	c (15,0) x[542] = 0
456.10/366.99	c (15,0) x[543] = 0
456.10/366.99	c (15,0) x[544] = 0
456.10/366.99	c (15,0) x[545] = 0
456.10/366.99	c (15,0) x[546] = 0
456.10/366.99	c (15,0) x[547] = 0
456.10/366.99	c (15,0) x[548] = 0
456.10/366.99	c (15,0) x[549] = 0
456.10/366.99	c (15,0) x[550] = 0
456.10/366.99	c (15,0) x[551] = 0
456.10/366.99	c (15,0) x[552] = 0
456.10/366.99	c (15,0) x[553] = 0
456.10/366.99	c (15,0) x[554] = 0
456.10/366.99	c (15,0) x[555] = 0
456.10/366.99	c (15,0) x[556] = 0
456.10/366.99	c (15,0) x[557] = 0
456.10/366.99	c (15,0) x[558] = 0
456.10/366.99	c (15,0) x[559] = 0
456.10/366.99	c (15,0) x[560] = 0
456.10/366.99	c (15,0) x[561] = 0
456.10/366.99	c (15,0) x[562] = 0
456.10/366.99	c (15,0) x[563] = 0
456.10/366.99	c (15,0) x[564] = 0
456.10/366.99	c (15,0) x[565] = 0
456.10/366.99	c (15,0) x[566] = 0
456.10/366.99	c (15,0) x[567] = 0
456.10/366.99	c (15,0) x[568] = 0
456.10/366.99	c (15,0) x[569] = 0
456.10/366.99	c (15,0) x[570] = 0
456.10/366.99	c (15,0) x[571] = 0
456.10/366.99	c (15,0) x[572] = 0
456.10/366.99	c (15,0) x[573] = 0
456.10/366.99	c (15,0) x[574] = 0
456.10/366.99	c (15,0) x[575] = 0
456.10/366.99	c (15,0) x[576] = 0
456.10/366.99	c (15,0) x[577] = 0
456.10/366.99	c (15,0) x[578] = 0
456.10/366.99	c (15,0) x[579] = 0
456.10/366.99	c (15,0) x[580] = 0
456.10/366.99	c (15,0) x[581] = 0
456.10/366.99	c (15,0) x[582] = 0
456.10/366.99	c (15,0) x[583] = 0
456.10/366.99	c (15,0) x[584] = 0
456.10/366.99	c (15,0) x[585] = 0
456.10/366.99	c (15,0) x[586] = 0
456.10/366.99	c (15,0) x[587] = 0
456.10/366.99	c (15,0) x[588] = 0
456.10/366.99	c (15,0) x[589] = 0
456.10/366.99	c (15,0) x[590] = 0
456.10/366.99	c (15,0) x[591] = 0
456.10/366.99	c (15,0) x[592] = 0
456.10/366.99	c (15,0) x[593] = 0
456.10/366.99	c (15,0) x[594] = 0
456.10/366.99	c (15,0) x[595] = 0
456.10/366.99	c (15,0) x[596] = 1
456.10/366.99	c (15,0) x[597] = 0
456.10/366.99	c (15,0) x[598] = 0
456.10/366.99	c (15,0) x[599] = 0
456.10/366.99	s SATISFIABLE
456.10/367.00	v <instantiation>
456.10/367.00	v     <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449] x[450] x[451] x[452] x[453] x[454] x[455] x[456] x[457] x[458] x[459] x[460] x[461] x[462] x[463] x[464] x[465] x[466] x[467] x[468] x[469] x[470] x[471] x[472] x[473] x[474] x[475] x[476] x[477] x[478] x[479] x[480] x[481] x[482] x[483] x[484] x[485] x[486] x[487] x[488] x[489] x[490] x[491] x[492] x[493] x[494] x[495] x[496] x[497] x[498] x[499] x[500] x[501] x[502] x[503] x[504] x[505] x[506] x[507] x[508] x[509] x[510] x[511] x[512] x[513] x[514] x[515] x[516] x[517] x[518] x[519] x[520] x[521] x[522] x[523] x[524] x[525] x[526] x[527] x[528] x[529] x[530] x[531] x[532] x[533] x[534] x[535] x[536] x[537] x[538] x[539] x[540] x[541] x[542] x[543] x[544] x[545] x[546] x[547] x[548] x[549] x[550] x[551] x[552] x[553] x[554] x[555] x[556] x[557] x[558] x[559] x[560] x[561] x[562] x[563] x[564] x[565] x[566] x[567] x[568] x[569] x[570] x[571] x[572] x[573] x[574] x[575] x[576] x[577] x[578] x[579] x[580] x[581] x[582] x[583] x[584] x[585] x[586] x[587] x[588] x[589] x[590] x[591] x[592] x[593] x[594] x[595] x[596] x[597] x[598] x[599]</list>
456.10/367.00	v     <values>596 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0</values>
456.10/367.00	v </instantiation>
456.10/367.00	c (15,0) Show results End
456.10/367.00	c (15,0) Heap : 726 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB)
456.10/367.00	c (15,0) 14,15,STOP-AFTER(ALL)
456.10/367.00	c END-Prog: Sat Sep 14 01:42:15 CEST 2019

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: 16374 MiB (10745 MiB free)
  memory of node 1: 16384 MiB (15214 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392678-1568421985/watcher-4392678-1568421985 -o /tmp/evaluation-result-4392678-1568421985/solver-4392678-1568421985 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392678-1568421985.xml 

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

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


[startup+0.100149 s]*
/proc/loadavg: 7.71 8.12 8.15 2/210 14911
/proc/meminfo: memFree=26488240/32770624 swapFree=66977616/67108860
[pid=14889] ppid=14886 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14889/stat : 14889 (scop.sh) S 14886 14889 12970 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418455768 115843072 349 33554432000 4194304 5098028 140724077085680 140724077082936 139826022142588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22536192 140724077089572 140724077089900 140724077089900 140724077092813 0
/proc/14889/statm: 28282 349 296 221 0 87 0
[pid=14892] ppid=14889 vsize=27314120 memory=107900 CPUtime=0.11 cores=0-7
/proc/14892/stat : 14892 (java) S 14889 14889 12970 0 -1 1077944320 6515 0 0 0 9 2 0 0 20 0 20 0 418455768 27969658880 26975 33554432000 4194304 4196468 140726183002320 140726182984864 140190652919543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
/proc/14892/statm: 6828530 26975 2802 1 0 6790935 0
[pid=14892/tid=14893] ppid=14889 vsize=27314120 memory=576460756329955445 CPUtime=0.08 cores=0-7
/proc/14892/task/14893/stat : 14893 (java) R 14889 14889 12970 0 -1 4202560 4626 0 0 0 7 1 0 0 20 0 20 0 418455768 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190624745872 140190652941469 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14894] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14894/stat : 14894 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190657161872 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14895] ppid=14889 vsize=27314120 memory=139927128790611 CPUtime=0 cores=0-7
/proc/14892/task/14895/stat : 14895 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190075566608 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14896] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14896/stat : 14896 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190074513808 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14897] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14897/stat : 14897 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190073461008 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14898] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14898/stat : 14898 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190072409232 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14899] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14899/stat : 14899 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190071356432 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14900] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14900/stat : 14900 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190070303632 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14901] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14901/stat : 14901 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 26975 33554432000 4194304 4196468 140726183002320 140190069250832 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14902] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14902/stat : 14902 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455772 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188704704880 140190652930690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14903] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14903/stat : 14903 (java) S 14889 14889 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418455773 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188604949536 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14904] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14904/stat : 14904 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455773 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188336513904 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14905] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14905/stat : 14905 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 26975 33554432000 4194304 4196468 140726183002320 140187962005328 140190652938139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14906] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14906/stat : 14906 (java) R 14889 14889 12970 0 -1 1077944384 296 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188703652720 140190652930690 0 4 2 16800973 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14907] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14907/stat : 14907 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188702599920 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14908] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14908/stat : 14908 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188701547120 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14909] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14909/stat : 14909 (java) R 14889 14889 12970 0 -1 4202560 252 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188700494320 140190652940890 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14910] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14910/stat : 14910 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455776 27969658880 26975 33554432000 4194304 4196468 140726183002320 140187464100448 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14911] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14911/stat : 14911 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455776 27969658880 26975 33554432000 4194304 4196468 140726183002320 140188699441712 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 109296 KiB

[startup+0.210571 s]*
/proc/loadavg: 7.71 8.12 8.15 2/210 14911
/proc/meminfo: memFree=26469788/32770624 swapFree=66977616/67108860
[pid=14889] ppid=14886 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14889/stat : 14889 (scop.sh) S 14886 14889 12970 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418455768 115843072 349 33554432000 4194304 5098028 140724077085680 140724077082936 139826022142588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22536192 140724077089572 140724077089900 140724077089900 140724077092813 0
/proc/14889/statm: 28282 349 296 221 0 87 0
[pid=14892] ppid=14889 vsize=27314120 memory=124740 CPUtime=0.25 cores=0-7
/proc/14892/stat : 14892 (java) S 14889 14889 12970 0 -1 1077944320 11530 0 0 0 21 4 0 0 20 0 20 0 418455768 27969658880 31185 33554432000 4194304 4196468 140726183002320 140726182984864 140190652919543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
/proc/14892/statm: 6828530 31185 2957 1 0 6790935 0
[pid=14892/tid=14893] ppid=14889 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/14892/task/14893/stat : 14893 (java) R 14889 14889 12970 0 -1 4202560 9249 0 0 0 17 3 0 0 20 0 20 0 418455768 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190624726912 140190634483650 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14894] ppid=14889 vsize=27314120 memory=288230604707987820 CPUtime=0 cores=0-7
/proc/14892/task/14894/stat : 14894 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190657161872 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14895] ppid=14889 vsize=27314120 memory=4123244979477096096 CPUtime=0 cores=0-7
/proc/14892/task/14895/stat : 14895 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190075566608 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14896] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14896/stat : 14896 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190074513808 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14897] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14897/stat : 14897 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190073461008 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14898] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14898/stat : 14898 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190072409232 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14899] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14899/stat : 14899 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190071356432 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14900] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14900/stat : 14900 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190070303632 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14901] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14901/stat : 14901 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 31185 33554432000 4194304 4196468 140726183002320 140190069250832 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14902] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14902/stat : 14902 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455772 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188704704880 140190652930690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14903] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14903/stat : 14903 (java) S 14889 14889 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418455773 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188604949536 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14904] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14904/stat : 14904 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455773 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188336513904 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14905] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14905/stat : 14905 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 31185 33554432000 4194304 4196468 140726183002320 140187962005328 140190652938139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14906] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14906/stat : 14906 (java) S 14889 14889 12970 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188703652720 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14907] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14907/stat : 14907 (java) S 14889 14889 12970 0 -1 1077944384 156 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188702599920 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14908] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14908/stat : 14908 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188701547120 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14909] ppid=14889 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/14892/task/14909/stat : 14909 (java) S 14889 14889 12970 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 20 0 418455775 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188700494320 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14910] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14910/stat : 14910 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455776 27969658880 31185 33554432000 4194304 4196468 140726183002320 140187464100448 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14911] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14911/stat : 14911 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455776 27969658880 31185 33554432000 4194304 4196468 140726183002320 140188699441712 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 126136 KiB

[startup+0.310304 s]*
/proc/loadavg: 7.71 8.12 8.15 2/210 14911
/proc/meminfo: memFree=26466748/32770624 swapFree=66977616/67108860
[pid=14889] ppid=14886 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14889/stat : 14889 (scop.sh) S 14886 14889 12970 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418455768 115843072 349 33554432000 4194304 5098028 140724077085680 140724077082936 139826022142588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22536192 140724077089572 140724077089900 140724077089900 140724077092813 0
/proc/14889/statm: 28282 349 296 221 0 87 0
[pid=14892] ppid=14889 vsize=27314120 memory=128420 CPUtime=0.43 cores=0-7
/proc/14892/stat : 14892 (java) S 14889 14889 12970 0 -1 1077944320 11968 0 0 0 39 4 0 0 20 0 20 0 418455768 27969658880 32105 33554432000 4194304 4196468 140726183002320 140726182984864 140190652919543 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
/proc/14892/statm: 6828530 32105 3034 1 0 6790935 0
[pid=14892/tid=14893] ppid=14889 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/14892/task/14893/stat : 14893 (java) R 14889 14889 12970 0 -1 4202560 9520 0 0 0 27 3 0 0 20 0 20 0 418455768 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190624713648 140190636106352 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14894] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14894/stat : 14894 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190657161872 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14895] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14895/stat : 14895 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190075566608 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14896] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14896/stat : 14896 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190074513808 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14897] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14897/stat : 14897 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190073461008 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14898] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14898/stat : 14898 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190072409232 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14899] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14899/stat : 14899 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190071356432 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14900] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14900/stat : 14900 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190070303632 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14901] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14901/stat : 14901 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455771 27969658880 32105 33554432000 4194304 4196468 140726183002320 140190069250832 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14902] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14902/stat : 14902 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455772 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188704704880 140190652930690 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14903] ppid=14889 vsize=27314120 memory=279854029413760 CPUtime=0 cores=0-7
/proc/14892/task/14903/stat : 14903 (java) S 14889 14889 12970 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 418455773 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188604949536 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14904] ppid=14889 vsize=27314120 memory=279854029418368 CPUtime=0 cores=0-7
/proc/14892/task/14904/stat : 14904 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455773 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188336513904 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14905] ppid=14889 vsize=27314120 memory=279854029422976 CPUtime=0 cores=0-7
/proc/14892/task/14905/stat : 14905 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455775 27969658880 32105 33554432000 4194304 4196468 140726183002320 140187962005328 140190652938139 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14906] ppid=14889 vsize=27314120 memory=279854029427584 CPUtime=0.01 cores=0-7
/proc/14892/task/14906/stat : 14906 (java) S 14889 14889 12970 0 -1 1077944384 409 0 0 0 1 0 0 0 20 0 20 0 418455775 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188703652720 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14907] ppid=14889 vsize=27314120 memory=279854029432192 CPUtime=0.01 cores=0-7
/proc/14892/task/14907/stat : 14907 (java) S 14889 14889 12970 0 -1 1077944384 170 0 0 0 1 0 0 0 20 0 20 0 418455775 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188702599920 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14908] ppid=14889 vsize=27314120 memory=279854029436800 CPUtime=0.01 cores=0-7
/proc/14892/task/14908/stat : 14908 (java) R 14889 14889 12970 0 -1 4202560 35 0 0 0 1 0 0 0 20 0 20 0 418455775 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188701547120 140190630554192 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14909] ppid=14889 vsize=27314120 memory=279854029441408 CPUtime=0.07 cores=0-7
/proc/14892/task/14909/stat : 14909 (java) S 14889 14889 12970 0 -1 1077944384 500 0 0 0 7 0 0 0 20 0 20 0 418455775 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188700494320 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14910] ppid=14889 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14910/stat : 14910 (java) S 14889 14889 12970 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 418455776 27969658880 32105 33554432000 4194304 4196468 140726183002320 140187464100448 140190652929749 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14911] ppid=14889 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/14892/task/14911/stat : 14911 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455776 27969658880 32105 33554432000 4194304 4196468 140726183002320 140188699441712 140190652930690 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 129816 KiB

[startup+0.700889 s]
/proc/loadavg: 7.71 8.12 8.15 3/210 14911
/proc/meminfo: memFree=26443792/32770624 swapFree=66977616/67108860
[pid=14889] ppid=14886 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/14889/stat : 14889 (scop.sh) S 14886 14889 12970 0 -1 4202496 558 319 0 0 0 0 0 0 20 0 1 0 418455768 115843072 349 33554432000 4194304 5098028 140724077085680 140724077082936 139826022142588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22536192 140724077089572 140724077089900 140724077089900 140724077092813 0
/proc/14889/statm: 28282 349 296 221 0 87 0
[pid=14892] ppid=14889 vsize=27320392 memory=164908 CPUtime=0.99 cores=0-7
/proc/14892/stat : 14892 (java) S 14889 14889 12970 0 -1 1077944320 19797 0 0 0 93 6 0 0 20 0 20 0 418455768 27976081408 41227 33554432000 4194304 4196468 140726183002320 140726182984864 140190652919543 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
/proc/14892/statm: 6830098 41227 3181 1 0 6791447 0
[pid=14892/tid=14893] ppid=14889 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/14892/task/14893/stat : 14893 (java) R 14889 14889 12970 0 -1 4202560 16958 0 0 0 63 5 0 0 20 0 20 0 418455768 27976081408 41227 33554432000 4194304 4196468 140726183002320 140190624756752 140190652941469 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14894] ppid=14889 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14894/stat : 14894 (java) S 14889 14889 12970 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 418455771 27976081408 41227 33554432000 4194304 4196468 140726183002320 140190657161872 140190652929749 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14895] ppid=14889 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/14892/task/14895/stat : 14895 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27976081408 41227 33554432000 4194304 4196468 140726183002320 140190075566608 140190652929749 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0
[pid=14892/tid=14896] ppid=14889 vsize=27320392 memory=1056 CPUtime=0 cores=0-7
/proc/14892/task/14896/stat : 14896 (java) S 14889 14889 12970 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 418455771 27976081408 41227 33554432000 4194304 4196468 140726183002320 140190074513808 140190652929749 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14606336 140726183006954 140726183007382 140726183007382 140726183010255 0

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

[pid=14942/tid=14943] ppid=14889 vsize=8414124 memory=3616 CPUtime=36.76 cores=0-7
/proc/14942/task/14943/stat : 14943 (java) S 14889 14889 12970 0 -1 1077944384 17408 1145001 0 0 77 9 3243 347 20 0 23 0 418490925 8616062976 132757 33554432000 4194304 4196468 140722854411088 140444019695520 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14944] ppid=14889 vsize=8414124 memory=41092 CPUtime=35.9 cores=0-7
/proc/14942/task/14944/stat : 14944 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 132757 33554432000 4194304 4196468 140722854411088 140444052097424 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14945] ppid=14889 vsize=8414124 memory=988 CPUtime=35.9 cores=0-7
/proc/14942/task/14945/stat : 14945 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 132757 33554432000 4194304 4196468 140722854411088 140443852265744 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14946] ppid=14889 vsize=8414124 memory=6791534058613427641 CPUtime=35.9 cores=0-7
/proc/14942/task/14946/stat : 14946 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 132757 33554432000 4194304 4196468 140722854411088 140443851213456 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14947] ppid=14889 vsize=8414124 memory=41092 CPUtime=35.9 cores=0-7
/proc/14942/task/14947/stat : 14947 (java) S 14889 14889 12970 0 -1 1077944384 2 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 132757 33554432000 4194304 4196468 140722854411088 140443850160656 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14948] ppid=14889 vsize=8414124 memory=988 CPUtime=35.9 cores=0-7
/proc/14942/task/14948/stat : 14948 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 132757 33554432000 4194304 4196468 140722854411088 140443849108368 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14949] ppid=14889 vsize=8414124 memory=2004 CPUtime=35.9 cores=0-7
/proc/14942/task/14949/stat : 14949 (java) S 14889 14889 12970 0 -1 1077944384 2 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 132757 33554432000 4194304 4196468 140722854411088 140443848055568 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14950] ppid=14889 vsize=8414124 memory=1476 CPUtime=35.9 cores=0-7
/proc/14942/task/14950/stat : 14950 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 133269 33554432000 4194304 4196468 140722854411088 140443847003280 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14951] ppid=14889 vsize=8414124 memory=186572 CPUtime=35.9 cores=0-7
/proc/14942/task/14951/stat : 14951 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 133269 33554432000 4194304 4196468 140722854411088 140443845950480 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14952] ppid=14889 vsize=8414124 memory=6612316 CPUtime=35.9 cores=0-7
/proc/14942/task/14952/stat : 14952 (java) S 14889 14889 12970 0 -1 1077944384 5 1145001 0 0 0 0 3243 347 20 0 23 0 418490928 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442872014960 140444047866498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14953] ppid=14889 vsize=8414124 memory=4156 CPUtime=35.9 cores=0-7
/proc/14942/task/14953/stat : 14953 (java) S 14889 14889 12970 0 -1 1077944384 13 1145001 0 0 0 0 3243 347 20 0 23 0 418490928 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442679108384 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14954] ppid=14889 vsize=8414124 memory=4100 CPUtime=35.9 cores=0-7
/proc/14942/task/14954/stat : 14954 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490929 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442410673264 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14955] ppid=14889 vsize=8414124 memory=1412 CPUtime=35.9 cores=0-7
/proc/14942/task/14955/stat : 14955 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490931 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442036164688 140444047873947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14956] ppid=14889 vsize=8414124 memory=3444 CPUtime=36.15 cores=0-7
/proc/14942/task/14956/stat : 14956 (java) S 14889 14889 12970 0 -1 1077944384 689 1145001 0 0 25 0 3243 347 20 0 23 0 418490931 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442870962800 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14957] ppid=14889 vsize=8414124 memory=1476 CPUtime=36.08 cores=0-7
/proc/14942/task/14957/stat : 14957 (java) S 14889 14889 12970 0 -1 1077944384 602 1145001 0 0 18 0 3243 347 20 0 23 0 418490931 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442869910000 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14958] ppid=14889 vsize=8414124 memory=129404 CPUtime=36.08 cores=0-7
/proc/14942/task/14958/stat : 14958 (java) S 14889 14889 12970 0 -1 1077944384 605 1145001 0 0 18 0 3243 347 20 0 23 0 418490931 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442868857712 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14959] ppid=14889 vsize=8414124 memory=7552 CPUtime=36.2 cores=0-7
/proc/14942/task/14959/stat : 14959 (java) S 14889 14889 12970 0 -1 1077944384 1131 1145001 0 0 30 0 3243 347 20 0 23 0 418490932 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442867804912 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14960] ppid=14889 vsize=8414124 memory=2832 CPUtime=35.9 cores=0-7
/proc/14942/task/14960/stat : 14960 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490932 8616062976 133269 33554432000 4194304 4196468 140722854411088 140441538259296 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14961] ppid=14889 vsize=8414124 memory=1084 CPUtime=35.9 cores=0-7
/proc/14942/task/14961/stat : 14961 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490932 8616062976 133269 33554432000 4194304 4196468 140722854411088 140442866751792 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14963] ppid=14889 vsize=8414124 memory=14012 CPUtime=35.9 cores=0-7
/proc/14942/task/14963/stat : 14963 (java) S 14889 14889 12970 0 -1 1077944384 24 1145001 0 0 0 0 3243 347 20 0 23 0 418491009 8616062976 133269 33554432000 4194304 4196468 140722854411088 140443484815888 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14965] ppid=14889 vsize=8414124 memory=14048 CPUtime=36.46 cores=0-7
/proc/14942/task/14965/stat : 14965 (java) R 14889 14889 12970 0 -1 4202560 245 1145001 0 0 46 10 3243 347 20 0 23 0 418491009 8616062976 133269 33554432000 4194304 4196468 140722854411088 140440867160896 140443503112959 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14967] ppid=14889 vsize=8414124 memory=2120 CPUtime=35.9 cores=0-7
/proc/14942/task/14967/stat : 14967 (java) S 14889 14889 12970 0 -1 1077944384 4 1145001 0 0 0 0 3243 347 20 0 23 0 418491011 8616062976 133269 33554432000 4194304 4196468 140722854411088 140440598732352 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
Current children cumulated CPU time: 455.45 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 532504 KiB

[startup+366.801 s]
/proc/loadavg: 1.68 3.36 5.93 2/216 14975
/proc/meminfo: memFree=19530948/32770624 swapFree=66977616/67108860
[pid=14889] ppid=14886 vsize=113128 memory=1476 CPUtime=417.17 cores=0-7
/proc/14889/stat : 14889 (scop.sh) S 14886 14889 12970 0 -1 4202496 584 142545 0 0 0 0 40389 1328 20 0 1 0 418455768 115843072 369 33554432000 4194304 5098028 140724077085680 140724077082424 139826022142588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22536192 140724077089572 140724077089900 140724077089900 140724077092813 0
/proc/14889/statm: 28282 369 311 221 0 87 0
[pid=14942] ppid=14889 vsize=8414124 memory=721864 CPUtime=38.79 cores=0-7
/proc/14942/stat : 14942 (java) S 14889 14889 12970 0 -1 1077944320 22213 1145001 0 0 267 22 3243 347 20 0 23 0 418490924 8616062976 180466 33554432000 4194304 4196468 140722854411088 140722854393632 140444047855351 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
/proc/14942/statm: 2103531 180466 3230 1 0 2064875 0
[pid=14942/tid=14943] ppid=14889 vsize=8414124 memory=6791534058613427641 CPUtime=36.76 cores=0-7
/proc/14942/task/14943/stat : 14943 (java) S 14889 14889 12970 0 -1 1077944384 17408 1145001 0 0 77 9 3243 347 20 0 23 0 418490925 8616062976 180466 33554432000 4194304 4196468 140722854411088 140444019695520 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14944] ppid=14889 vsize=8414124 memory=4156 CPUtime=35.9 cores=0-7
/proc/14942/task/14944/stat : 14944 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140444052097424 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14945] ppid=14889 vsize=8414124 memory=5787477641288517003 CPUtime=35.9 cores=0-7
/proc/14942/task/14945/stat : 14945 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443852265744 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14946] ppid=14889 vsize=8414124 memory=1412 CPUtime=35.9 cores=0-7
/proc/14942/task/14946/stat : 14946 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443851213456 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14947] ppid=14889 vsize=8414124 memory=3348 CPUtime=35.9 cores=0-7
/proc/14942/task/14947/stat : 14947 (java) S 14889 14889 12970 0 -1 1077944384 2 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443850160656 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14948] ppid=14889 vsize=8414124 memory=1476 CPUtime=35.9 cores=0-7
/proc/14942/task/14948/stat : 14948 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443849108368 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14949] ppid=14889 vsize=8414124 memory=6791534058613427641 CPUtime=35.9 cores=0-7
/proc/14942/task/14949/stat : 14949 (java) S 14889 14889 12970 0 -1 1077944384 2 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443848055568 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14950] ppid=14889 vsize=8414124 memory=1556 CPUtime=35.9 cores=0-7
/proc/14942/task/14950/stat : 14950 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443847003280 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14951] ppid=14889 vsize=8414124 memory=780 CPUtime=35.9 cores=0-7
/proc/14942/task/14951/stat : 14951 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490926 8616062976 180466 33554432000 4194304 4196468 140722854411088 140443845950480 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14952] ppid=14889 vsize=8414124 memory=3252 CPUtime=35.9 cores=0-7
/proc/14942/task/14952/stat : 14952 (java) S 14889 14889 12970 0 -1 1077944384 5 1145001 0 0 0 0 3243 347 20 0 23 0 418490928 8616062976 180466 33554432000 4194304 4196468 140722854411088 140442872014960 140444047866498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14953] ppid=14889 vsize=8414124 memory=1112 CPUtime=35.9 cores=0-7
/proc/14942/task/14953/stat : 14953 (java) S 14889 14889 12970 0 -1 1077944384 13 1145001 0 0 0 0 3243 347 20 0 23 0 418490928 8616062976 180466 33554432000 4194304 4196468 140722854411088 140442679108384 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14954] ppid=14889 vsize=8414124 memory=5972 CPUtime=35.9 cores=0-7
/proc/14942/task/14954/stat : 14954 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490929 8616062976 180466 33554432000 4194304 4196468 140722854411088 140442410673264 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14955] ppid=14889 vsize=8414124 memory=7552 CPUtime=35.9 cores=0-7
/proc/14942/task/14955/stat : 14955 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 23 0 418490931 8616062976 180466 33554432000 4194304 4196468 140722854411088 140442036164688 140444047873947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14956] ppid=14889 vsize=8414124 memory=2832 CPUtime=36.17 cores=0-7
/proc/14942/task/14956/stat : 14956 (java) S 14889 14889 12970 0 -1 1077944384 699 1145001 0 0 27 0 3243 347 20 0 23 0 418490931 8616062976 180978 33554432000 4194304 4196468 140722854411088 140442870962800 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14957] ppid=14889 vsize=8414124 memory=1084 CPUtime=36.11 cores=0-7
/proc/14942/task/14957/stat : 14957 (java) S 14889 14889 12970 0 -1 1077944384 608 1145001 0 0 21 0 3243 347 20 0 23 0 418490931 8616062976 180978 33554432000 4194304 4196468 140722854411088 140442869910000 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14958] ppid=14889 vsize=8414124 memory=14012 CPUtime=36.12 cores=0-7
/proc/14942/task/14958/stat : 14958 (java) S 14889 14889 12970 0 -1 1077944384 616 1145001 0 0 22 0 3243 347 20 0 23 0 418490931 8616062976 180978 33554432000 4194304 4196468 140722854411088 140442868857712 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14959] ppid=14889 vsize=8414124 memory=1476 CPUtime=36.21 cores=0-7
/proc/14942/task/14959/stat : 14959 (java) S 14889 14889 12970 0 -1 1077944384 1145 1145001 0 0 31 0 3243 347 20 0 23 0 418490932 8616062976 180978 33554432000 4194304 4196468 140722854411088 140442867804912 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14960] ppid=14889 vsize=8414124 memory=129404 CPUtime=35.9 cores=0-7
/proc/14942/task/14960/stat : 14960 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490932 8616062976 180978 33554432000 4194304 4196468 140722854411088 140441538259296 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14961] ppid=14889 vsize=8414124 memory=6594056 CPUtime=35.9 cores=0-7
/proc/14942/task/14961/stat : 14961 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 23 0 418490932 8616062976 180978 33554432000 4194304 4196468 140722854411088 140442866751792 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14963] ppid=14889 vsize=8414124 memory=63947768098928 CPUtime=35.9 cores=0-7
/proc/14942/task/14963/stat : 14963 (java) S 14889 14889 12970 0 -1 1077944384 24 1145001 0 0 0 0 3243 347 20 0 23 0 418491009 8616062976 180978 33554432000 4194304 4196468 140722854411088 140443484815888 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14965] ppid=14889 vsize=8414124 memory=11665 CPUtime=36.86 cores=0-7
/proc/14942/task/14965/stat : 14965 (java) R 14889 14889 12970 0 -1 4202560 344 1145001 0 0 85 11 3243 347 20 0 23 0 418491009 8616062976 180978 33554432000 4194304 4196468 140722854411088 140440867164160 140443505147432 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14967] ppid=14889 vsize=8414124 memory=576587670355022432 CPUtime=35.9 cores=0-7
/proc/14942/task/14967/stat : 14967 (java) S 14889 14889 12970 0 -1 1077944384 4 1145001 0 0 0 0 3243 347 20 0 23 0 418491011 8616062976 180978 33554432000 4194304 4196468 140722854411088 140440598732352 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
Current children cumulated CPU time: 455.96 s
Current children cumulated vsize: 8527252 KiB
Current children cumulated memory: 723340 KiB

[startup+367.001 s]*
/proc/loadavg: 1.68 3.36 5.93 3/213 14975
/proc/meminfo: memFree=25659576/32770624 swapFree=66977616/67108860
[pid=14889] ppid=14886 vsize=113128 memory=1476 CPUtime=417.17 cores=0-7
/proc/14889/stat : 14889 (scop.sh) S 14886 14889 12970 0 -1 4202496 584 142545 0 0 0 0 40389 1328 20 0 1 0 418455768 115843072 369 33554432000 4194304 5098028 140724077085680 140724077082424 139826022142588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 22536192 140724077089572 140724077089900 140724077089900 140724077092813 0
/proc/14889/statm: 28282 369 311 221 0 87 0
[pid=14942] ppid=14889 vsize=8283048 memory=733920 CPUtime=39.15 cores=0-7
/proc/14942/stat : 14942 (java) S 14889 14889 12970 0 -1 1077944320 23707 1145001 0 0 300 25 3243 347 20 0 22 0 418490924 8481841152 183480 33554432000 4194304 4196468 140722854411088 140722854393632 140444047855351 0 0 2 25189581 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
/proc/14942/statm: 2070762 183480 3236 1 0 2032106 0
[pid=14942/tid=14943] ppid=14889 vsize=8283048 memory=8317482817917895235 CPUtime=36.93 cores=0-7
/proc/14942/task/14943/stat : 14943 (java) R 14889 14889 12970 0 -1 4202560 18644 1145001 0 0 92 11 3243 347 20 0 22 0 418490925 8481841152 183480 33554432000 4194304 4196468 140722854411088 140444019691936 140444040540983 0 4 2 25189581 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14944] ppid=14889 vsize=8283048 memory=7161944076926080365 CPUtime=35.9 cores=0-7
/proc/14942/task/14944/stat : 14944 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140444052097424 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14945] ppid=14889 vsize=8283048 memory=6010730113877169517 CPUtime=35.9 cores=0-7
/proc/14942/task/14945/stat : 14945 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443852265744 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14946] ppid=14889 vsize=8283048 memory=7446193177944747365 CPUtime=35.9 cores=0-7
/proc/14942/task/14946/stat : 14946 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443851213456 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14947] ppid=14889 vsize=8283048 memory=7667495125330974061 CPUtime=35.9 cores=0-7
/proc/14942/task/14947/stat : 14947 (java) S 14889 14889 12970 0 -1 1077944384 2 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443850160656 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14948] ppid=14889 vsize=8283048 memory=7162247542135346541 CPUtime=35.9 cores=0-7
/proc/14942/task/14948/stat : 14948 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443849108368 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14949] ppid=14889 vsize=8283048 memory=3548383874484888941 CPUtime=35.9 cores=0-7
/proc/14942/task/14949/stat : 14949 (java) S 14889 14889 12970 0 -1 1077944384 2 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443848055568 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14950] ppid=14889 vsize=8283048 memory=3548383874484888941 CPUtime=35.9 cores=0-7
/proc/14942/task/14950/stat : 14950 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443847003280 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14951] ppid=14889 vsize=8283048 memory=3548383874484888941 CPUtime=35.9 cores=0-7
/proc/14942/task/14951/stat : 14951 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 22 0 418490926 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443845950480 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14952] ppid=14889 vsize=8283048 memory=3548383874484888941 CPUtime=35.9 cores=0-7
/proc/14942/task/14952/stat : 14952 (java) S 14889 14889 12970 0 -1 1077944384 5 1145001 0 0 0 0 3243 347 20 0 22 0 418490928 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442872014960 140444047866498 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14953] ppid=14889 vsize=8283048 memory=7306903689932068205 CPUtime=35.9 cores=0-7
/proc/14942/task/14953/stat : 14953 (java) S 14889 14889 12970 0 -1 1077944384 13 1145001 0 0 0 0 3243 347 20 0 22 0 418490928 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442679108384 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14954] ppid=14889 vsize=8283048 memory=6010455235970225517 CPUtime=35.9 cores=0-7
/proc/14942/task/14954/stat : 14954 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 22 0 418490929 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442410673264 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14955] ppid=14889 vsize=8283048 memory=4641920837626183268 CPUtime=35.9 cores=0-7
/proc/14942/task/14955/stat : 14955 (java) S 14889 14889 12970 0 -1 1077944384 1 1145001 0 0 0 0 3243 347 20 0 22 0 418490931 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442036164688 140444047873947 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14956] ppid=14889 vsize=8283048 memory=7230082144711553342 CPUtime=36.21 cores=0-7
/proc/14942/task/14956/stat : 14956 (java) S 14889 14889 12970 0 -1 1077944384 723 1145001 0 0 31 0 3243 347 20 0 22 0 418490931 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442870962800 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14957] ppid=14889 vsize=8283048 memory=5793409661284728420 CPUtime=36.13 cores=0-7
/proc/14942/task/14957/stat : 14957 (java) S 14889 14889 12970 0 -1 1077944384 623 1145001 0 0 23 0 3243 347 20 0 22 0 418490931 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442869910000 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14958] ppid=14889 vsize=8283048 memory=7667495125330974061 CPUtime=36.13 cores=0-7
/proc/14942/task/14958/stat : 14958 (java) S 14889 14889 12970 0 -1 1077944384 629 1145001 0 0 23 0 3243 347 20 0 22 0 418490931 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442868857712 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14959] ppid=14889 vsize=8283048 memory=7740655667640821024 CPUtime=36.3 cores=0-7
/proc/14942/task/14959/stat : 14959 (java) S 14889 14889 12970 0 -1 1077944384 1338 1145001 0 0 40 0 3243 347 20 0 22 0 418490932 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442867804912 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14960] ppid=14889 vsize=8283048 memory=4639098309541114430 CPUtime=35.9 cores=0-7
/proc/14942/task/14960/stat : 14960 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 22 0 418490932 8481841152 183480 33554432000 4194304 4196468 140722854411088 140441538259296 140444047865557 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14961] ppid=14889 vsize=8283048 memory=7014751519667475761 CPUtime=35.9 cores=0-7
/proc/14942/task/14961/stat : 14961 (java) S 14889 14889 12970 0 -1 1077944384 3 1145001 0 0 0 0 3243 347 20 0 22 0 418490932 8481841152 183480 33554432000 4194304 4196468 140722854411088 140442866751792 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14963] ppid=14889 vsize=8283048 memory=6297835844906604855 CPUtime=35.9 cores=0-7
/proc/14942/task/14963/stat : 14963 (java) S 14889 14889 12970 0 -1 1077944384 24 1145001 0 0 0 0 3243 347 20 0 22 0 418491009 8481841152 183480 33554432000 4194304 4196468 140722854411088 140443484815888 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
[pid=14942/tid=14967] ppid=14889 vsize=8283048 memory=6153431502485415729 CPUtime=35.9 cores=0-7
/proc/14942/task/14967/stat : 14967 (java) S 14889 14889 12970 0 -1 1077944384 11 1145001 0 0 0 0 3243 347 20 0 22 0 418491011 8481841152 183480 33554432000 4194304 4196468 140722854411088 140440598734384 140444047866498 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19628032 140722854413303 140722854413462 140722854413462 140722854416335 0
Current children cumulated CPU time: 456.32 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 735396 KiB

Child status: 0
Real time (s): 367.045
CPU time (s): 456.381
CPU user time (s): 439.34
CPU system time (s): 17.0411
CPU usage (%): 124.339
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 10788164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.34
system time used= 17.0411
maximum resident set size= 10786948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1311876
page faults= 0
swaps= 0
block input operations= 0
block output operations= 394728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96408
involuntary context switches= 1266


# summary of solver processes directly reported to runsolver:
#   pid: 14889
#   total CPU time (s): 456.381
#   total CPU user time (s): 439.34
#   total CPU system time (s): 17.0411

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.69603 second user time and 3.26834 second system time

The end

Launcher Data 

Begin job on node104 at 2019-09-14 01:36:08
IDJOB=4392678
IDBENCH=123205
IDSOLVER=2839
FILE ID=node104/4392678-1568421985
RUNJOBID= node104-1568412551-12997
PBS_JOBID= 21702262
Free space on /tmp= 59012 MiB

SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15)
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-600-co.xml
COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392678-1568421985/watcher-4392678-1568421985 -o /tmp/evaluation-result-4392678-1568421985/solver-4392678-1568421985 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1568412551-12997 --watchdog 2580  HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392678-1568421985.xml

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

MD5SUM BENCH= c8310886daa61c46dd98a045c4929b4c
RANDOM SEED=289336931

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        26585224 kB
MemAvailable:   31837296 kB
Buffers:          176116 kB
Cached:          5329560 kB
SwapCached:        31860 kB
Active:          1791924 kB
Inactive:        3750944 kB
Active(anon):       3904 kB
Inactive(anon):    74492 kB
Active(file):    1788020 kB
Inactive(file):  3676452 kB
Unevictable:      107776 kB
Mlocked:          107776 kB
SwapTotal:      67108860 kB
SwapFree:       66977616 kB
Dirty:             20364 kB
Writeback:             0 kB
AnonPages:        126188 kB
Mapped:            44424 kB
Shmem:             32780 kB
Slab:             236896 kB
SReclaimable:     206872 kB
SUnreclaim:        30024 kB
KernelStack:        3696 kB
PageTables:         4776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     489204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58992 MiB
End job on node104 at 2019-09-14 01:42:15