Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 1445.09 | 1166.52 |
Name | MagicSequence/MagicSequence-card-s1/ MagicSequence-1000-ca.xml |
MD5SUM | d2780e3631970b53a6f91cd037f7d107 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 3.15721 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 1000 |
Number of constraints | 3 |
Number of domains | 1 |
Minimum domain size | 1000 |
Maximum domain size | 1000 |
Distribution of domain sizes | [{"size":1000,"count":1000}] |
Minimum variable degree | 3 |
Maximum variable degree | 3 |
Distribution of variable degrees | [{"degree":3,"count":1000}] |
Minimum constraint arity | 1000 |
Maximum constraint arity | 1000 |
Distribution of constraint arities | [{"arity":1000,"count":3}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":2},{"type":"cardinality","count":1}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -order -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-1726-serial-file.bin HOME/instance-4405157-1569240640.xml 0.66/0.54 0.66/0.54 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 0.66/0.54 0.66/0.57 c BEGIN-Prog: Mon Sep 23 14:12:51 CEST 2019 0.66/0.57 c PID: 1729 0.66/0.57 c IP: 172.20.3.139 0.66/0.57 c HOST: node139.alineos.net 0.66/0.58 c (0,0) Parsing Begin 1.78/1.08 c (0,0) Parsing End 1.78/1.09 c (0,0) CSP: 1000 int (0 aux), 0 bool (0 aux), 3 ctr, max domain size 1000 1.78/1.09 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.78/1.09 c (0,0) Constraint Name Generate Begin 1.78/1.10 c (0,0) Ctr:HOME/instance-4405157-1569240640.xml,Cardinality:Num:Var:WeightedSum 1.78/1.10 c (0,0) Constraint Name Generate End 1.78/1.10 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 19 MiB used (max 0 MiB) 1.78/1.10 c (0,0) CSP to CSPinCNF Begin 2.17/1.14 c (0,0) translated 1 (10%) constraints 689.72/618.38 c (617,607) translated 2 (20%) constraints 690.59/619.17 c (618,608) translated 3 (30%) constraints 691.40/619.96 c (619,609) =========================================== 691.50/620.05 c (619,609) Order 691.50/620.05 c (619,609) =========================================== 887.22/791.43 c (790,777) translated 200101 (10%) constraints 896.73/800.91 c (800,787) translated 400201 (20%) constraints 913.46/812.01 c (811,797) translated 600301 (30%) constraints 922.87/821.48 c (820,807) translated 800401 (40%) constraints 940.62/831.99 c (831,816) translated 1000501 (50%) constraints 950.17/841.44 c (840,826) translated 1200602 (60%) constraints 964.36/851.50 c (850,835) translated 1400702 (70%) constraints 973.87/861.00 c (860,845) translated 1600802 (80%) constraints 983.87/871.01 c (870,855) translated 1800902 (90%) constraints 1001.66/881.72 c (881,864) translated 2001002 (100%) constraints 1001.87/881.95 c (881,865) CSP to CSPinCNF End 1002.51/882.57 c (882,865) CSP: 311068 int (310567 aux), 2003992 bool (2003493 aux), 4630124 ctr, max domain size 69750 1002.51/882.57 c (882,865) Heap : 9909 MiB used (max 21622 MiB), NonHeap : 27 MiB used (max 0 MiB) 1002.51/882.57 c (882,865) CSPinCNF Propagation Begin 1129.71/960.08 c (959,936) 10669457 values, 3965448 unsatisfiable literals, and 4525250 valid clauses are removed 1129.71/960.08 c (959,936) CSPinCNF Propagation End 1130.71/961.07 c (960,937) CSP: 16160 int (15659 aux), 2298900 bool (2298401 aux), 104874 ctr, max domain size 1083 1130.71/961.07 c (960,937) Heap : 15030 MiB used (max 21691 MiB), NonHeap : 26 MiB used (max 0 MiB) 1130.92/961.27 c (960,937) Simplify CSPinCNF Begin 1131.44/961.53 c (960,937) Simplify CSPinCNF End 1132.44/962.52 c (961,938) CSP: 16160 int (15659 aux), 2298900 bool (2298401 aux), 104874 ctr, max domain size 1083 1132.44/962.52 c (961,938) Heap : 15146 MiB used (max 21691 MiB), NonHeap : 27 MiB used (max 0 MiB) 1132.44/962.52 c (961,938) Calculate Precise Domain Begin 1145.05/967.64 c (967,942) 390661 values are removed by re-calculation 1145.05/967.64 c (967,942) Calculate Precise Domain End 1146.06/968.64 c (968,943) CSP: 16160 int (15659 aux), 2298900 bool (2298401 aux), 104874 ctr, max domain size 1083 1146.06/968.64 c (968,943) Heap : 12540 MiB used (max 21643 MiB), NonHeap : 29 MiB used (max 0 MiB) 1146.06/968.64 c (968,943) CSPinCNF to SatSolver Begin 1167.69/978.49 c (977,952) 10488 (10 %) CSP clauses are encoded (0 SAT variables, 3326413 SAT clauses) 1168.40/978.89 c (978,952) 20975 (20 %) CSP clauses are encoded (0 SAT variables, 3392385 SAT clauses) 1168.70/979.14 c (978,953) 31463 (30 %) CSP clauses are encoded (0 SAT variables, 3423559 SAT clauses) 1168.90/979.35 c (978,953) 41950 (40 %) CSP clauses are encoded (0 SAT variables, 3443594 SAT clauses) 1169.11/979.64 c (979,953) 52437 (50 %) CSP clauses are encoded (0 SAT variables, 3457757 SAT clauses) 1169.31/979.82 c (979,953) 62925 (60 %) CSP clauses are encoded (0 SAT variables, 3468793 SAT clauses) 1169.41/979.98 c (979,953) 73412 (70 %) CSP clauses are encoded (0 SAT variables, 3479538 SAT clauses) 1169.74/980.07 c (979,953) 83900 (80 %) CSP clauses are encoded (0 SAT variables, 3490026 SAT clauses) 1169.87/980.17 c (979,953) 94387 (90 %) CSP clauses are encoded (0 SAT variables, 3500513 SAT clauses) 1245.63/1050.04 c (1049,1013) 104874 (100 %) CSP clauses are encoded (0 SAT variables, 40923232 SAT clauses) 1245.63/1050.04 c (1049,1013) CSPinCNF to SatSolver End 1245.63/1050.04 c (1049,1013) Heap : 14602 MiB used (max 21843 MiB), NonHeap : 31 MiB used (max 0 MiB) 1245.68/1050.74 c (1050,1013) 377027 bool, 40923873 clause 1245.68/1050.74 c (1050,1013) Export Begin 1245.79/1050.89 c (1050,1013) Export to HOME/scop-1726-serial-file.bin 1245.79/1050.89 c (1050,1013) Export End 1245.79/1050.89 c (1050,1013) Export File Size: 0.15 MB 1245.79/1050.89 c (1050,1013) 0,0,882,960,961,968,1049,STOP-AFTER(DIMACS) 1245.79/1050.89 c END-Prog: Mon Sep 23 14:30:21 CEST 2019 0.00/1051.03 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1726-serial-file.bin 1246.76/1051.52 c (0,0) Read Serial File Begin 1246.76/1051.52 c (0,0) HOME/scop-1726-serial-file.bin 1247.03/1051.79 c (0,0) Read Serial File End 1247.34/1051.80 1247.34/1051.80 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 1247.34/1051.80 (Solving Process) 1247.34/1051.80 1247.34/1051.82 c BEGIN-Prog: Mon Sep 23 14:30:22 CEST 2019 1247.34/1051.82 c PID: 1830 1247.34/1051.82 c IP: 172.20.3.139 1247.34/1051.82 c HOST: node139.alineos.net 1247.34/1051.83 c (0,0) SatSolver.solve Begin 1247.34/1051.83 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405157-1569240640.xml-scop-1729.cnf 1247.34/1051.85 c (0,0) c 1247.34/1051.85 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) 1247.34/1051.85 c (0,0) c 1247.34/1051.85 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 1247.34/1051.85 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 1247.34/1051.85 c (0,0) c ========================================[ Problem Statistics ]=========================================== 1247.34/1051.85 c (0,0) c | | 1258.63/1062.92 c (11,0) c | Number of variables: 377027 | 1258.63/1062.92 c (11,0) c | Number of clauses: 40923606 | 1258.63/1062.92 c (11,0) c | Parse time: 10.02 s | 1258.63/1062.92 c (11,0) c | | 1260.64/1064.96 c (13,0) c | Too many clauses... No preprocessing | 1260.64/1064.96 c (13,0) c | Simplification time: 1.68 s | 1260.64/1064.96 c (13,0) c | | 1260.64/1064.96 c (13,0) c | One Solver is taking 3100.50Mb... Let's take 2 solvers for this run (max 40% of the maxmemory). | 1260.64/1064.96 c (13,0) c | Generating clones | 1261.54/1065.88 c (14,0) c | all clones generated. Memory = 5013.65Mb. | 1261.54/1065.88 c (14,0) c ========================================================================================================| 1261.54/1065.89 c (14,0) c 1261.54/1065.89 c (14,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1261.54/1065.89 c (14,0) c 1261.54/1065.89 c (14,0) c |-----------------------|------------|------------| 1261.54/1065.89 c (14,0) c | Threads | 0 | 1 | 1261.54/1065.89 c (14,0) c |-----------------------|------------|------------| 1261.54/1065.89 c (14,0) c | randomizeFirstDescent | False | True | 1261.54/1065.89 c (14,0) c | adaptStrategeis | True | False | 1261.54/1065.89 c (14,0) c | forceUnsatOnNewDescent| True | True | 1261.54/1065.89 c (14,0) c | Initial random_seed | 91648253 | 91648254 | 1261.54/1065.89 c (14,0) c | chanseokStrategy | False | False | 1261.54/1065.89 c (14,0) c | coLBDBound | 5 | 5 | 1261.54/1065.89 c (14,0) c | glureduce | True | True | 1261.54/1065.89 c (14,0) c | firstReduceDB | 2000 | 2000 | 1261.54/1065.89 c (14,0) c | incReduceDB | 300 | 300 | 1261.54/1065.89 c (14,0) c | luby_restart | False | False | 1261.54/1065.89 c (14,0) c | luby_restart_factor | 100 | 100 | 1261.54/1065.89 c (14,0) c | var_decay | 0.8000 | 0.8000 | 1261.54/1065.89 c (14,0) c | max_var_decay | 0.9500 | 0.9500 | 1261.54/1065.89 c (14,0) c | randomize_on_restarts | False | False | 1261.54/1065.89 c (14,0) c | remove_satisfied | True | True | 1261.54/1065.89 c (14,0) c |-----------------------|------------|------------| 1312.67/1095.54 c (44,0) c 1312.67/1095.54 c (44,0) c |------------------------------------------------------------------------------------------------------------------------| 1312.67/1095.54 c (44,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1312.67/1095.54 c (44,0) c |------------------------------------------------------------------------------------------------------------------------| 1312.67/1095.54 c (44,0) c | 0 | 1 | 1758 | 135 | 162095 | 134 | 2 | 0 | 0 | 259 | 20 | 0.189 | 1312.67/1095.54 c (44,0) c | 1 | 1 | 1371 | 123 | 163474 | 123 | 4 | 0 | 0 | 241 | 20 | 0.178 | 1312.67/1095.54 c (44,0) c 1312.67/1095.54 c (44,0) c synthesis 258 conflicts 16069790 propagations 4 conflicts/sec 270850 propagations/sec 1312.67/1095.54 c (44,0) c real: 43.6958 s, cpu: 59.331 s, memory: 5640.79 Mb 1366.24/1125.54 c (74,0) c 1366.24/1125.54 c (74,0) c |------------------------------------------------------------------------------------------------------------------------| 1366.24/1125.54 c (74,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1366.24/1125.54 c (74,0) c |------------------------------------------------------------------------------------------------------------------------| 1366.24/1125.54 c (74,0) c | 0 | 1 | 3379 | 311 | 247022 | 310 | 3 | 0 | 0 | 570 | 20 | 0.189 | 1366.24/1125.54 c (74,0) c | 1 | 1 | 1715 | 256 | 186677 | 255 | 5 | 0 | 0 | 551 | 20 | 0.178 | 1366.24/1125.54 c (74,0) c 1366.24/1125.54 c (74,0) c synthesis 567 conflicts 36896070 propagations 5 conflicts/sec 328204 propagations/sec 1366.24/1125.54 c (74,0) c real: 73.6958 s, cpu: 112.418 s, memory: 5669.31 Mb 1420.75/1154.54 c (103,0) c 1420.75/1154.54 c (103,0) c |------------------------------------------------------------------------------------------------------------------------| 1420.75/1154.54 c (103,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1420.75/1154.54 c (103,0) c |------------------------------------------------------------------------------------------------------------------------| 1420.75/1154.54 c (103,0) c | 0 | 1 | 4817 | 554 | 354423 | 553 | 9 | 0 | 0 | 1009 | 20 | 0.189 | 1420.75/1154.54 c (103,0) c | 1 | 1 | 3944 | 542 | 240388 | 542 | 8 | 0 | 0 | 1015 | 20 | 0.178 | 1420.75/1154.54 c (103,0) c 1420.75/1154.54 c (103,0) c synthesis 1096 conflicts 70608069 propagations 7 conflicts/sec 423967 propagations/sec 1420.75/1154.54 c (103,0) c real: 102.696 s, cpu: 166.541 s, memory: 5681.81 Mb 1443.14/1165.72 c (114,0) c 1443.14/1165.72 c (114,0) c real time : 113.876 s 1443.14/1165.72 c (114,0) c cpu time : 188.768 s 1443.14/1165.72 c (114,0) c 1443.14/1165.72 c (114,0) c 1443.14/1165.72 c (114,0) c 1443.14/1165.72 c (114,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 1443.14/1165.72 c (114,0) c 1443.14/1165.72 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.72 c (114,0) c | Threads | Total | 0 | 1 | 1443.14/1165.72 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.73 c (114,0) c | Conflicts | 1305 | 643 | 662 | 1443.14/1165.73 c (114,0) c | Decisions | 10761 | 6023 | 4738 | 1443.14/1165.73 c (114,0) c | Propagations | 83184711 | 40989521 | 42195190 | 1443.14/1165.73 c (114,0) c | ReduceDBs | 0 | 0 | 0 | 1443.14/1165.73 c (114,0) c | SimpDBs | 2 | 1 | 1 | 1443.14/1165.73 c (114,0) c | Restarts | 4 | 3 | 1 | 1443.14/1165.73 c (114,0) c | ForcedImports | 0 | 0 | 0 | 1443.14/1165.73 c (114,0) c | PropBinClauses| 296279949 | 175532042 | 120747907 | 1443.14/1165.73 c (114,0) c | PropPreBlocker| 11656273374 | 5854100946 | 5802172428 | 1443.14/1165.73 c (114,0) c | PropNotBlocker| 1934207973 | 975371607 | 958836366 | 1443.14/1165.73 c (114,0) c | LitFullScans | 15309554328 | 7106887183 | 8202667145 | 1443.14/1165.73 c (114,0) c | LitScanFracts | 1000510853 | 6411028 | 994099825 | 1443.14/1165.73 c (114,0) c | DecisionLevel0| 5 | 4 | 1 | 1443.14/1165.73 c (114,0) c | Periods | 2384 | 1183 | 1201 | 1443.14/1165.73 c (114,0) c | Margin | 40 | 20 | 20 | 1443.14/1165.73 c (114,0) c | Avg_Trail | | 270160 | 319390 | 1443.14/1165.73 c (114,0) c | Avg_DL | | 341 | 248 | 1443.14/1165.73 c (114,0) c | Avg_Res | | 0 | 0 | 1443.14/1165.73 c (114,0) c | Avg_Res_Seen | | 0 | 0 | 1443.14/1165.73 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.73 c (114,0) c | Exported | 19 | 9 | 10 | 1443.14/1165.73 c (114,0) c | Imported | 8 | 8 | 0 | 1443.14/1165.73 c (114,0) c | Good | 5 | 5 | 0 | 1443.14/1165.73 c (114,0) c | Purge | 3 | 3 | 0 | 1443.14/1165.73 c (114,0) c | Promoted | 0 | 0 | 0 | 1443.14/1165.73 c (114,0) c | Remove_Imp | 0 | 0 | 0 | 1443.14/1165.73 c (114,0) c | Blocked_Reuse | 0 | 0 | 0 | 1443.14/1165.73 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.73 c (114,0) c | Unaries | | 1 | 0 | 1443.14/1165.73 c (114,0) c | Binaries | | 4 | 5 | 1443.14/1165.73 c (114,0) c | Glues | | 9 | 10 | 1443.14/1165.73 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.73 c (114,0) c | Orig_Seen | 0 % | 382304 | 253041 | 1443.14/1165.73 c (114,0) c | Diff Orig seen| | X | - 129263 | 1443.14/1165.73 c (114,0) c | Hamming | 5 % | X | 19534 | 1443.14/1165.73 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.73 c (114,0) c | RunningTime | | 83.4 84%| 98.2 98%| 1443.14/1165.73 c (114,0) c | WaitingTime | | 16.4 16%| 1.6 2%| 1443.14/1165.73 c (114,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 1443.14/1165.73 c (114,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 1443.14/1165.73 c (114,0) c | SolvingTime | | 99.8 | 99.8 | 1443.14/1165.73 c (114,0) c | PropagationTim| | 96.7 97%| 68.1 68%| 1443.14/1165.73 c (114,0) c | AnalysisTime | | 2.4 2%| 31.3 31%| 1443.14/1165.73 c (114,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 1443.14/1165.73 c (114,0) c | SimplifyTime | | 0.0 0%| 0.0 0%| 1443.14/1165.73 c (114,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 1443.14/1165.73 c (114,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 1443.14/1165.73 c (114,0) c |---------------|-----------------|------------|------------| 1443.14/1165.73 c (114,0) c 1443.14/1165.73 c (114,0) c 1443.14/1165.73 c (114,0) c Threads : 2 1443.14/1165.73 c (114,0) c Winner : 0 1443.14/1165.73 c (114,0) c Conflicts_0 : 643 1443.14/1165.73 c (114,0) c Conflicts_1 : 662 1443.14/1165.73 c (114,0) c Conflicts_total : 1305 1443.14/1165.73 c (114,0) c Conflicts_winner : 643 1443.14/1165.73 c (114,0) c Decisions_0 : 6023 1443.14/1165.73 c (114,0) c Decisions_1 : 4738 1443.14/1165.73 c (114,0) c Decisions_total : 10761 1443.14/1165.73 c (114,0) c Decisions_winner : 6023 1443.14/1165.73 c (114,0) c Propagations_0 : 40989521 1443.14/1165.73 c (114,0) c Propagations_1 : 42195190 1443.14/1165.73 c (114,0) c Propagations_total : 83184711 1443.14/1165.73 c (114,0) c Propagations_winner : 40989521 1443.14/1165.73 c (114,0) c ReduceDBs_0 : 0 1443.14/1165.73 c (114,0) c ReduceDBs_1 : 0 1443.14/1165.73 c (114,0) c ReduceDBs_total : 0 1443.14/1165.73 c (114,0) c ReduceDBs_winner : 0 1443.14/1165.73 c (114,0) c SimpDBs_0 : 1 1443.14/1165.73 c (114,0) c SimpDBs_1 : 1 1443.14/1165.73 c (114,0) c SimpDBs_total : 2 1443.14/1165.73 c (114,0) c SimpDBs_winner : 1 1443.14/1165.73 c (114,0) c Restarts_0 : 3 1443.14/1165.73 c (114,0) c Restarts_1 : 1 1443.14/1165.73 c (114,0) c Restarts_total : 4 1443.14/1165.73 c (114,0) c Restarts_winner : 3 1443.14/1165.73 c (114,0) c ForcedImports_0 : 0 1443.14/1165.73 c (114,0) c ForcedImports_1 : 0 1443.14/1165.73 c (114,0) c ForcedImports_total : 0 1443.14/1165.73 c (114,0) c ForcedImports_winner : 0 1443.14/1165.73 c (114,0) c PropsBinClauses_0 : 175532042 1443.14/1165.73 c (114,0) c PropsBinClauses_1 : 120747907 1443.14/1165.73 c (114,0) c PropsBinClauses_total : 296279949 1443.14/1165.73 c (114,0) c PropsBinClauses_winner : 175532042 1443.14/1165.73 c (114,0) c PropsPreBlocker_0 : 5854100946 1443.14/1165.73 c (114,0) c PropsPreBlocker_1 : 5802172428 1443.14/1165.73 c (114,0) c PropsPreBlocker_total : 11656273374 1443.14/1165.73 c (114,0) c PropsPreBlocker_winner : 5854100946 1443.14/1165.73 c (114,0) c PropsNotBlocker_0 : 975371607 1443.14/1165.73 c (114,0) c PropsNotBlocker_1 : 958836366 1443.14/1165.73 c (114,0) c PropsNotBlocker_total : 1934207973 1443.14/1165.73 c (114,0) c PropsNotBlocker_winner : 975371607 1443.14/1165.73 c (114,0) c PropsLitFullScans_0 : 7106887183 1443.14/1165.73 c (114,0) c PropsLitFullScans_1 : 8202667145 1443.14/1165.73 c (114,0) c PropsLitFullScans_total : 15309554328 1443.14/1165.73 c (114,0) c PropsLitFullScans_winner : 7106887183 1443.14/1165.73 c (114,0) c LitScanFractions_0 : 6411028 1443.14/1165.73 c (114,0) c LitScanFractions_1 : 994099825 1443.14/1165.73 c (114,0) c LitScanFractions_total : 1000510853 1443.14/1165.73 c (114,0) c LitScanFractions_winner : 6411028 1443.14/1165.73 c (114,0) c DecisionLevel0_0 : 4 1443.14/1165.73 c (114,0) c DecisionLevel0_1 : 1 1443.14/1165.73 c (114,0) c DecisionLevel0_total : 5 1443.14/1165.73 c (114,0) c DecisionLevel0_winner : 4 1443.14/1165.73 c (114,0) c Periods_0 : 1183 1443.14/1165.73 c (114,0) c Periods_1 : 1201 1443.14/1165.73 c (114,0) c Periods_total : 2384 1443.14/1165.73 c (114,0) c Periods_winner : 1183 1443.14/1165.73 c (114,0) c Margin_0 : 20 1443.14/1165.73 c (114,0) c Margin_1 : 20 1443.14/1165.73 c (114,0) c Margin_total : 40 1443.14/1165.73 c (114,0) c Margin_winner : 20 1443.14/1165.73 c (114,0) c Exported_0 : 9 1443.14/1165.73 c (114,0) c Exported_1 : 10 1443.14/1165.73 c (114,0) c Exported_total : 19 1443.14/1165.73 c (114,0) c Exported_winner : 9 1443.14/1165.73 c (114,0) c Imported_0 : 8 1443.14/1165.73 c (114,0) c Imported_1 : 0 1443.14/1165.73 c (114,0) c Imported_total : 8 1443.14/1165.73 c (114,0) c Imported_winner : 8 1443.14/1165.73 c (114,0) c Good_0 : 5 1443.14/1165.73 c (114,0) c Good_1 : 0 1443.14/1165.73 c (114,0) c Good_total : 5 1443.14/1165.73 c (114,0) c Good_winner : 5 1443.14/1165.73 c (114,0) c Purge_0 : 3 1443.14/1165.73 c (114,0) c Purge_1 : 0 1443.14/1165.73 c (114,0) c Purge_total : 3 1443.14/1165.73 c (114,0) c Purge_winner : 3 1443.14/1165.73 c (114,0) c Promoted_0 : 0 1443.14/1165.73 c (114,0) c Promoted_1 : 0 1443.14/1165.73 c (114,0) c Promoted_total : 0 1443.14/1165.73 c (114,0) c Promoted_winner : 0 1443.14/1165.73 c (114,0) c Remove_Imp_0 : 0 1443.14/1165.73 c (114,0) c Remove_Imp_1 : 0 1443.14/1165.73 c (114,0) c Remove_Imp_total : 0 1443.14/1165.73 c (114,0) c Remove_Imp_winner : 0 1443.14/1165.73 c (114,0) c Blocked_Reuse_0 : 0 1443.14/1165.73 c (114,0) c Blocked_Reuse_1 : 0 1443.14/1165.73 c (114,0) c Blocked_Reuse_total : 0 1443.14/1165.73 c (114,0) c Blocked_Reuse_winner : 0 1443.14/1165.73 c (114,0) c Unaries_0 : 1 1443.14/1165.73 c (114,0) c Unaries_1 : 0 1443.14/1165.73 c (114,0) c Unaries_total : 1 1443.14/1165.73 c (114,0) c Unaries_winner : 1 1443.14/1165.73 c (114,0) c Binaries_0 : 4 1443.14/1165.73 c (114,0) c Binaries_1 : 5 1443.14/1165.73 c (114,0) c Binaries_total : 9 1443.14/1165.73 c (114,0) c Binaries_winner : 4 1443.14/1165.73 c (114,0) c Glues_0 : 9 1443.14/1165.73 c (114,0) c Glues_1 : 10 1443.14/1165.73 c (114,0) c Glues_total : 19 1443.14/1165.73 c (114,0) c Glues_winner : 9 1443.14/1165.73 c (114,0) c RunningTime_0 : 83.354595 1443.14/1165.73 c (114,0) c RunningTime_1 : 98.238573 1443.14/1165.73 c (114,0) c RunningTime_total : 181.593168 1443.14/1165.73 c (114,0) c RunningTime_winner : 83.354595 1443.14/1165.73 c (114,0) c WaitingTime_0 : 16.417736 1443.14/1165.73 c (114,0) c WaitingTime_1 : 1.566665 1443.14/1165.73 c (114,0) c WaitingTime_total : 17.984401 1443.14/1165.73 c (114,0) c WaitingTime_winner : 16.417736 1443.14/1165.73 c (114,0) c ExchangingTime_0 : 0.002001 1443.14/1165.73 c (114,0) c ExchangingTime_1 : 0.002005 1443.14/1165.73 c (114,0) c ExchangingTime_total : 0.004006 1443.14/1165.73 c (114,0) c ExchangingTime_winner : 0.002001 1443.14/1165.73 c (114,0) c PeriodProcTime_0 : 0.011150 1443.14/1165.73 c (114,0) c PeriodProcTime_1 : 0.011478 1443.14/1165.73 c (114,0) c PeriodProcTime_total : 0.022628 1443.14/1165.73 c (114,0) c PeriodProcTime_winner : 0.011150 1443.14/1165.73 c (114,0) c SolvingTime_0 : 99.785482 1443.14/1165.73 c (114,0) c SolvingTime_1 : 99.818721 1443.14/1165.73 c (114,0) c SolvingTime_total : 199.604203 1443.14/1165.73 c (114,0) c SolvingTime_winner : 99.785482 1443.14/1165.73 c (114,0) c PropagationTime_0 : 96.684295 1443.14/1165.73 c (114,0) c PropagationTime_1 : 68.054290 1443.14/1165.73 c (114,0) c PropagationTime_total : 164.738585 1443.14/1165.73 c (114,0) c PropagationTime_winner : 96.684295 1443.14/1165.73 c (114,0) c AnalysisTime_0 : 2.414925 1443.14/1165.73 c (114,0) c AnalysisTime_1 : 31.346365 1443.14/1165.73 c (114,0) c AnalysisTime_total : 33.761290 1443.14/1165.73 c (114,0) c AnalysisTime_winner : 2.414925 1443.14/1165.73 c (114,0) c ReductionTime_0 : 0.000000 1443.14/1165.73 c (114,0) c ReductionTime_1 : 0.000000 1443.14/1165.73 c (114,0) c ReductionTime_total : 0.000000 1443.14/1165.73 c (114,0) c ReductionTime_winner : 0.000000 1443.14/1165.73 c (114,0) c SimplifyTime_0 : 0.000000 1443.14/1165.73 c (114,0) c SimplifyTime_1 : 0.000000 1443.14/1165.73 c (114,0) c SimplifyTime_total : 0.000000 1443.14/1165.73 c (114,0) c SimplifyTime_winner : 0.000000 1443.14/1165.73 c (114,0) c UsedRateTime_0 : 0.000000 1443.14/1165.73 c (114,0) c UsedRateTime_1 : 0.000000 1443.14/1165.73 c (114,0) c UsedRateTime_total : 0.000000 1443.14/1165.73 c (114,0) c UsedRateTime_winner : 0.000000 1443.14/1165.73 c (114,0) c OverlapRateTime_0 : 0.000000 1443.14/1165.73 c (114,0) c OverlapRateTime_1 : 0.000000 1443.14/1165.73 c (114,0) c OverlapRateTime_total : 0.000000 1443.14/1165.73 c (114,0) c OverlapRateTime_winner : 0.000000 1443.14/1165.73 c (114,0) c 1443.14/1165.73 c (114,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 1443.14/1165.73 c (114,0) c 1443.14/1165.73 c (114,0) c |-----------------------|------------|------------| 1443.14/1165.73 c (114,0) c | Threads | 0 | 1 | 1443.14/1165.73 c (114,0) c |-----------------------|------------|------------| 1443.14/1165.73 c (114,0) c | randomizeFirstDescent | False | True | 1443.14/1165.73 c (114,0) c | adaptStrategeis | True | False | 1443.14/1165.73 c (114,0) c | forceUnsatOnNewDescent| True | True | 1443.14/1165.73 c (114,0) c | Initial random_seed | 1455270626 | 1572932342 | 1443.14/1165.73 c (114,0) c | chanseokStrategy | False | False | 1443.14/1165.73 c (114,0) c | coLBDBound | 5 | 5 | 1443.14/1165.73 c (114,0) c | glureduce | True | True | 1443.14/1165.73 c (114,0) c | firstReduceDB | 2000 | 2000 | 1443.14/1165.73 c (114,0) c | incReduceDB | 300 | 300 | 1443.14/1165.73 c (114,0) c | luby_restart | False | False | 1443.14/1165.73 c (114,0) c | luby_restart_factor | 100 | 100 | 1443.14/1165.73 c (114,0) c | var_decay | 0.8000 | 0.8000 | 1443.14/1165.73 c (114,0) c | max_var_decay | 0.9500 | 0.9500 | 1443.14/1165.73 c (114,0) c | randomize_on_restarts | False | False | 1443.14/1165.73 c (114,0) c | remove_satisfied | True | True | 1443.14/1165.73 c (114,0) c |-----------------------|------------|------------| 1443.14/1165.73 c (114,0) 1443.14/1165.73 c (114,0) s SATISFIABLE 1248.15/1166.08 c (114,0) SatSolver.solve End 1248.15/1166.08 c (114,0) Heap : 209 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 1248.15/1166.08 c (114,0) Show results Begin 1444.24/1166.29 c (114,0) x[0] = 996 1444.24/1166.29 c (114,0) x[1] = 2 1444.24/1166.29 c (114,0) x[2] = 1 1444.24/1166.29 c (114,0) x[3] = 0 1444.24/1166.29 c (114,0) x[4] = 0 1444.24/1166.29 c (114,0) x[5] = 0 1444.24/1166.29 c (114,0) x[6] = 0 1444.24/1166.29 c (114,0) x[7] = 0 1444.24/1166.29 c (114,0) x[8] = 0 1444.24/1166.29 c (114,0) x[9] = 0 1444.24/1166.29 c (114,0) x[10] = 0 1444.24/1166.29 c (114,0) x[11] = 0 1444.24/1166.29 c (114,0) x[12] = 0 1444.24/1166.29 c (114,0) x[13] = 0 1444.24/1166.29 c (114,0) x[14] = 0 1444.24/1166.29 c (114,0) x[15] = 0 1444.24/1166.29 c (114,0) x[16] = 0 1444.24/1166.29 c (114,0) x[17] = 0 1444.24/1166.29 c (114,0) x[18] = 0 1444.24/1166.29 c (114,0) x[19] = 0 1444.24/1166.29 c (114,0) x[20] = 0 1444.24/1166.29 c (114,0) x[21] = 0 1444.24/1166.29 c (114,0) x[22] = 0 1444.24/1166.29 c (114,0) x[23] = 0 1444.24/1166.29 c (114,0) x[24] = 0 1444.24/1166.29 c (114,0) x[25] = 0 1444.24/1166.29 c (114,0) x[26] = 0 1444.24/1166.29 c (114,0) x[27] = 0 1444.24/1166.29 c (114,0) x[28] = 0 1444.24/1166.29 c (114,0) x[29] = 0 1444.24/1166.29 c (114,0) x[30] = 0 1444.24/1166.29 c (114,0) x[31] = 0 1444.24/1166.29 c (114,0) x[32] = 0 1444.24/1166.29 c (114,0) x[33] = 0 1444.24/1166.29 c (114,0) x[34] = 0 1444.24/1166.29 c (114,0) x[35] = 0 1444.24/1166.29 c (114,0) x[36] = 0 1444.24/1166.29 c (114,0) x[37] = 0 1444.24/1166.29 c (114,0) x[38] = 0 1444.24/1166.29 c (114,0) x[39] = 0 1444.24/1166.29 c (114,0) x[40] = 0 1444.24/1166.29 c (114,0) x[41] = 0 1444.24/1166.29 c (114,0) x[42] = 0 1444.24/1166.29 c (114,0) x[43] = 0 1444.24/1166.29 c (114,0) x[44] = 0 1444.24/1166.29 c (114,0) x[45] = 0 1444.24/1166.29 c (114,0) x[46] = 0 1444.24/1166.29 c (114,0) x[47] = 0 1444.24/1166.29 c (114,0) x[48] = 0 1444.24/1166.29 c (114,0) x[49] = 0 1444.24/1166.29 c (114,0) x[50] = 0 1444.24/1166.29 c (114,0) x[51] = 0 1444.24/1166.29 c (114,0) x[52] = 0 1444.24/1166.29 c (114,0) x[53] = 0 1444.24/1166.29 c (114,0) x[54] = 0 1444.24/1166.29 c (114,0) x[55] = 0 1444.24/1166.29 c (114,0) x[56] = 0 1444.24/1166.29 c (114,0) x[57] = 0 1444.24/1166.29 c (114,0) x[58] = 0 1444.24/1166.29 c (114,0) x[59] = 0 1444.24/1166.29 c (114,0) x[60] = 0 1444.24/1166.29 c (114,0) x[61] = 0 1444.24/1166.29 c (114,0) x[62] = 0 1444.24/1166.29 c (114,0) x[63] = 0 1444.24/1166.29 c (114,0) x[64] = 0 1444.24/1166.29 c (114,0) x[65] = 0 1444.24/1166.29 c (114,0) x[66] = 0 1444.24/1166.29 c (114,0) x[67] = 0 1444.24/1166.29 c (114,0) x[68] = 0 1444.24/1166.29 c (114,0) x[69] = 0 1444.24/1166.29 c (114,0) x[70] = 0 1444.24/1166.29 c (114,0) x[71] = 0 1444.24/1166.29 c (114,0) x[72] = 0 1444.24/1166.29 c (114,0) x[73] = 0 1444.24/1166.29 c (114,0) x[74] = 0 1444.24/1166.29 c (114,0) x[75] = 0 1444.24/1166.29 c (114,0) x[76] = 0 1444.24/1166.29 c (114,0) x[77] = 0 1444.24/1166.29 c (114,0) x[78] = 0 1444.24/1166.29 c (114,0) x[79] = 0 1444.24/1166.29 c (114,0) x[80] = 0 1444.24/1166.29 c (114,0) x[81] = 0 1444.24/1166.29 c (114,0) x[82] = 0 1444.24/1166.29 c (114,0) x[83] = 0 1444.24/1166.29 c (114,0) x[84] = 0 1444.24/1166.29 c (114,0) x[85] = 0 1444.24/1166.29 c (114,0) x[86] = 0 1444.24/1166.29 c (114,0) x[87] = 0 1444.24/1166.29 c (114,0) x[88] = 0 1444.24/1166.29 c (114,0) x[89] = 0 1444.24/1166.29 c (114,0) x[90] = 0 1444.24/1166.29 c (114,0) x[91] = 0 1444.24/1166.29 c (114,0) x[92] = 0 1444.24/1166.29 c (114,0) x[93] = 0 1444.24/1166.29 c (114,0) x[94] = 0 1444.24/1166.29 c (114,0) x[95] = 0 1444.24/1166.29 c (114,0) x[96] = 0 1444.24/1166.29 c (114,0) x[97] = 0 1444.24/1166.29 c (114,0) x[98] = 0 1444.24/1166.29 c (114,0) x[99] = 0 1444.24/1166.29 c (114,0) x[100] = 0 1444.24/1166.29 c (114,0) x[101] = 0 1444.24/1166.29 c (114,0) x[102] = 0 1444.24/1166.29 c (114,0) x[103] = 0 1444.24/1166.29 c (114,0) x[104] = 0 1444.24/1166.29 c (114,0) x[105] = 0 1444.24/1166.29 c (114,0) x[106] = 0 1444.24/1166.29 c (114,0) x[107] = 0 1444.24/1166.29 c (114,0) x[108] = 0 1444.24/1166.29 c (114,0) x[109] = 0 1444.24/1166.29 c (114,0) x[110] = 0 1444.24/1166.29 c (114,0) x[111] = 0 1444.24/1166.29 c (114,0) x[112] = 0 1444.24/1166.29 c (114,0) x[113] = 0 1444.24/1166.29 c (114,0) x[114] = 0 1444.24/1166.29 c (114,0) x[115] = 0 1444.24/1166.29 c (114,0) x[116] = 0 1444.24/1166.29 c (114,0) x[117] = 0 1444.24/1166.29 c (114,0) x[118] = 0 1444.24/1166.29 c (114,0) x[119] = 0 1444.24/1166.29 c (114,0) x[120] = 0 1444.24/1166.29 c (114,0) x[121] = 0 1444.24/1166.29 c (114,0) x[122] = 0 1444.24/1166.29 c (114,0) x[123] = 0 1444.24/1166.29 c (114,0) x[124] = 0 1444.24/1166.29 c (114,0) x[125] = 0 1444.24/1166.29 c (114,0) x[126] = 0 1444.24/1166.29 c (114,0) x[127] = 0 1444.24/1166.29 c (114,0) x[128] = 0 1444.24/1166.29 c (114,0) x[129] = 0 1444.24/1166.29 c (114,0) x[130] = 0 1444.24/1166.29 c (114,0) x[131] = 0 1444.24/1166.29 c (114,0) x[132] = 0 1444.24/1166.29 c (114,0) x[133] = 0 1444.24/1166.29 c (114,0) x[134] = 0 1444.24/1166.29 c (114,0) x[135] = 0 1444.24/1166.29 c (114,0) x[136] = 0 1444.24/1166.29 c (114,0) x[137] = 0 1444.24/1166.29 c (114,0) x[138] = 0 1444.24/1166.29 c (114,0) x[139] = 0 1444.24/1166.29 c (114,0) x[140] = 0 1444.24/1166.29 c (114,0) x[141] = 0 1444.24/1166.29 c (114,0) x[142] = 0 1444.24/1166.29 c (114,0) x[143] = 0 1444.24/1166.29 c (114,0) x[144] = 0 1444.24/1166.29 c (114,0) x[145] = 0 1444.24/1166.29 c (114,0) x[146] = 0 1444.24/1166.29 c (114,0) x[147] = 0 1444.24/1166.29 c (114,0) x[148] = 0 1444.24/1166.29 c (114,0) x[149] = 0 1444.24/1166.29 c (114,0) x[150] = 0 1444.24/1166.29 c (114,0) x[151] = 0 1444.24/1166.29 c (114,0) x[152] = 0 1444.24/1166.29 c (114,0) x[153] = 0 1444.24/1166.29 c (114,0) x[154] = 0 1444.24/1166.29 c (114,0) x[155] = 0 1444.24/1166.29 c (114,0) x[156] = 0 1444.24/1166.29 c (114,0) x[157] = 0 1444.24/1166.29 c (114,0) x[158] = 0 1444.24/1166.29 c (114,0) x[159] = 0 1444.24/1166.29 c (114,0) x[160] = 0 1444.24/1166.29 c (114,0) x[161] = 0 1444.24/1166.29 c (114,0) x[162] = 0 1444.24/1166.29 c (114,0) x[163] = 0 1444.24/1166.30 c (114,0) x[164] = 0 1444.24/1166.30 c (114,0) x[165] = 0 1444.24/1166.30 c (114,0) x[166] = 0 1444.24/1166.30 c (114,0) x[167] = 0 1444.24/1166.30 c (114,0) x[168] = 0 1444.24/1166.30 c (114,0) x[169] = 0 1444.24/1166.30 c (114,0) x[170] = 0 1444.24/1166.30 c (114,0) x[171] = 0 1444.24/1166.30 c (114,0) x[172] = 0 1444.24/1166.30 c (114,0) x[173] = 0 1444.24/1166.30 c (114,0) x[174] = 0 1444.24/1166.30 c (114,0) x[175] = 0 1444.24/1166.30 c (114,0) x[176] = 0 1444.24/1166.30 c (114,0) x[177] = 0 1444.24/1166.30 c (114,0) x[178] = 0 1444.24/1166.30 c (114,0) x[179] = 0 1444.24/1166.30 c (114,0) x[180] = 0 1444.24/1166.30 c (114,0) x[181] = 0 1444.24/1166.30 c (114,0) x[182] = 0 1444.24/1166.30 c (114,0) x[183] = 0 1444.24/1166.30 c (114,0) x[184] = 0 1444.24/1166.30 c (114,0) x[185] = 0 1444.24/1166.30 c (114,0) x[186] = 0 1444.24/1166.30 c (114,0) x[187] = 0 1444.24/1166.30 c (114,0) x[188] = 0 1444.24/1166.30 c (114,0) x[189] = 0 1444.24/1166.30 c (114,0) x[190] = 0 1444.24/1166.30 c (114,0) x[191] = 0 1444.24/1166.30 c (114,0) x[192] = 0 1444.24/1166.30 c (114,0) x[193] = 0 1444.24/1166.30 c (114,0) x[194] = 0 1444.24/1166.30 c (114,0) x[195] = 0 1444.24/1166.30 c (114,0) x[196] = 0 1444.24/1166.30 c (114,0) x[197] = 0 1444.24/1166.30 c (114,0) x[198] = 0 1444.24/1166.30 c (114,0) x[199] = 0 1444.24/1166.30 c (114,0) x[200] = 0 1444.24/1166.30 c (114,0) x[201] = 0 1444.24/1166.30 c (114,0) x[202] = 0 1444.24/1166.30 c (114,0) x[203] = 0 1444.24/1166.30 c (114,0) x[204] = 0 1444.24/1166.30 c (114,0) x[205] = 0 1444.24/1166.30 c (114,0) x[206] = 0 1444.24/1166.30 c (114,0) x[207] = 0 1444.24/1166.30 c (114,0) x[208] = 0 1444.24/1166.30 c (114,0) x[209] = 0 1444.24/1166.30 c (114,0) x[210] = 0 1444.24/1166.30 c (114,0) x[211] = 0 1444.24/1166.30 c (114,0) x[212] = 0 1444.24/1166.30 c (114,0) x[213] = 0 1444.24/1166.30 c (114,0) x[214] = 0 1444.24/1166.30 c (114,0) x[215] = 0 1444.24/1166.30 c (114,0) x[216] = 0 1444.24/1166.30 c (114,0) x[217] = 0 1444.24/1166.30 c (114,0) x[218] = 0 1444.24/1166.30 c (114,0) x[219] = 0 1444.24/1166.30 c (114,0) x[220] = 0 1444.24/1166.30 c (114,0) x[221] = 0 1444.24/1166.30 c (114,0) x[222] = 0 1444.24/1166.30 c (114,0) x[223] = 0 1444.24/1166.30 c (114,0) x[224] = 0 1444.24/1166.30 c (114,0) x[225] = 0 1444.24/1166.30 c (114,0) x[226] = 0 1444.24/1166.30 c (114,0) x[227] = 0 1444.24/1166.30 c (114,0) x[228] = 0 1444.24/1166.30 c (114,0) x[229] = 0 1444.24/1166.30 c (114,0) x[230] = 0 1444.24/1166.30 c (114,0) x[231] = 0 1444.24/1166.30 c (114,0) x[232] = 0 1444.24/1166.30 c (114,0) x[233] = 0 1444.24/1166.30 c (114,0) x[234] = 0 1444.24/1166.30 c (114,0) x[235] = 0 1444.24/1166.30 c (114,0) x[236] = 0 1444.24/1166.30 c (114,0) x[237] = 0 1444.24/1166.30 c (114,0) x[238] = 0 1444.24/1166.30 c (114,0) x[239] = 0 1444.24/1166.30 c (114,0) x[240] = 0 1444.24/1166.30 c (114,0) x[241] = 0 1444.24/1166.30 c (114,0) x[242] = 0 1444.24/1166.30 c (114,0) x[243] = 0 1444.24/1166.30 c (114,0) x[244] = 0 1444.24/1166.30 c (114,0) x[245] = 0 1444.24/1166.30 c (114,0) x[246] = 0 1444.24/1166.30 c (114,0) x[247] = 0 1444.24/1166.30 c (114,0) x[248] = 0 1444.24/1166.30 c (114,0) x[249] = 0 1444.24/1166.30 c (114,0) x[250] = 0 1444.24/1166.30 c (114,0) x[251] = 0 1444.24/1166.30 c (114,0) x[252] = 0 1444.24/1166.30 c (114,0) x[253] = 0 1444.24/1166.30 c (114,0) x[254] = 0 1444.24/1166.30 c (114,0) x[255] = 0 1444.24/1166.30 c (114,0) x[256] = 0 1444.24/1166.30 c (114,0) x[257] = 0 1444.24/1166.30 c (114,0) x[258] = 0 1444.24/1166.30 c (114,0) x[259] = 0 1444.24/1166.30 c (114,0) x[260] = 0 1444.24/1166.30 c (114,0) x[261] = 0 1444.24/1166.30 c (114,0) x[262] = 0 1444.24/1166.30 c (114,0) x[263] = 0 1444.24/1166.30 c (114,0) x[264] = 0 1444.24/1166.30 c (114,0) x[265] = 0 1444.24/1166.30 c (114,0) x[266] = 0 1444.24/1166.30 c (114,0) x[267] = 0 1444.24/1166.30 c (114,0) x[268] = 0 1444.24/1166.30 c (114,0) x[269] = 0 1444.24/1166.30 c (114,0) x[270] = 0 1444.24/1166.30 c (114,0) x[271] = 0 1444.24/1166.30 c (114,0) x[272] = 0 1444.24/1166.30 c (114,0) x[273] = 0 1444.24/1166.30 c (114,0) x[274] = 0 1444.55/1166.30 c (114,0) x[275] = 0 1444.55/1166.30 c (114,0) x[276] = 0 1444.55/1166.30 c (114,0) x[277] = 0 1444.55/1166.30 c (114,0) x[278] = 0 1444.55/1166.30 c (114,0) x[279] = 0 1444.55/1166.30 c (114,0) x[280] = 0 1444.55/1166.30 c (114,0) x[281] = 0 1444.55/1166.30 c (114,0) x[282] = 0 1444.55/1166.30 c (114,0) x[283] = 0 1444.55/1166.30 c (114,0) x[284] = 0 1444.55/1166.30 c (114,0) x[285] = 0 1444.55/1166.30 c (114,0) x[286] = 0 1444.55/1166.30 c (114,0) x[287] = 0 1444.55/1166.30 c (114,0) x[288] = 0 1444.55/1166.30 c (114,0) x[289] = 0 1444.55/1166.30 c (114,0) x[290] = 0 1444.55/1166.30 c (114,0) x[291] = 0 1444.55/1166.30 c (114,0) x[292] = 0 1444.55/1166.30 c (114,0) x[293] = 0 1444.55/1166.30 c (114,0) x[294] = 0 1444.55/1166.30 c (114,0) x[295] = 0 1444.55/1166.30 c (114,0) x[296] = 0 1444.55/1166.30 c (114,0) x[297] = 0 1444.55/1166.30 c (114,0) x[298] = 0 1444.55/1166.30 c (114,0) x[299] = 0 1444.55/1166.30 c (114,0) x[300] = 0 1444.55/1166.30 c (114,0) x[301] = 0 1444.55/1166.30 c (114,0) x[302] = 0 1444.55/1166.30 c (114,0) x[303] = 0 1444.55/1166.30 c (114,0) x[304] = 0 1444.55/1166.30 c (114,0) x[305] = 0 1444.55/1166.30 c (114,0) x[306] = 0 1444.55/1166.30 c (114,0) x[307] = 0 1444.55/1166.30 c (114,0) x[308] = 0 1444.55/1166.30 c (114,0) x[309] = 0 1444.55/1166.30 c (114,0) x[310] = 0 1444.55/1166.30 c (114,0) x[311] = 0 1444.55/1166.30 c (114,0) x[312] = 0 1444.55/1166.30 c (114,0) x[313] = 0 1444.55/1166.30 c (114,0) x[314] = 0 1444.55/1166.30 c (114,0) x[315] = 0 1444.55/1166.30 c (114,0) x[316] = 0 1444.55/1166.30 c (114,0) x[317] = 0 1444.55/1166.30 c (114,0) x[318] = 0 1444.55/1166.30 c (114,0) x[319] = 0 1444.55/1166.30 c (114,0) x[320] = 0 1444.55/1166.30 c (114,0) x[321] = 0 1444.55/1166.30 c (114,0) x[322] = 0 1444.55/1166.30 c (114,0) x[323] = 0 1444.55/1166.30 c (114,0) x[324] = 0 1444.55/1166.30 c (114,0) x[325] = 0 1444.55/1166.30 c (114,0) x[326] = 0 1444.55/1166.30 c (114,0) x[327] = 0 1444.55/1166.30 c (114,0) x[328] = 0 1444.55/1166.30 c (114,0) x[329] = 0 1444.55/1166.30 c (114,0) x[330] = 0 1444.55/1166.30 c (114,0) x[331] = 0 1444.55/1166.30 c (114,0) x[332] = 0 1444.55/1166.30 c (114,0) x[333] = 0 1444.55/1166.30 c (114,0) x[334] = 0 1444.55/1166.30 c (114,0) x[335] = 0 1444.55/1166.30 c (114,0) x[336] = 0 1444.55/1166.30 c (114,0) x[337] = 0 1444.55/1166.30 c (114,0) x[338] = 0 1444.55/1166.30 c (114,0) x[339] = 0 1444.55/1166.30 c (114,0) x[340] = 0 1444.55/1166.30 c (114,0) x[341] = 0 1444.55/1166.30 c (114,0) x[342] = 0 1444.55/1166.30 c (114,0) x[343] = 0 1444.55/1166.30 c (114,0) x[344] = 0 1444.55/1166.30 c (114,0) x[345] = 0 1444.55/1166.30 c (114,0) x[346] = 0 1444.55/1166.30 c (114,0) x[347] = 0 1444.55/1166.30 c (114,0) x[348] = 0 1444.55/1166.30 c (114,0) x[349] = 0 1444.55/1166.30 c (114,0) x[350] = 0 1444.55/1166.30 c (114,0) x[351] = 0 1444.55/1166.30 c (114,0) x[352] = 0 1444.55/1166.30 c (114,0) x[353] = 0 1444.55/1166.30 c (114,0) x[354] = 0 1444.55/1166.30 c (114,0) x[355] = 0 1444.55/1166.30 c (114,0) x[356] = 0 1444.55/1166.30 c (114,0) x[357] = 0 1444.55/1166.30 c (114,0) x[358] = 0 1444.55/1166.30 c (114,0) x[359] = 0 1444.55/1166.30 c (114,0) x[360] = 0 1444.55/1166.30 c (114,0) x[361] = 0 1444.55/1166.30 c (114,0) x[362] = 0 1444.55/1166.30 c (114,0) x[363] = 0 1444.55/1166.30 c (114,0) x[364] = 0 1444.55/1166.30 c (114,0) x[365] = 0 1444.55/1166.30 c (114,0) x[366] = 0 1444.55/1166.30 c (114,0) x[367] = 0 1444.55/1166.30 c (114,0) x[368] = 0 1444.55/1166.30 c (114,0) x[369] = 0 1444.55/1166.30 c (114,0) x[370] = 0 1444.55/1166.30 c (114,0) x[371] = 0 1444.55/1166.30 c (114,0) x[372] = 0 1444.55/1166.30 c (114,0) x[373] = 0 1444.55/1166.30 c (114,0) x[374] = 0 1444.55/1166.30 c (114,0) x[375] = 0 1444.55/1166.30 c (114,0) x[376] = 0 1444.55/1166.30 c (114,0) x[377] = 0 1444.55/1166.30 c (114,0) x[378] = 0 1444.55/1166.30 c (114,0) x[379] = 0 1444.55/1166.30 c (114,0) x[380] = 0 1444.55/1166.30 c (114,0) x[381] = 0 1444.55/1166.30 c (114,0) x[382] = 0 1444.55/1166.30 c (114,0) x[383] = 0 1444.55/1166.30 c (114,0) x[384] = 0 1444.55/1166.30 c (114,0) x[385] = 0 1444.55/1166.30 c (114,0) x[386] = 0 1444.55/1166.30 c (114,0) x[387] = 0 1444.55/1166.30 c (114,0) x[388] = 0 1444.55/1166.30 c (114,0) x[389] = 0 1444.55/1166.30 c (114,0) x[390] = 0 1444.55/1166.30 c (114,0) x[391] = 0 1444.55/1166.30 c (114,0) x[392] = 0 1444.55/1166.30 c (114,0) x[393] = 0 1444.55/1166.30 c (114,0) x[394] = 0 1444.55/1166.30 c (114,0) x[395] = 0 1444.55/1166.30 c (114,0) x[396] = 0 1444.55/1166.30 c (114,0) x[397] = 0 1444.55/1166.30 c (114,0) x[398] = 0 1444.55/1166.30 c (114,0) x[399] = 0 1444.55/1166.30 c (114,0) x[400] = 0 1444.55/1166.31 c (114,0) x[401] = 0 1444.55/1166.31 c (114,0) x[402] = 0 1444.55/1166.31 c (114,0) x[403] = 0 1444.55/1166.31 c (114,0) x[404] = 0 1444.55/1166.31 c (114,0) x[405] = 0 1444.55/1166.31 c (114,0) x[406] = 0 1444.55/1166.31 c (114,0) x[407] = 0 1444.55/1166.31 c (114,0) x[408] = 0 1444.55/1166.31 c (114,0) x[409] = 0 1444.55/1166.31 c (114,0) x[410] = 0 1444.55/1166.31 c (114,0) x[411] = 0 1444.55/1166.31 c (114,0) x[412] = 0 1444.55/1166.31 c (114,0) x[413] = 0 1444.55/1166.31 c (114,0) x[414] = 0 1444.55/1166.31 c (114,0) x[415] = 0 1444.55/1166.31 c (114,0) x[416] = 0 1444.55/1166.31 c (114,0) x[417] = 0 1444.55/1166.31 c (114,0) x[418] = 0 1444.55/1166.31 c (114,0) x[419] = 0 1444.55/1166.31 c (114,0) x[420] = 0 1444.55/1166.31 c (114,0) x[421] = 0 1444.55/1166.31 c (114,0) x[422] = 0 1444.55/1166.31 c (114,0) x[423] = 0 1444.55/1166.31 c (114,0) x[424] = 0 1444.55/1166.31 c (114,0) x[425] = 0 1444.55/1166.31 c (114,0) x[426] = 0 1444.55/1166.31 c (114,0) x[427] = 0 1444.55/1166.31 c (114,0) x[428] = 0 1444.55/1166.31 c (114,0) x[429] = 0 1444.55/1166.31 c (114,0) x[430] = 0 1444.55/1166.31 c (114,0) x[431] = 0 1444.55/1166.31 c (114,0) x[432] = 0 1444.55/1166.31 c (114,0) x[433] = 0 1444.55/1166.31 c (114,0) x[434] = 0 1444.55/1166.31 c (114,0) x[435] = 0 1444.55/1166.31 c (114,0) x[436] = 0 1444.55/1166.31 c (114,0) x[437] = 0 1444.55/1166.31 c (114,0) x[438] = 0 1444.55/1166.31 c (114,0) x[439] = 0 1444.55/1166.31 c (114,0) x[440] = 0 1444.55/1166.31 c (114,0) x[441] = 0 1444.55/1166.31 c (114,0) x[442] = 0 1444.55/1166.31 c (114,0) x[443] = 0 1444.55/1166.31 c (114,0) x[444] = 0 1444.55/1166.31 c (114,0) x[445] = 0 1444.55/1166.31 c (114,0) x[446] = 0 1444.55/1166.31 c (114,0) x[447] = 0 1444.55/1166.31 c (114,0) x[448] = 0 1444.55/1166.31 c (114,0) x[449] = 0 1444.55/1166.31 c (114,0) x[450] = 0 1444.55/1166.31 c (114,0) x[451] = 0 1444.55/1166.31 c (114,0) x[452] = 0 1444.55/1166.31 c (114,0) x[453] = 0 1444.55/1166.31 c (114,0) x[454] = 0 1444.55/1166.31 c (114,0) x[455] = 0 1444.55/1166.31 c (114,0) x[456] = 0 1444.55/1166.31 c (114,0) x[457] = 0 1444.55/1166.31 c (114,0) x[458] = 0 1444.55/1166.31 c (114,0) x[459] = 0 1444.55/1166.31 c (114,0) x[460] = 0 1444.55/1166.31 c (114,0) x[461] = 0 1444.55/1166.31 c (114,0) x[462] = 0 1444.55/1166.31 c (114,0) x[463] = 0 1444.55/1166.31 c (114,0) x[464] = 0 1444.55/1166.31 c (114,0) x[465] = 0 1444.55/1166.31 c (114,0) x[466] = 0 1444.55/1166.31 c (114,0) x[467] = 0 1444.55/1166.31 c (114,0) x[468] = 0 1444.55/1166.31 c (114,0) x[469] = 0 1444.55/1166.31 c (114,0) x[470] = 0 1444.55/1166.31 c (114,0) x[471] = 0 1444.55/1166.31 c (114,0) x[472] = 0 1444.55/1166.31 c (114,0) x[473] = 0 1444.55/1166.31 c (114,0) x[474] = 0 1444.55/1166.31 c (114,0) x[475] = 0 1444.55/1166.31 c (114,0) x[476] = 0 1444.55/1166.31 c (114,0) x[477] = 0 1444.55/1166.31 c (114,0) x[478] = 0 1444.55/1166.31 c (114,0) x[479] = 0 1444.55/1166.31 c (114,0) x[480] = 0 1444.55/1166.31 c (114,0) x[481] = 0 1444.55/1166.31 c (114,0) x[482] = 0 1444.55/1166.31 c (114,0) x[483] = 0 1444.55/1166.31 c (114,0) x[484] = 0 1444.55/1166.31 c (114,0) x[485] = 0 1444.55/1166.31 c (114,0) x[486] = 0 1444.55/1166.31 c (114,0) x[487] = 0 1444.55/1166.31 c (114,0) x[488] = 0 1444.55/1166.31 c (114,0) x[489] = 0 1444.55/1166.31 c (114,0) x[490] = 0 1444.55/1166.31 c (114,0) x[491] = 0 1444.55/1166.31 c (114,0) x[492] = 0 1444.55/1166.31 c (114,0) x[493] = 0 1444.55/1166.31 c (114,0) x[494] = 0 1444.55/1166.31 c (114,0) x[495] = 0 1444.55/1166.31 c (114,0) x[496] = 0 1444.55/1166.31 c (114,0) x[497] = 0 1444.55/1166.31 c (114,0) x[498] = 0 1444.55/1166.31 c (114,0) x[499] = 0 1444.55/1166.31 c (114,0) x[500] = 0 1444.55/1166.31 c (114,0) x[501] = 0 1444.55/1166.31 c (114,0) x[502] = 0 1444.55/1166.31 c (114,0) x[503] = 0 1444.55/1166.31 c (114,0) x[504] = 0 1444.55/1166.31 c (114,0) x[505] = 0 1444.55/1166.31 c (114,0) x[506] = 0 1444.55/1166.31 c (114,0) x[507] = 0 1444.55/1166.31 c (114,0) x[508] = 0 1444.55/1166.31 c (114,0) x[509] = 0 1444.55/1166.31 c (114,0) x[510] = 0 1444.55/1166.31 c (114,0) x[511] = 0 1444.55/1166.31 c (114,0) x[512] = 0 1444.55/1166.31 c (114,0) x[513] = 0 1444.55/1166.31 c (114,0) x[514] = 0 1444.55/1166.31 c (114,0) x[515] = 0 1444.55/1166.31 c (114,0) x[516] = 0 1444.55/1166.31 c (114,0) x[517] = 0 1444.55/1166.31 c (114,0) x[518] = 0 1444.55/1166.31 c (114,0) x[519] = 0 1444.55/1166.31 c (114,0) x[520] = 0 1444.55/1166.31 c (114,0) x[521] = 0 1444.55/1166.31 c (114,0) x[522] = 0 1444.55/1166.31 c (114,0) x[523] = 0 1444.55/1166.31 c (114,0) x[524] = 0 1444.55/1166.31 c (114,0) x[525] = 0 1444.55/1166.31 c (114,0) x[526] = 0 1444.55/1166.31 c (114,0) x[527] = 0 1444.55/1166.31 c (114,0) x[528] = 0 1444.55/1166.31 c (114,0) x[529] = 0 1444.55/1166.31 c (114,0) x[530] = 0 1444.55/1166.31 c (114,0) x[531] = 0 1444.55/1166.31 c (114,0) x[532] = 0 1444.55/1166.31 c (114,0) x[533] = 0 1444.55/1166.31 c (114,0) x[534] = 0 1444.55/1166.31 c (114,0) x[535] = 0 1444.55/1166.31 c (114,0) x[536] = 0 1444.55/1166.31 c (114,0) x[537] = 0 1444.55/1166.31 c (114,0) x[538] = 0 1444.55/1166.31 c (114,0) x[539] = 0 1444.55/1166.31 c (114,0) x[540] = 0 1444.55/1166.31 c (114,0) x[541] = 0 1444.55/1166.31 c (114,0) x[542] = 0 1444.55/1166.31 c (114,0) x[543] = 0 1444.55/1166.31 c (114,0) x[544] = 0 1444.55/1166.31 c (114,0) x[545] = 0 1444.55/1166.31 c (114,0) x[546] = 0 1444.55/1166.31 c (114,0) x[547] = 0 1444.55/1166.31 c (114,0) x[548] = 0 1444.55/1166.31 c (114,0) x[549] = 0 1444.55/1166.31 c (114,0) x[550] = 0 1444.55/1166.31 c (114,0) x[551] = 0 1444.55/1166.31 c (114,0) x[552] = 0 1444.55/1166.31 c (114,0) x[553] = 0 1444.55/1166.31 c (114,0) x[554] = 0 1444.55/1166.31 c (114,0) x[555] = 0 1444.55/1166.31 c (114,0) x[556] = 0 1444.55/1166.31 c (114,0) x[557] = 0 1444.55/1166.31 c (114,0) x[558] = 0 1444.55/1166.31 c (114,0) x[559] = 0 1444.55/1166.31 c (114,0) x[560] = 0 1444.55/1166.31 c (114,0) x[561] = 0 1444.55/1166.31 c (114,0) x[562] = 0 1444.55/1166.31 c (114,0) x[563] = 0 1444.55/1166.31 c (114,0) x[564] = 0 1444.55/1166.31 c (114,0) x[565] = 0 1444.55/1166.31 c (114,0) x[566] = 0 1444.55/1166.31 c (114,0) x[567] = 0 1444.55/1166.31 c (114,0) x[568] = 0 1444.55/1166.31 c (114,0) x[569] = 0 1444.55/1166.31 c (114,0) x[570] = 0 1444.55/1166.31 c (114,0) x[571] = 0 1444.55/1166.31 c (114,0) x[572] = 0 1444.55/1166.31 c (114,0) x[573] = 0 1444.55/1166.31 c (114,0) x[574] = 0 1444.55/1166.31 c (114,0) x[575] = 0 1444.55/1166.31 c (114,0) x[576] = 0 1444.55/1166.31 c (114,0) x[577] = 0 1444.55/1166.31 c (114,0) x[578] = 0 1444.55/1166.31 c (114,0) x[579] = 0 1444.55/1166.31 c (114,0) x[580] = 0 1444.55/1166.31 c (114,0) x[581] = 0 1444.55/1166.31 c (114,0) x[582] = 0 1444.55/1166.31 c (114,0) x[583] = 0 1444.55/1166.31 c (114,0) x[584] = 0 1444.55/1166.31 c (114,0) x[585] = 0 1444.55/1166.31 c (114,0) x[586] = 0 1444.55/1166.31 c (114,0) x[587] = 0 1444.55/1166.31 c (114,0) x[588] = 0 1444.55/1166.31 c (114,0) x[589] = 0 1444.55/1166.31 c (114,0) x[590] = 0 1444.55/1166.31 c (114,0) x[591] = 0 1444.55/1166.31 c (114,0) x[592] = 0 1444.55/1166.31 c (114,0) x[593] = 0 1444.55/1166.31 c (114,0) x[594] = 0 1444.55/1166.31 c (114,0) x[595] = 0 1444.55/1166.31 c (114,0) x[596] = 0 1444.55/1166.31 c (114,0) x[597] = 0 1444.55/1166.31 c (114,0) x[598] = 0 1444.55/1166.31 c (114,0) x[599] = 0 1444.55/1166.31 c (114,0) x[600] = 0 1444.55/1166.31 c (114,0) x[601] = 0 1444.55/1166.31 c (114,0) x[602] = 0 1444.55/1166.31 c (114,0) x[603] = 0 1444.55/1166.31 c (114,0) x[604] = 0 1444.55/1166.31 c (114,0) x[605] = 0 1444.55/1166.31 c (114,0) x[606] = 0 1444.55/1166.31 c (114,0) x[607] = 0 1444.55/1166.31 c (114,0) x[608] = 0 1444.55/1166.31 c (114,0) x[609] = 0 1444.55/1166.31 c (114,0) x[610] = 0 1444.55/1166.31 c (114,0) x[611] = 0 1444.55/1166.31 c (114,0) x[612] = 0 1444.55/1166.31 c (114,0) x[613] = 0 1444.55/1166.31 c (114,0) x[614] = 0 1444.55/1166.31 c (114,0) x[615] = 0 1444.55/1166.31 c (114,0) x[616] = 0 1444.55/1166.31 c (114,0) x[617] = 0 1444.55/1166.31 c (114,0) x[618] = 0 1444.55/1166.31 c (114,0) x[619] = 0 1444.55/1166.31 c (114,0) x[620] = 0 1444.55/1166.31 c (114,0) x[621] = 0 1444.55/1166.31 c (114,0) x[622] = 0 1444.55/1166.31 c (114,0) x[623] = 0 1444.55/1166.31 c (114,0) x[624] = 0 1444.55/1166.31 c (114,0) x[625] = 0 1444.55/1166.31 c (114,0) x[626] = 0 1444.55/1166.31 c (114,0) x[627] = 0 1444.55/1166.31 c (114,0) x[628] = 0 1444.55/1166.31 c (114,0) x[629] = 0 1444.55/1166.31 c (114,0) x[630] = 0 1444.55/1166.31 c (114,0) x[631] = 0 1444.55/1166.31 c (114,0) x[632] = 0 1444.55/1166.31 c (114,0) x[633] = 0 1444.55/1166.31 c (114,0) x[634] = 0 1444.55/1166.31 c (114,0) x[635] = 0 1444.55/1166.31 c (114,0) x[636] = 0 1444.55/1166.31 c (114,0) x[637] = 0 1444.55/1166.31 c (114,0) x[638] = 0 1444.55/1166.31 c (114,0) x[639] = 0 1444.55/1166.31 c (114,0) x[640] = 0 1444.55/1166.31 c (114,0) x[641] = 0 1444.55/1166.31 c (114,0) x[642] = 0 1444.55/1166.31 c (114,0) x[643] = 0 1444.55/1166.31 c (114,0) x[644] = 0 1444.55/1166.31 c (114,0) x[645] = 0 1444.55/1166.31 c (114,0) x[646] = 0 1444.55/1166.31 c (114,0) x[647] = 0 1444.55/1166.31 c (114,0) x[648] = 0 1444.55/1166.31 c (114,0) x[649] = 0 1444.55/1166.31 c (114,0) x[650] = 0 1444.55/1166.31 c (114,0) x[651] = 0 1444.55/1166.31 c (114,0) x[652] = 0 1444.55/1166.31 c (114,0) x[653] = 0 1444.55/1166.31 c (114,0) x[654] = 0 1444.55/1166.31 c (114,0) x[655] = 0 1444.55/1166.31 c (114,0) x[656] = 0 1444.55/1166.31 c (114,0) x[657] = 0 1444.55/1166.31 c (114,0) x[658] = 0 1444.55/1166.31 c (114,0) x[659] = 0 1444.55/1166.31 c (114,0) x[660] = 0 1444.55/1166.31 c (114,0) x[661] = 0 1444.55/1166.31 c (114,0) x[662] = 0 1444.55/1166.31 c (114,0) x[663] = 0 1444.55/1166.31 c (114,0) x[664] = 0 1444.55/1166.31 c (114,0) x[665] = 0 1444.55/1166.31 c (114,0) x[666] = 0 1444.55/1166.31 c (114,0) x[667] = 0 1444.55/1166.31 c (114,0) x[668] = 0 1444.55/1166.31 c (114,0) x[669] = 0 1444.55/1166.31 c (114,0) x[670] = 0 1444.55/1166.31 c (114,0) x[671] = 0 1444.55/1166.31 c (114,0) x[672] = 0 1444.55/1166.31 c (114,0) x[673] = 0 1444.55/1166.31 c (114,0) x[674] = 0 1444.55/1166.31 c (114,0) x[675] = 0 1444.55/1166.31 c (114,0) x[676] = 0 1444.55/1166.31 c (114,0) x[677] = 0 1444.55/1166.31 c (114,0) x[678] = 0 1444.55/1166.31 c (114,0) x[679] = 0 1444.55/1166.31 c (114,0) x[680] = 0 1444.55/1166.31 c (114,0) x[681] = 0 1444.55/1166.31 c (114,0) x[682] = 0 1444.55/1166.31 c (114,0) x[683] = 0 1444.55/1166.31 c (114,0) x[684] = 0 1444.55/1166.31 c (114,0) x[685] = 0 1444.55/1166.31 c (114,0) x[686] = 0 1444.55/1166.31 c (114,0) x[687] = 0 1444.55/1166.31 c (114,0) x[688] = 0 1444.55/1166.31 c (114,0) x[689] = 0 1444.55/1166.31 c (114,0) x[690] = 0 1444.55/1166.31 c (114,0) x[691] = 0 1444.55/1166.31 c (114,0) x[692] = 0 1444.55/1166.31 c (114,0) x[693] = 0 1444.55/1166.31 c (114,0) x[694] = 0 1444.55/1166.31 c (114,0) x[695] = 0 1444.55/1166.31 c (114,0) x[696] = 0 1444.55/1166.31 c (114,0) x[697] = 0 1444.55/1166.31 c (114,0) x[698] = 0 1444.55/1166.31 c (114,0) x[699] = 0 1444.55/1166.31 c (114,0) x[700] = 0 1444.55/1166.31 c (114,0) x[701] = 0 1444.55/1166.31 c (114,0) x[702] = 0 1444.55/1166.31 c (114,0) x[703] = 0 1444.55/1166.31 c (114,0) x[704] = 0 1444.55/1166.31 c (114,0) x[705] = 0 1444.55/1166.31 c (114,0) x[706] = 0 1444.55/1166.31 c (114,0) x[707] = 0 1444.55/1166.31 c (114,0) x[708] = 0 1444.55/1166.31 c (114,0) x[709] = 0 1444.55/1166.31 c (114,0) x[710] = 0 1444.55/1166.31 c (114,0) x[711] = 0 1444.55/1166.31 c (114,0) x[712] = 0 1444.55/1166.31 c (114,0) x[713] = 0 1444.55/1166.31 c (114,0) x[714] = 0 1444.55/1166.31 c (114,0) x[715] = 0 1444.55/1166.31 c (114,0) x[716] = 0 1444.55/1166.31 c (114,0) x[717] = 0 1444.55/1166.31 c (114,0) x[718] = 0 1444.55/1166.31 c (114,0) x[719] = 0 1444.55/1166.31 c (114,0) x[720] = 0 1444.55/1166.31 c (114,0) x[721] = 0 1444.55/1166.31 c (114,0) x[722] = 0 1444.55/1166.31 c (114,0) x[723] = 0 1444.55/1166.31 c (114,0) x[724] = 0 1444.55/1166.31 c (114,0) x[725] = 0 1444.55/1166.31 c (114,0) x[726] = 0 1444.55/1166.31 c (114,0) x[727] = 0 1444.55/1166.31 c (114,0) x[728] = 0 1444.55/1166.31 c (114,0) x[729] = 0 1444.55/1166.31 c (114,0) x[730] = 0 1444.55/1166.31 c (114,0) x[731] = 0 1444.55/1166.31 c (114,0) x[732] = 0 1444.55/1166.31 c (114,0) x[733] = 0 1444.55/1166.31 c (114,0) x[734] = 0 1444.55/1166.31 c (114,0) x[735] = 0 1444.55/1166.31 c (114,0) x[736] = 0 1444.55/1166.31 c (114,0) x[737] = 0 1444.55/1166.31 c (114,0) x[738] = 0 1444.55/1166.31 c (114,0) x[739] = 0 1444.55/1166.31 c (114,0) x[740] = 0 1444.55/1166.31 c (114,0) x[741] = 0 1444.55/1166.31 c (114,0) x[742] = 0 1444.55/1166.31 c (114,0) x[743] = 0 1444.55/1166.31 c (114,0) x[744] = 0 1444.55/1166.31 c (114,0) x[745] = 0 1444.55/1166.31 c (114,0) x[746] = 0 1444.55/1166.31 c (114,0) x[747] = 0 1444.55/1166.31 c (114,0) x[748] = 0 1444.55/1166.31 c (114,0) x[749] = 0 1444.55/1166.31 c (114,0) x[750] = 0 1444.55/1166.31 c (114,0) x[751] = 0 1444.55/1166.31 c (114,0) x[752] = 0 1444.55/1166.31 c (114,0) x[753] = 0 1444.55/1166.31 c (114,0) x[754] = 0 1444.55/1166.31 c (114,0) x[755] = 0 1444.55/1166.31 c (114,0) x[756] = 0 1444.55/1166.31 c (114,0) x[757] = 0 1444.55/1166.31 c (114,0) x[758] = 0 1444.55/1166.31 c (114,0) x[759] = 0 1444.55/1166.31 c (114,0) x[760] = 0 1444.55/1166.31 c (114,0) x[761] = 0 1444.55/1166.31 c (114,0) x[762] = 0 1444.55/1166.31 c (114,0) x[763] = 0 1444.55/1166.31 c (114,0) x[764] = 0 1444.55/1166.31 c (114,0) x[765] = 0 1444.55/1166.31 c (114,0) x[766] = 0 1444.55/1166.31 c (114,0) x[767] = 0 1444.55/1166.31 c (114,0) x[768] = 0 1444.55/1166.31 c (114,0) x[769] = 0 1444.55/1166.31 c (114,0) x[770] = 0 1444.55/1166.31 c (114,0) x[771] = 0 1444.55/1166.31 c (114,0) x[772] = 0 1444.55/1166.31 c (114,0) x[773] = 0 1444.55/1166.31 c (114,0) x[774] = 0 1444.55/1166.31 c (114,0) x[775] = 0 1444.55/1166.31 c (114,0) x[776] = 0 1444.55/1166.31 c (114,0) x[777] = 0 1444.55/1166.31 c (114,0) x[778] = 0 1444.55/1166.31 c (114,0) x[779] = 0 1444.55/1166.31 c (114,0) x[780] = 0 1444.55/1166.31 c (114,0) x[781] = 0 1444.55/1166.31 c (114,0) x[782] = 0 1444.55/1166.31 c (114,0) x[783] = 0 1444.55/1166.31 c (114,0) x[784] = 0 1444.55/1166.31 c (114,0) x[785] = 0 1444.55/1166.31 c (114,0) x[786] = 0 1444.55/1166.31 c (114,0) x[787] = 0 1444.55/1166.31 c (114,0) x[788] = 0 1444.55/1166.31 c (114,0) x[789] = 0 1444.55/1166.31 c (114,0) x[790] = 0 1444.55/1166.31 c (114,0) x[791] = 0 1444.55/1166.31 c (114,0) x[792] = 0 1444.55/1166.31 c (114,0) x[793] = 0 1444.55/1166.31 c (114,0) x[794] = 0 1444.55/1166.31 c (114,0) x[795] = 0 1444.55/1166.31 c (114,0) x[796] = 0 1444.55/1166.31 c (114,0) x[797] = 0 1444.55/1166.31 c (114,0) x[798] = 0 1444.55/1166.31 c (114,0) x[799] = 0 1444.55/1166.31 c (114,0) x[800] = 0 1444.55/1166.31 c (114,0) x[801] = 0 1444.55/1166.31 c (114,0) x[802] = 0 1444.55/1166.31 c (114,0) x[803] = 0 1444.55/1166.31 c (114,0) x[804] = 0 1444.55/1166.31 c (114,0) x[805] = 0 1444.55/1166.31 c (114,0) x[806] = 0 1444.55/1166.31 c (114,0) x[807] = 0 1444.55/1166.31 c (114,0) x[808] = 0 1444.55/1166.31 c (114,0) x[809] = 0 1444.55/1166.31 c (114,0) x[810] = 0 1444.55/1166.31 c (114,0) x[811] = 0 1444.55/1166.31 c (114,0) x[812] = 0 1444.55/1166.31 c (114,0) x[813] = 0 1444.55/1166.31 c (114,0) x[814] = 0 1444.55/1166.31 c (114,0) x[815] = 0 1444.55/1166.31 c (114,0) x[816] = 0 1444.55/1166.31 c (114,0) x[817] = 0 1444.55/1166.31 c (114,0) x[818] = 0 1444.55/1166.31 c (114,0) x[819] = 0 1444.55/1166.31 c (114,0) x[820] = 0 1444.55/1166.31 c (114,0) x[821] = 0 1444.55/1166.31 c (114,0) x[822] = 0 1444.55/1166.31 c (114,0) x[823] = 0 1444.55/1166.31 c (114,0) x[824] = 0 1444.55/1166.31 c (114,0) x[825] = 0 1444.55/1166.31 c (114,0) x[826] = 0 1444.55/1166.31 c (114,0) x[827] = 0 1444.55/1166.31 c (114,0) x[828] = 0 1444.55/1166.31 c (114,0) x[829] = 0 1444.55/1166.31 c (114,0) x[830] = 0 1444.55/1166.31 c (114,0) x[831] = 0 1444.55/1166.31 c (114,0) x[832] = 0 1444.55/1166.31 c (114,0) x[833] = 0 1444.55/1166.31 c (114,0) x[834] = 0 1444.55/1166.31 c (114,0) x[835] = 0 1444.55/1166.31 c (114,0) x[836] = 0 1444.55/1166.31 c (114,0) x[837] = 0 1444.55/1166.31 c (114,0) x[838] = 0 1444.55/1166.31 c (114,0) x[839] = 0 1444.55/1166.31 c (114,0) x[840] = 0 1444.55/1166.31 c (114,0) x[841] = 0 1444.55/1166.31 c (114,0) x[842] = 0 1444.55/1166.31 c (114,0) x[843] = 0 1444.55/1166.31 c (114,0) x[844] = 0 1444.55/1166.31 c (114,0) x[845] = 0 1444.55/1166.31 c (114,0) x[846] = 0 1444.55/1166.31 c (114,0) x[847] = 0 1444.55/1166.32 c (114,0) x[848] = 0 1444.55/1166.32 c (114,0) x[849] = 0 1444.55/1166.32 c (114,0) x[850] = 0 1444.55/1166.32 c (114,0) x[851] = 0 1444.55/1166.32 c (114,0) x[852] = 0 1444.55/1166.32 c (114,0) x[853] = 0 1444.55/1166.32 c (114,0) x[854] = 0 1444.55/1166.32 c (114,0) x[855] = 0 1444.55/1166.32 c (114,0) x[856] = 0 1444.55/1166.32 c (114,0) x[857] = 0 1444.55/1166.32 c (114,0) x[858] = 0 1444.55/1166.32 c (114,0) x[859] = 0 1444.55/1166.32 c (114,0) x[860] = 0 1444.55/1166.32 c (114,0) x[861] = 0 1444.55/1166.32 c (114,0) x[862] = 0 1444.55/1166.32 c (114,0) x[863] = 0 1444.55/1166.32 c (114,0) x[864] = 0 1444.55/1166.32 c (114,0) x[865] = 0 1444.55/1166.32 c (114,0) x[866] = 0 1444.55/1166.32 c (114,0) x[867] = 0 1444.55/1166.32 c (114,0) x[868] = 0 1444.55/1166.32 c (114,0) x[869] = 0 1444.55/1166.32 c (114,0) x[870] = 0 1444.55/1166.32 c (114,0) x[871] = 0 1444.55/1166.32 c (114,0) x[872] = 0 1444.55/1166.32 c (114,0) x[873] = 0 1444.55/1166.32 c (114,0) x[874] = 0 1444.55/1166.32 c (114,0) x[875] = 0 1444.55/1166.32 c (114,0) x[876] = 0 1444.55/1166.32 c (114,0) x[877] = 0 1444.55/1166.32 c (114,0) x[878] = 0 1444.55/1166.32 c (114,0) x[879] = 0 1444.55/1166.32 c (114,0) x[880] = 0 1444.55/1166.32 c (114,0) x[881] = 0 1444.55/1166.32 c (114,0) x[882] = 0 1444.55/1166.32 c (114,0) x[883] = 0 1444.55/1166.32 c (114,0) x[884] = 0 1444.55/1166.32 c (114,0) x[885] = 0 1444.55/1166.32 c (114,0) x[886] = 0 1444.55/1166.32 c (114,0) x[887] = 0 1444.55/1166.32 c (114,0) x[888] = 0 1444.55/1166.32 c (114,0) x[889] = 0 1444.55/1166.32 c (114,0) x[890] = 0 1444.55/1166.32 c (114,0) x[891] = 0 1444.55/1166.32 c (114,0) x[892] = 0 1444.55/1166.32 c (114,0) x[893] = 0 1444.55/1166.32 c (114,0) x[894] = 0 1444.55/1166.32 c (114,0) x[895] = 0 1444.55/1166.32 c (114,0) x[896] = 0 1444.55/1166.32 c (114,0) x[897] = 0 1444.55/1166.32 c (114,0) x[898] = 0 1444.55/1166.32 c (114,0) x[899] = 0 1444.55/1166.32 c (114,0) x[900] = 0 1444.55/1166.32 c (114,0) x[901] = 0 1444.55/1166.32 c (114,0) x[902] = 0 1444.55/1166.32 c (114,0) x[903] = 0 1444.55/1166.32 c (114,0) x[904] = 0 1444.55/1166.32 c (114,0) x[905] = 0 1444.55/1166.32 c (114,0) x[906] = 0 1444.55/1166.32 c (114,0) x[907] = 0 1444.55/1166.32 c (114,0) x[908] = 0 1444.55/1166.32 c (114,0) x[909] = 0 1444.55/1166.32 c (114,0) x[910] = 0 1444.55/1166.32 c (114,0) x[911] = 0 1444.55/1166.32 c (114,0) x[912] = 0 1444.55/1166.32 c (114,0) x[913] = 0 1444.55/1166.32 c (114,0) x[914] = 0 1444.55/1166.32 c (114,0) x[915] = 0 1444.55/1166.32 c (114,0) x[916] = 0 1444.55/1166.32 c (114,0) x[917] = 0 1444.55/1166.32 c (114,0) x[918] = 0 1444.55/1166.32 c (114,0) x[919] = 0 1444.55/1166.32 c (114,0) x[920] = 0 1444.55/1166.32 c (114,0) x[921] = 0 1444.55/1166.32 c (114,0) x[922] = 0 1444.55/1166.32 c (114,0) x[923] = 0 1444.55/1166.32 c (114,0) x[924] = 0 1444.55/1166.32 c (114,0) x[925] = 0 1444.55/1166.32 c (114,0) x[926] = 0 1444.55/1166.32 c (114,0) x[927] = 0 1444.55/1166.32 c (114,0) x[928] = 0 1444.55/1166.32 c (114,0) x[929] = 0 1444.55/1166.32 c (114,0) x[930] = 0 1444.55/1166.32 c (114,0) x[931] = 0 1444.55/1166.32 c (114,0) x[932] = 0 1444.55/1166.32 c (114,0) x[933] = 0 1444.55/1166.32 c (114,0) x[934] = 0 1444.55/1166.32 c (114,0) x[935] = 0 1444.55/1166.32 c (114,0) x[936] = 0 1444.55/1166.32 c (114,0) x[937] = 0 1444.55/1166.32 c (114,0) x[938] = 0 1444.55/1166.32 c (114,0) x[939] = 0 1444.55/1166.32 c (114,0) x[940] = 0 1444.55/1166.32 c (114,0) x[941] = 0 1444.55/1166.32 c (114,0) x[942] = 0 1444.55/1166.32 c (114,0) x[943] = 0 1444.55/1166.32 c (114,0) x[944] = 0 1444.55/1166.32 c (114,0) x[945] = 0 1444.55/1166.32 c (114,0) x[946] = 0 1444.55/1166.32 c (114,0) x[947] = 0 1444.55/1166.32 c (114,0) x[948] = 0 1444.55/1166.32 c (114,0) x[949] = 0 1444.55/1166.32 c (114,0) x[950] = 0 1444.55/1166.32 c (114,0) x[951] = 0 1444.55/1166.32 c (114,0) x[952] = 0 1444.55/1166.32 c (114,0) x[953] = 0 1444.55/1166.32 c (114,0) x[954] = 0 1444.55/1166.32 c (114,0) x[955] = 0 1444.55/1166.32 c (114,0) x[956] = 0 1444.55/1166.32 c (114,0) x[957] = 0 1444.55/1166.32 c (114,0) x[958] = 0 1444.55/1166.32 c (114,0) x[959] = 0 1444.55/1166.32 c (114,0) x[960] = 0 1444.55/1166.32 c (114,0) x[961] = 0 1444.55/1166.32 c (114,0) x[962] = 0 1444.55/1166.32 c (114,0) x[963] = 0 1444.55/1166.32 c (114,0) x[964] = 0 1444.55/1166.32 c (114,0) x[965] = 0 1444.55/1166.32 c (114,0) x[966] = 0 1444.55/1166.32 c (114,0) x[967] = 0 1444.55/1166.32 c (114,0) x[968] = 0 1444.55/1166.32 c (114,0) x[969] = 0 1444.55/1166.32 c (114,0) x[970] = 0 1444.55/1166.32 c (114,0) x[971] = 0 1444.55/1166.32 c (114,0) x[972] = 0 1444.55/1166.32 c (114,0) x[973] = 0 1444.55/1166.32 c (114,0) x[974] = 0 1444.55/1166.32 c (114,0) x[975] = 0 1444.55/1166.32 c (114,0) x[976] = 0 1444.55/1166.32 c (114,0) x[977] = 0 1444.55/1166.32 c (114,0) x[978] = 0 1444.55/1166.32 c (114,0) x[979] = 0 1444.55/1166.32 c (114,0) x[980] = 0 1444.55/1166.32 c (114,0) x[981] = 0 1444.55/1166.32 c (114,0) x[982] = 0 1444.55/1166.32 c (114,0) x[983] = 0 1444.55/1166.32 c (114,0) x[984] = 0 1444.55/1166.32 c (114,0) x[985] = 0 1444.55/1166.32 c (114,0) x[986] = 0 1444.55/1166.32 c (114,0) x[987] = 0 1444.55/1166.32 c (114,0) x[988] = 0 1444.55/1166.32 c (114,0) x[989] = 0 1444.55/1166.32 c (114,0) x[990] = 0 1444.55/1166.32 c (114,0) x[991] = 0 1444.55/1166.32 c (114,0) x[992] = 0 1444.55/1166.32 c (114,0) x[993] = 0 1444.55/1166.32 c (114,0) x[994] = 0 1444.55/1166.32 c (114,0) x[995] = 0 1444.55/1166.32 c (114,0) x[996] = 1 1444.55/1166.32 c (114,0) x[997] = 0 1444.55/1166.32 c (114,0) x[998] = 0 1444.55/1166.32 c (114,0) x[999] = 0 1444.55/1166.32 s SATISFIABLE 1444.55/1166.32 v <instantiation> 1444.55/1166.32 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] x[600] x[601] x[602] x[603] x[604] x[605] x[606] x[607] x[608] x[609] x[610] x[611] x[612] x[613] x[614] x[615] x[616] x[617] x[618] x[619] x[620] x[621] x[622] x[623] x[624] x[625] x[626] x[627] x[628] x[629] x[630] x[631] x[632] x[633] x[634] x[635] x[636] x[637] x[638] x[639] x[640] x[641] x[642] x[643] x[644] x[645] x[646] x[647] x[648] x[649] x[650] x[651] x[652] x[653] x[654] x[655] x[656] x[657] x[658] x[659] x[660] x[661] x[662] x[663] x[664] x[665] x[666] x[667] x[668] x[669] x[670] x[671] x[672] x[673] x[674] x[675] x[676] x[677] x[678] x[679] x[680] x[681] x[682] x[683] x[684] x[685] x[686] x[687] x[688] x[689] x[690] x[691] x[692] x[693] x[694] x[695] x[696] x[697] x[698] x[699] x[700] x[701] x[702] x[703] x[704] x[705] x[706] x[707] x[708] x[709] x[710] x[711] x[712] x[713] x[714] x[715] x[716] x[717] x[718] x[719] x[720] x[721] x[722] x[723] x[724] x[725] x[726] x[727] x[728] x[729] x[730] x[731] x[732] x[733] x[734] x[735] x[736] x[737] x[738] x[739] x[740] x[741] x[742] x[743] x[744] x[745] x[746] x[747] x[748] x[749] x[750] x[751] x[752] x[753] x[754] x[755] x[756] x[757] x[758] x[759] x[760] x[761] x[762] x[763] x[764] x[765] x[766] x[767] x[768] x[769] x[770] x[771] x[772] x[773] x[774] x[775] x[776] x[777] x[778] x[779] x[780] x[781] x[782] x[783] x[784] x[785] x[786] x[787] x[788] x[789] x[790] x[791] x[792] x[793] x[794] x[795] x[796] x[797] x[798] x[799] x[800] x[801] x[802] x[803] x[804] x[805] x[806] x[807] x[808] x[809] x[810] x[811] x[812] x[813] x[814] x[815] x[816] x[817] x[818] x[819] x[820] x[821] x[822] x[823] x[824] x[825] x[826] x[827] x[828] x[829] x[830] x[831] x[832] x[833] x[834] x[835] x[836] x[837] x[838] x[839] x[840] x[841] x[842] x[843] x[844] x[845] x[846] x[847] x[848] x[849] x[850] x[851] x[852] x[853] x[854] x[855] x[856] x[857] x[858] x[859] x[860] x[861] x[862] x[863] x[864] x[865] x[866] x[867] x[868] x[869] x[870] x[871] x[872] x[873] x[874] x[875] x[876] x[877] x[878] x[879] x[880] x[881] x[882] x[883] x[884] x[885] x[886] x[887] x[888] x[889] x[890] x[891] x[892] x[893] x[894] x[895] x[896] x[897] x[898] x[899] x[900] x[901] x[902] x[903] x[904] x[905] x[906] x[907] x[908] x[909] x[910] x[911] x[912] x[913] x[914] x[915] x[916] x[917] x[918] x[919] x[920] x[921] x[922] x[923] x[924] x[925] x[926] x[927] x[928] x[929] x[930] x[931] x[932] x[933] x[934] x[935] x[936] x[937] x[938] x[939] x[940] x[941] x[942] x[943] x[944] x[945] x[946] x[947] x[948] x[949] x[950] x[951] x[952] x[953] x[954] x[955] x[956] x[957] x[958] x[959] x[960] x[961] x[962] x[963] x[964] x[965] x[966] x[967] x[968] x[969] x[970] x[971] x[972] x[973] x[974] x[975] x[976] x[977] x[978] x[979] x[980] x[981] x[982] x[983] x[984] x[985] x[986] x[987] x[988] x[989] x[990] x[991] x[992] x[993] x[994] x[995] x[996] x[997] x[998] x[999]</list> 1444.55/1166.32 v <values>996 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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> 1444.55/1166.32 v </instantiation> 1444.55/1166.32 c (114,0) Show results End 1444.55/1166.32 c (114,0) Heap : 209 MiB used (max 3925 MiB), NonHeap : 19 MiB used (max 0 MiB) 1444.55/1166.32 c (114,0) 114,114,STOP-AFTER(ALL) 1444.55/1166.32 c END-Prog: Mon Sep 23 14:32:16 CEST 2019
OK
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 (13210 MiB free) memory of node 1: 16384 MiB (11530 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405157-1569240640/watcher-4405157-1569240640 -o /tmp/evaluation-result-4405157-1569240640/solver-4405157-1569240640 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569238758-1272 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405157-1569240640.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=1726, runsolver pid=1723 Current StackSize limit: 8192 KiB [startup+0.100151 s]* /proc/loadavg: 7.16 7.78 6.96 2/210 1748 /proc/meminfo: memFree=25240764/32770624 swapFree=66940892/67108860 [pid=1726] ppid=1723 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1726/stat : 1726 (scop.sh) S 1723 1726 1245 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500334460 115843072 349 33554432000 4194304 5098028 140720540452400 140720540449656 140662126359164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24285184 140720540455717 140720540456044 140720540456044 140720540458957 0 /proc/1726/statm: 28282 349 296 221 0 87 0 [pid=1729] ppid=1726 vsize=27314120 memory=105584 CPUtime=0.1 cores=0-7 /proc/1729/stat : 1729 (java) S 1726 1726 1245 0 -1 1077944320 6529 0 0 0 8 2 0 0 20 0 20 0 500334460 27969658880 26396 33554432000 4194304 4196468 140727082565664 140727082548208 140666117492471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 /proc/1729/statm: 6828530 26396 2766 1 0 6790935 0 [pid=1729/tid=1730] ppid=1726 vsize=27314120 memory=1400242874264906928 CPUtime=0.09 cores=0-7 /proc/1729/task/1730/stat : 1730 (java) R 1726 1726 1245 0 -1 4202560 4627 0 0 0 7 2 0 0 20 0 20 0 500334461 27969658880 26461 33554432000 4194304 4196468 140727082565664 140666089296672 140666103174997 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1731] ppid=1726 vsize=27314120 memory=3461361991549258287 CPUtime=0 cores=0-7 /proc/1729/task/1731/stat : 1731 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140666121735184 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1732] ppid=1726 vsize=27314120 memory=140330622678656 CPUtime=0 cores=0-7 /proc/1729/task/1732/stat : 1732 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665539693712 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1733] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1733/stat : 1733 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665538640656 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1734] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1734/stat : 1734 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665537588112 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1735] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1735/stat : 1735 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665536535056 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1736] ppid=1726 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1729/task/1736/stat : 1736 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665535482512 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1737] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1737/stat : 1737 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665534429456 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1738] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1738/stat : 1738 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 26461 33554432000 4194304 4196468 140727082565664 140665533376912 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1739] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1739/stat : 1739 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664370633456 140666117503618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1740] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1740/stat : 1740 (java) S 1726 1726 1245 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664004142752 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1741] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1741/stat : 1741 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 26461 33554432000 4194304 4196468 140727082565664 140663735706864 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1742] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1742/stat : 1742 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140663361198544 140666117511067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1743] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1743/stat : 1743 (java) R 1726 1726 1245 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664369580272 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1744] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1744/stat : 1744 (java) R 1726 1726 1245 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664368527728 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1745] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1745/stat : 1745 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664367474672 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1746] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1746/stat : 1746 (java) R 1726 1726 1245 0 -1 1077944384 263 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664366422128 140666117503618 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1747] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1747/stat : 1747 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140662863293408 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1748] ppid=1726 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1729/task/1748/stat : 1748 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 26461 33554432000 4194304 4196468 140727082565664 140664365370544 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 106980 KiB [startup+0.210557 s]* /proc/loadavg: 7.16 7.78 6.96 2/210 1748 /proc/meminfo: memFree=25222936/32770624 swapFree=66940892/67108860 [pid=1726] ppid=1723 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1726/stat : 1726 (scop.sh) S 1723 1726 1245 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500334460 115843072 349 33554432000 4194304 5098028 140720540452400 140720540449656 140662126359164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24285184 140720540455717 140720540456044 140720540456044 140720540458957 0 /proc/1726/statm: 28282 349 296 221 0 87 0 [pid=1729] ppid=1726 vsize=27314120 memory=122712 CPUtime=0.24 cores=0-7 /proc/1729/stat : 1729 (java) S 1726 1726 1245 0 -1 1077944320 11599 0 0 0 20 4 0 0 20 0 20 0 500334460 27969658880 30678 33554432000 4194304 4196468 140727082565664 140727082548208 140666117492471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 /proc/1729/statm: 6828530 30678 2915 1 0 6790935 0 [pid=1729/tid=1730] ppid=1726 vsize=27314120 memory=576460756329955521 CPUtime=0.19 cores=0-7 /proc/1729/task/1730/stat : 1730 (java) R 1726 1726 1245 0 -1 4202560 9254 0 0 0 16 3 0 0 20 0 20 0 500334461 27969658880 30678 33554432000 4194304 4196468 140727082565664 140666089311712 140666097770872 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1731] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1731/stat : 1731 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140666121735184 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1732] ppid=1726 vsize=27314120 memory=140330622694164 CPUtime=0 cores=0-7 /proc/1729/task/1732/stat : 1732 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665539693712 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1733] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1733/stat : 1733 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665538640656 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1734] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1734/stat : 1734 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665537588112 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1735] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1735/stat : 1735 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665536535056 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1736] ppid=1726 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1729/task/1736/stat : 1736 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665535482512 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1737] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1737/stat : 1737 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665534429456 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1738] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1738/stat : 1738 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 30678 33554432000 4194304 4196468 140727082565664 140665533376912 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1739] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1739/stat : 1739 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664370633456 140666117503618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1740] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1740/stat : 1740 (java) S 1726 1726 1245 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664004142752 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1741] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1741/stat : 1741 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 30678 33554432000 4194304 4196468 140727082565664 140663735706864 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1742] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1742/stat : 1742 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140663361198544 140666117511067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1743] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1743/stat : 1743 (java) S 1726 1726 1245 0 -1 1077944384 431 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664369580272 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1744] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1744/stat : 1744 (java) S 1726 1726 1245 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664368527728 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1745] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1745/stat : 1745 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664367474672 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1746] ppid=1726 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7 /proc/1729/task/1746/stat : 1746 (java) S 1726 1726 1245 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664366422128 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1747] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1747/stat : 1747 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140662863293408 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1748] ppid=1726 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/1729/task/1748/stat : 1748 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 30678 33554432000 4194304 4196468 140727082565664 140664365370544 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 124108 KiB [startup+0.310319 s]* /proc/loadavg: 7.16 7.78 6.96 2/210 1748 /proc/meminfo: memFree=25219772/32770624 swapFree=66940892/67108860 [pid=1726] ppid=1723 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1726/stat : 1726 (scop.sh) S 1723 1726 1245 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500334460 115843072 349 33554432000 4194304 5098028 140720540452400 140720540449656 140662126359164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24285184 140720540455717 140720540456044 140720540456044 140720540458957 0 /proc/1726/statm: 28282 349 296 221 0 87 0 [pid=1729] ppid=1726 vsize=27314120 memory=126952 CPUtime=0.42 cores=0-7 /proc/1729/stat : 1729 (java) S 1726 1726 1245 0 -1 1077944320 12630 0 0 0 37 5 0 0 20 0 20 0 500334460 27969658880 31738 33554432000 4194304 4196468 140727082565664 140727082548208 140666117492471 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 /proc/1729/statm: 6828530 31738 3005 1 0 6790935 0 [pid=1729/tid=1730] ppid=1726 vsize=27314120 memory=1399051139730258233 CPUtime=0.3 cores=0-7 /proc/1729/task/1730/stat : 1730 (java) R 1726 1726 1245 0 -1 4202560 10015 0 0 0 26 4 0 0 20 0 20 0 500334461 27969658880 31738 33554432000 4194304 4196468 140727082565664 140666089304816 140666099056023 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1731] ppid=1726 vsize=27314120 memory=4126316290023845779 CPUtime=0 cores=0-7 /proc/1729/task/1731/stat : 1731 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140666121735184 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1732] ppid=1726 vsize=27314120 memory=1188 CPUtime=0 cores=0-7 /proc/1729/task/1732/stat : 1732 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665539693712 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1733] ppid=1726 vsize=27314120 memory=6128 CPUtime=0 cores=0-7 /proc/1729/task/1733/stat : 1733 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665538640656 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1734] ppid=1726 vsize=27314120 memory=780 CPUtime=0 cores=0-7 /proc/1729/task/1734/stat : 1734 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665537588112 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1735] ppid=1726 vsize=27314120 memory=14008 CPUtime=0 cores=0-7 /proc/1729/task/1735/stat : 1735 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665536535056 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1736] ppid=1726 vsize=27314120 memory=31896 CPUtime=0 cores=0-7 /proc/1729/task/1736/stat : 1736 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665535482512 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1737] ppid=1726 vsize=27314120 memory=2116 CPUtime=0 cores=0-7 /proc/1729/task/1737/stat : 1737 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665534429456 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1738] ppid=1726 vsize=27314120 memory=12024 CPUtime=0 cores=0-7 /proc/1729/task/1738/stat : 1738 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27969658880 31738 33554432000 4194304 4196468 140727082565664 140665533376912 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1739] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1739/stat : 1739 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664370633456 140666117503618 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1740] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1740/stat : 1740 (java) S 1726 1726 1245 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664004142752 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1741] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1741/stat : 1741 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334465 27969658880 31738 33554432000 4194304 4196468 140727082565664 140663735706864 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1742] ppid=1726 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1742/stat : 1742 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140663361198544 140666117511067 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1743] ppid=1726 vsize=27314120 memory=140330473194959 CPUtime=0 cores=0-7 /proc/1729/task/1743/stat : 1743 (java) S 1726 1726 1245 0 -1 1077944384 433 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664369580272 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1744] ppid=1726 vsize=27314120 memory=67 CPUtime=0.02 cores=0-7 /proc/1729/task/1744/stat : 1744 (java) S 1726 1726 1245 0 -1 1077944384 173 0 0 0 2 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664368527728 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1745] ppid=1726 vsize=27314120 memory=51172 CPUtime=0.01 cores=0-7 /proc/1729/task/1745/stat : 1745 (java) S 1726 1726 1245 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664367474672 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1746] ppid=1726 vsize=27314120 memory=53476 CPUtime=0.07 cores=0-7 /proc/1729/task/1746/stat : 1746 (java) S 1726 1726 1245 0 -1 1077944384 614 0 0 0 7 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664366422128 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1747] ppid=1726 vsize=27314120 memory=110297088 CPUtime=0 cores=0-7 /proc/1729/task/1747/stat : 1747 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140662863293408 140666117502677 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1748] ppid=1726 vsize=27314120 memory=115843071 CPUtime=0 cores=0-7 /proc/1729/task/1748/stat : 1748 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 500334468 27969658880 31738 33554432000 4194304 4196468 140727082565664 140664365370544 140666117503618 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 128348 KiB [startup+0.703757 s] /proc/loadavg: 7.16 7.78 6.96 3/210 1748 /proc/meminfo: memFree=25195960/32770624 swapFree=66940892/67108860 [pid=1726] ppid=1723 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/1726/stat : 1726 (scop.sh) S 1723 1726 1245 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 500334460 115843072 349 33554432000 4194304 5098028 140720540452400 140720540449656 140662126359164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24285184 140720540455717 140720540456044 140720540456044 140720540458957 0 /proc/1726/statm: 28282 349 296 221 0 87 0 [pid=1729] ppid=1726 vsize=27322516 memory=165088 CPUtime=1 cores=0-7 /proc/1729/stat : 1729 (java) S 1726 1726 1245 0 -1 1077944320 20336 0 0 0 93 7 0 0 20 0 20 0 500334460 27978256384 41272 33554432000 4194304 4196468 140727082565664 140727082548208 140666117492471 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 /proc/1729/statm: 6830629 41272 3201 1 0 6791959 0 [pid=1729/tid=1730] ppid=1726 vsize=27322516 memory=0 CPUtime=0.67 cores=0-7 /proc/1729/task/1730/stat : 1730 (java) R 1726 1726 1245 0 -1 4202560 17118 0 0 0 62 5 0 0 20 0 20 0 500334461 27978256384 41272 33554432000 4194304 4196468 140727082565664 140666089324208 140666101572958 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1731] ppid=1726 vsize=27322516 memory=2353 CPUtime=0 cores=0-7 /proc/1729/task/1731/stat : 1731 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27978256384 41272 33554432000 4194304 4196468 140727082565664 140666121735184 140666117502677 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1732] ppid=1726 vsize=27322516 memory=0 CPUtime=0 cores=0-7 /proc/1729/task/1732/stat : 1732 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 500334463 27978256384 41272 33554432000 4194304 4196468 140727082565664 140665539693712 140666117502677 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 [pid=1729/tid=1733] ppid=1726 vsize=27322516 memory=1096 CPUtime=0 cores=0-7 /proc/1729/task/1733/stat : 1733 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 500334463 27978256384 41272 33554432000 4194304 4196468 140727082565664 140665538640656 140666117502677 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28876800 140727082574572 140727082574998 140727082574998 140727082577871 0 ################ # More data... # ################ /proc/1850/stat : 1850 (manyglucose-4.1) S 1830 1726 1245 0 -1 1077944320 4707026 0 0 0 18874 672 0 0 20 0 2 0 500439645 5963546624 1301048 33554432000 4194304 4454172 140728058644144 140728058642528 140634935881463 0 4 0 8388610 18446744073709551615 0 0 17 3 0 0 0 0 0 6552832 6554400 12828672 140728058647402 140728058647600 140728058647600 140728058650554 0 /proc/1850/statm: 1455944 1301048 418 64 0 1451612 0 [pid=1850/tid=1857] ppid=1830 vsize=5823776 memory=1188 CPUtime=98.14 cores=0-7 /proc/1850/task/1857/stat : 1857 (manyglucose-4.1) R 1830 1726 1245 0 -1 4202560 1822195 0 0 0 9564 250 0 0 20 0 2 0 500441049 5963546624 1301048 33554432000 4194304 4454172 140728058644144 140634852367096 4350930 0 4 0 8388610 0 0 0 -1 4 0 0 0 0 0 6552832 6554400 12828672 140728058647402 140728058647600 140728058647600 140728058650554 0 [pid=1830/tid=1831] ppid=1726 vsize=8414124 memory=6128 CPUtime=0.81 cores=0-7 /proc/1830/task/1831/stat : 1831 (java) S 1726 1726 1245 0 -1 1077944384 17444 0 0 0 74 7 0 0 20 0 24 0 500439564 8616062976 31654 33554432000 4194304 4196468 140728472411088 140684069822368 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 1 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1832] ppid=1726 vsize=8414124 memory=780 CPUtime=0 cores=0-7 /proc/1830/task/1832/stat : 1832 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140684102224272 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1833] ppid=1726 vsize=8414124 memory=14008 CPUtime=0 cores=0-7 /proc/1830/task/1833/stat : 1833 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683583498512 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1834] ppid=1726 vsize=8414124 memory=31908 CPUtime=0 cores=0-7 /proc/1830/task/1834/stat : 1834 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683582446224 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1835] ppid=1726 vsize=8414124 memory=2116 CPUtime=0 cores=0-7 /proc/1830/task/1835/stat : 1835 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683581393424 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1836] ppid=1726 vsize=8414124 memory=12024 CPUtime=0 cores=0-7 /proc/1830/task/1836/stat : 1836 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683580341136 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1837] ppid=1726 vsize=8414124 memory=1560 CPUtime=0 cores=0-7 /proc/1830/task/1837/stat : 1837 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683579288336 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1838] ppid=1726 vsize=8414124 memory=3620 CPUtime=0 cores=0-7 /proc/1830/task/1838/stat : 1838 (java) S 1726 1726 1245 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683578236048 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1839] ppid=1726 vsize=8414124 memory=60236 CPUtime=0 cores=0-7 /proc/1830/task/1839/stat : 1839 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439566 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683577183248 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1840] ppid=1726 vsize=8414124 memory=988 CPUtime=0 cores=0-7 /proc/1830/task/1840/stat : 1840 (java) S 1726 1726 1245 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 500439567 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682922526832 140684097993346 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1841] ppid=1726 vsize=8414124 memory=2016 CPUtime=0 cores=0-7 /proc/1830/task/1841/stat : 1841 (java) S 1726 1726 1245 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 500439568 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682727514912 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1842] ppid=1726 vsize=8414124 memory=1416 CPUtime=0 cores=0-7 /proc/1830/task/1842/stat : 1842 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439568 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682459079792 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1843] ppid=1726 vsize=8414124 memory=10728 CPUtime=0 cores=0-7 /proc/1830/task/1843/stat : 1843 (java) S 1726 1726 1245 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 500439571 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682084571216 140684098000795 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1844] ppid=1726 vsize=8414124 memory=1552 CPUtime=0.1 cores=0-7 /proc/1830/task/1844/stat : 1844 (java) S 1726 1726 1245 0 -1 1077944384 475 0 0 0 10 0 0 0 20 0 24 0 500439572 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682921474672 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1845] ppid=1726 vsize=8414124 memory=500 CPUtime=0.14 cores=0-7 /proc/1830/task/1845/stat : 1845 (java) S 1726 1726 1245 0 -1 1077944384 681 0 0 0 14 0 0 0 20 0 24 0 500439572 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682920421872 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1846] ppid=1726 vsize=8414124 memory=928 CPUtime=0.1 cores=0-7 /proc/1830/task/1846/stat : 1846 (java) S 1726 1726 1245 0 -1 1077944384 607 0 0 0 10 0 0 0 20 0 24 0 500439572 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682919369584 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1847] ppid=1726 vsize=8414124 memory=1804 CPUtime=0.23 cores=0-7 /proc/1830/task/1847/stat : 1847 (java) S 1726 1726 1245 0 -1 1077944384 1031 0 0 0 23 0 0 0 20 0 24 0 500439572 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682918316784 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1848] ppid=1726 vsize=8414124 memory=916 CPUtime=0 cores=0-7 /proc/1830/task/1848/stat : 1848 (java) S 1726 1726 1245 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 500439573 8616062976 31654 33554432000 4194304 4196468 140728472411088 140681586665824 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1849] ppid=1726 vsize=8414124 memory=4416 CPUtime=0.06 cores=0-7 /proc/1830/task/1849/stat : 1849 (java) S 1726 1726 1245 0 -1 1077944384 9 0 0 0 3 3 0 0 20 0 24 0 500439573 8616062976 31654 33554432000 4194304 4196468 140728472411088 140682917263664 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1851] ppid=1726 vsize=8414124 memory=4100 CPUtime=0 cores=0-7 /proc/1830/task/1851/stat : 1851 (java) S 1726 1726 1245 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 500439645 8616062976 31654 33554432000 4194304 4196468 140728472411088 140683399066944 140684098006809 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1853] ppid=1726 vsize=8414124 memory=1412 CPUtime=0 cores=0-7 /proc/1830/task/1853/stat : 1853 (java) S 1726 1726 1245 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 24 0 500439645 8616062976 31654 33554432000 4194304 4196468 140728472411088 140680915566512 140684098004125 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1854] ppid=1726 vsize=8414124 memory=3560 CPUtime=0 cores=0-7 /proc/1830/task/1854/stat : 1854 (java) S 1726 1726 1245 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 500439646 8616062976 31654 33554432000 4194304 4196468 140728472411088 140681184001840 140684098004125 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1855] ppid=1726 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/1830/task/1855/stat : 1855 (java) S 1726 1726 1245 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 500439648 8616062976 31654 33554432000 4194304 4196468 140728472411088 140680647139120 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 Current children cumulated CPU time: 1443.14 s Current children cumulated vsize: 14351028 KiB Current children cumulated memory: 5332284 KiB [startup+1166.1 s]* /proc/loadavg: 1.69 1.48 2.88 2/213 1865 /proc/meminfo: memFree=24170920/32770624 swapFree=66940892/67108860 [pid=1726] ppid=1723 vsize=113128 memory=1476 CPUtime=1246.18 cores=0-7 /proc/1726/stat : 1726 (scop.sh) S 1723 1726 1245 0 -1 4202496 582 559825 0 0 0 0 120576 4042 20 0 1 0 500334460 115843072 369 33554432000 4194304 5098028 140720540452400 140720540449144 140662126359164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24285184 140720540455717 140720540456044 140720540456044 140720540458957 0 /proc/1726/statm: 28282 369 311 221 0 87 0 [pid=1830] ppid=1726 vsize=8283048 memory=207236 CPUtime=197.84 cores=0-7 /proc/1830/stat : 1830 (java) S 1726 1726 1245 0 -1 1077944320 22894 4707468 0 0 186 15 18885 698 20 0 22 0 500439564 8481841152 51809 33554432000 4194304 4196468 140728472411088 140728472393632 140684097982199 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 /proc/1830/statm: 2070762 51809 3231 1 0 2032106 0 [pid=1830/tid=1831] ppid=1726 vsize=8283048 memory=1399051139730258233 CPUtime=196.67 cores=0-7 /proc/1830/task/1831/stat : 1831 (java) R 1726 1726 1245 0 -1 4202560 17580 4707468 0 0 77 7 18885 698 20 0 22 0 500439564 8481841152 51809 33554432000 4194304 4196468 140728472411088 140684069793344 140684075206352 0 4 2 25189581 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1832] ppid=1726 vsize=8283048 memory=4126316290023845779 CPUtime=195.83 cores=0-7 /proc/1830/task/1832/stat : 1832 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140684102224272 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1833] ppid=1726 vsize=8283048 memory=5203732 CPUtime=195.83 cores=0-7 /proc/1830/task/1833/stat : 1833 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683583498512 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1834] ppid=1726 vsize=8283048 memory=1744 CPUtime=195.83 cores=0-7 /proc/1830/task/1834/stat : 1834 (java) S 1726 1726 1245 0 -1 1077944384 3 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683582446224 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1835] ppid=1726 vsize=8283048 memory=924 CPUtime=195.83 cores=0-7 /proc/1830/task/1835/stat : 1835 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683581393424 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1836] ppid=1726 vsize=8283048 memory=1448 CPUtime=195.83 cores=0-7 /proc/1830/task/1836/stat : 1836 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683580341136 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1837] ppid=1726 vsize=8283048 memory=1748 CPUtime=195.83 cores=0-7 /proc/1830/task/1837/stat : 1837 (java) S 1726 1726 1245 0 -1 1077944384 2 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683579288336 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1838] ppid=1726 vsize=8283048 memory=111632 CPUtime=195.83 cores=0-7 /proc/1830/task/1838/stat : 1838 (java) S 1726 1726 1245 0 -1 1077944384 2 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683578236048 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1839] ppid=1726 vsize=8283048 memory=808 CPUtime=195.83 cores=0-7 /proc/1830/task/1839/stat : 1839 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439566 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683577183248 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1840] ppid=1726 vsize=8283048 memory=1399051139730258233 CPUtime=195.83 cores=0-7 /proc/1830/task/1840/stat : 1840 (java) S 1726 1726 1245 0 -1 1077944384 8 4707468 0 0 0 0 18885 698 20 0 22 0 500439567 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682922526832 140684097993346 0 0 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1841] ppid=1726 vsize=8283048 memory=4126316290023845779 CPUtime=195.83 cores=0-7 /proc/1830/task/1841/stat : 1841 (java) S 1726 1726 1245 0 -1 1077944384 13 4707468 0 0 0 0 18885 698 20 0 22 0 500439568 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682727514912 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1842] ppid=1726 vsize=8283048 memory=2364 CPUtime=195.83 cores=0-7 /proc/1830/task/1842/stat : 1842 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439568 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682459079792 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1843] ppid=1726 vsize=8283048 memory=1744 CPUtime=195.83 cores=0-7 /proc/1830/task/1843/stat : 1843 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 22 0 500439571 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682084571216 140684098000795 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1844] ppid=1726 vsize=8283048 memory=924 CPUtime=195.99 cores=0-7 /proc/1830/task/1844/stat : 1844 (java) S 1726 1726 1245 0 -1 1077944384 506 4707468 0 0 16 0 18885 698 20 0 22 0 500439572 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682921474672 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1845] ppid=1726 vsize=8283048 memory=1476 CPUtime=196.05 cores=0-7 /proc/1830/task/1845/stat : 1845 (java) S 1726 1726 1245 0 -1 1077944384 836 4707468 0 0 22 0 18885 698 20 0 22 0 500439572 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682920421872 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1846] ppid=1726 vsize=8283048 memory=126616 CPUtime=195.98 cores=0-7 /proc/1830/task/1846/stat : 1846 (java) S 1726 1726 1245 0 -1 1077944384 637 4707468 0 0 15 0 18885 698 20 0 22 0 500439572 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682919369584 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1847] ppid=1726 vsize=8283048 memory=1476 CPUtime=196.11 cores=0-7 /proc/1830/task/1847/stat : 1847 (java) S 1726 1726 1245 0 -1 1077944384 1355 4707468 0 0 28 0 18885 698 20 0 22 0 500439572 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682918316784 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1848] ppid=1726 vsize=8283048 memory=126616 CPUtime=195.83 cores=0-7 /proc/1830/task/1848/stat : 1848 (java) S 1726 1726 1245 0 -1 1077944384 3 4707468 0 0 0 0 18885 698 20 0 22 0 500439573 8481841152 51809 33554432000 4194304 4196468 140728472411088 140681586665824 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1849] ppid=1726 vsize=8283048 memory=5203732 CPUtime=195.89 cores=0-7 /proc/1830/task/1849/stat : 1849 (java) S 1726 1726 1245 0 -1 1077944384 9 4707468 0 0 3 3 18885 698 20 0 22 0 500439573 8481841152 51809 33554432000 4194304 4196468 140728472411088 140682917263664 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1851] ppid=1726 vsize=8283048 memory=1412 CPUtime=195.83 cores=0-7 /proc/1830/task/1851/stat : 1851 (java) S 1726 1726 1245 0 -1 1077944384 25 4707468 0 0 0 0 18885 698 20 0 22 0 500439645 8481841152 51809 33554432000 4194304 4196468 140728472411088 140683399066128 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1855] ppid=1726 vsize=8283048 memory=3620 CPUtime=195.83 cores=0-7 /proc/1830/task/1855/stat : 1855 (java) S 1726 1726 1245 0 -1 1077944384 12 4707468 0 0 0 0 18885 698 20 0 22 0 500439648 8481841152 51809 33554432000 4194304 4196468 140728472411088 140680647140912 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 Current children cumulated CPU time: 1444.02 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 208712 KiB [startup+1166.5 s] /proc/loadavg: 1.69 1.48 2.88 2/213 1865 /proc/meminfo: memFree=24170920/32770624 swapFree=66940892/67108860 [pid=1726] ppid=1723 vsize=113128 memory=1476 CPUtime=1246.18 cores=0-7 /proc/1726/stat : 1726 (scop.sh) S 1723 1726 1245 0 -1 4202496 582 559825 0 0 0 0 120576 4042 20 0 1 0 500334460 115843072 369 33554432000 4194304 5098028 140720540452400 140720540449144 140662126359164 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 24285184 140720540455717 140720540456044 140720540456044 140720540458957 0 /proc/1726/statm: 28282 369 311 221 0 87 0 [pid=1830] ppid=1726 vsize=8150944 memory=235568 CPUtime=198.86 cores=0-7 /proc/1830/stat : 1830 (java) S 1726 1726 1245 0 -1 1077944320 28493 4707468 0 0 270 33 18885 698 20 0 20 0 500439564 8346566656 58892 33554432000 4194304 4196468 140728472411088 140728472393632 140684097982199 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 /proc/1830/statm: 2037736 58892 3239 1 0 1999080 0 [pid=1830/tid=1831] ppid=1726 vsize=8150944 memory=2364 CPUtime=197.03 cores=0-7 /proc/1830/task/1831/stat : 1831 (java) S 1726 1726 1245 0 -1 1077944384 18830 4707468 0 0 96 24 18885 698 20 0 20 0 500439564 8346566656 58892 33554432000 4194304 4196468 140728472411088 140684069825680 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1832] ppid=1726 vsize=8150944 memory=1744 CPUtime=195.83 cores=0-7 /proc/1830/task/1832/stat : 1832 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140684102224272 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1833] ppid=1726 vsize=8150944 memory=8112282956445269571 CPUtime=195.83 cores=0-7 /proc/1830/task/1833/stat : 1833 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683583498512 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1834] ppid=1726 vsize=8150944 memory=1448 CPUtime=195.83 cores=0-7 /proc/1830/task/1834/stat : 1834 (java) S 1726 1726 1245 0 -1 1077944384 3 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683582446224 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1835] ppid=1726 vsize=8150944 memory=1748 CPUtime=195.83 cores=0-7 /proc/1830/task/1835/stat : 1835 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683581393424 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1836] ppid=1726 vsize=8150944 memory=111632 CPUtime=195.83 cores=0-7 /proc/1830/task/1836/stat : 1836 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683580341136 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1837] ppid=1726 vsize=8150944 memory=808 CPUtime=195.83 cores=0-7 /proc/1830/task/1837/stat : 1837 (java) S 1726 1726 1245 0 -1 1077944384 2 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683579288336 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1838] ppid=1726 vsize=8150944 memory=4416 CPUtime=195.83 cores=0-7 /proc/1830/task/1838/stat : 1838 (java) S 1726 1726 1245 0 -1 1077944384 2 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683578236048 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1839] ppid=1726 vsize=8150944 memory=4100 CPUtime=195.83 cores=0-7 /proc/1830/task/1839/stat : 1839 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 20 0 500439566 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683577183248 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1840] ppid=1726 vsize=8150944 memory=4126316290023845779 CPUtime=195.83 cores=0-7 /proc/1830/task/1840/stat : 1840 (java) S 1726 1726 1245 0 -1 1077944384 8 4707468 0 0 0 0 18885 698 20 0 20 0 500439567 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682922527040 140684097993346 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1841] ppid=1726 vsize=8150944 memory=126616 CPUtime=195.83 cores=0-7 /proc/1830/task/1841/stat : 1841 (java) S 1726 1726 1245 0 -1 1077944384 13 4707468 0 0 0 0 18885 698 20 0 20 0 500439568 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682727514912 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1842] ppid=1726 vsize=8150944 memory=5201384 CPUtime=195.83 cores=0-7 /proc/1830/task/1842/stat : 1842 (java) S 1726 1726 1245 0 -1 1077944384 1 4707468 0 0 0 0 18885 698 20 0 20 0 500439568 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682459079792 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1844] ppid=1726 vsize=8150944 memory=1560 CPUtime=196.26 cores=0-7 /proc/1830/task/1844/stat : 1844 (java) R 1726 1726 1245 0 -1 4202560 2114 4707468 0 0 43 0 18885 698 20 0 20 0 500439572 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682921460552 140684083107605 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1845] ppid=1726 vsize=8150944 memory=500 CPUtime=196.14 cores=0-7 /proc/1830/task/1845/stat : 1845 (java) S 1726 1726 1245 0 -1 1077944384 1444 4707468 0 0 31 0 18885 698 20 0 20 0 500439572 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682920421872 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1846] ppid=1726 vsize=8150944 memory=928 CPUtime=196.14 cores=0-7 /proc/1830/task/1846/stat : 1846 (java) S 1726 1726 1245 0 -1 1077944384 1861 4707468 0 0 31 0 18885 698 20 0 20 0 500439572 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682919369584 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1847] ppid=1726 vsize=8150944 memory=1476 CPUtime=196.23 cores=0-7 /proc/1830/task/1847/stat : 1847 (java) S 1726 1726 1245 0 -1 1077944384 2229 4707468 0 0 40 0 18885 698 20 0 20 0 500439572 8346566656 58892 33554432000 4194304 4196468 140728472411088 140682918316784 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1848] ppid=1726 vsize=8150944 memory=126616 CPUtime=195.83 cores=0-7 /proc/1830/task/1848/stat : 1848 (java) S 1726 1726 1245 0 -1 1077944384 3 4707468 0 0 0 0 18885 698 20 0 20 0 500439573 8346566656 58892 33554432000 4194304 4196468 140728472411088 140681586665824 140684097992405 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1851] ppid=1726 vsize=8150944 memory=1984 CPUtime=195.83 cores=0-7 /proc/1830/task/1851/stat : 1851 (java) S 1726 1726 1245 0 -1 1077944384 25 4707468 0 0 0 0 18885 698 20 0 20 0 500439645 8346566656 58892 33554432000 4194304 4196468 140728472411088 140683399066128 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 [pid=1830/tid=1855] ppid=1726 vsize=8150944 memory=2364 CPUtime=195.83 cores=0-7 /proc/1830/task/1855/stat : 1855 (java) S 1726 1726 1245 0 -1 1077944384 12 4707468 0 0 0 0 18885 698 20 0 20 0 500439648 8346566656 58892 33554432000 4194304 4196468 140728472411088 140680647140912 140684097993346 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15523840 140728472417272 140728472417430 140728472417430 140728472420303 0 Current children cumulated CPU time: 1445.04 s Current children cumulated vsize: 8264072 KiB Current children cumulated memory: 237044 KiB Child status: 0 Real time (s): 1166.52 CPU time (s): 1445.09 CPU user time (s): 1397.33 CPU system time (s): 47.759 CPU usage (%): 123.88 Max. virtual memory (cumulated for all children) (KiB): 27443924 Max. memory (cumulated for all children) (KiB): 18587784 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1397.33 system time used= 47.759 maximum resident set size= 18586388 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5296385 page faults= 0 swaps= 0 block input operations= 64 block output operations= 1935744 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 99803 involuntary context switches= 3317 # summary of solver processes directly reported to runsolver: # pid: 1726 # total CPU time (s): 1445.09 # total CPU user time (s): 1397.33 # total CPU system time (s): 47.759 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.5638 second user time and 9.72871 second system time The end
Begin job on node139 at 2019-09-23 14:12:50 IDJOB=4405157 IDBENCH=123183 IDSOLVER=2867 FILE ID=node139/4405157-1569240640 RUNJOBID= node139-1569238758-1272 PBS_JOBID= 21704900 Free space on /tmp= 5144 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) BENCH NAME= XCSP17/MagicSequence/MagicSequence-card-s1/MagicSequence-1000-ca.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -order DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4405157-1569240640/watcher-4405157-1569240640 -o /tmp/evaluation-result-4405157-1569240640/solver-4405157-1569240640 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node139-1569238758-1272 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4405157-1569240640.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= d2780e3631970b53a6f91cd037f7d107 RANDOM SEED=600633216 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.57 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: 25335436 kB MemAvailable: 31781340 kB Buffers: 90196 kB Cached: 6442364 kB SwapCached: 64892 kB Active: 3231532 kB Inactive: 3371412 kB Active(anon): 5056 kB Inactive(anon): 120836 kB Active(file): 3226476 kB Inactive(file): 3250576 kB Unevictable: 107596 kB Mlocked: 107596 kB SwapTotal: 67108860 kB SwapFree: 66940892 kB Dirty: 20844 kB Writeback: 0 kB AnonPages: 60392 kB Mapped: 55840 kB Shmem: 47232 kB Slab: 426120 kB SReclaimable: 397312 kB SUnreclaim: 28808 kB KernelStack: 3696 kB PageTables: 5900 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505052 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 14336 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 5124 MiB End job on node139 at 2019-09-23 14:32:17