| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-06-15) | SAT | 678.33 | 120.022 |
| Name | SuperSolutions/SuperSolutions-Taillard-js15/ SuperTaillard-js-15-02.xml |
| MD5SUM | c67201b80d2f8cf37dc6fc32cd78d58c |
| 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 | 422.969 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 450 |
| Number of constraints | 5580 |
| Number of domains | 85 |
| Minimum domain size | 1165 |
| Maximum domain size | 1263 |
| Distribution of domain sizes | [{"size":1165,"count":2},{"size":1166,"count":8},{"size":1167,"count":2},{"size":1168,"count":4},{"size":1169,"count":2},{"size":1170,"count":6},{"size":1171,"count":10},{"size":1172,"count":4},{"size":1173,"count":10},{"size":1174,"count":8},{"size":1176,"count":6},{"size":1178,"count":4},{"size":1179,"count":6},{"size":1180,"count":2},{"size":1181,"count":6},{"size":1182,"count":4},{"size":1183,"count":4},{"size":1185,"count":2},{"size":1186,"count":4},{"size":1187,"count":2},{"size":1188,"count":4},{"size":1191,"count":10},{"size":1192,"count":6},{"size":1193,"count":4},{"size":1194,"count":6},"...",{"size":1236,"count":8}, {"size":1237,"count":4}, {"size":1239,"count":6}, {"size":1240,"count":8}, {"size":1241,"count":12}, {"size":1242,"count":2}, {"size":1243,"count":6}, {"size":1244,"count":8}, {"size":1245,"count":8}, {"size":1247,"count":2}, {"size":1248,"count":6}, {"size":1250,"count":4}, {"size":1251,"count":6}, {"size":1252,"count":2}, {"size":1253,"count":6}, {"size":1254,"count":6}, {"size":1255,"count":2}, {"size":1256,"count":10}, {"size":1257,"count":4}, {"size":1258,"count":2}, {"size":1259,"count":4}, {"size":1260,"count":2}, {"size":1261,"count":4}, {"size":1262,"count":2}, {"size":1263,"count":4}] |
| Minimum variable degree | 16 |
| Maximum variable degree | 33 |
| Distribution of variable degrees | [{"degree":16,"count":30},{"degree":17,"count":195},{"degree":31,"count":30},{"degree":33,"count":195}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 2 |
| Distribution of constraint arities | [{"arity":2,"count":5580}] |
| Number of extensional constraints | 0 |
| Number of intensional constraints | 5580 |
| Distribution of constraint types | [{"type":"intension","count":5580}] |
| 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-1529-serial-file.bin HOME/instance-4392484-1568442291.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: Sat Sep 14 08:24:09 CEST 2019 0.66/0.57 c PID: 1532 0.66/0.57 c IP: 172.20.3.137 0.66/0.57 c HOST: node137.alineos.net 0.66/0.57 c (0,0) Parsing Begin 6.10/1.90 c (1,1) Parsing End 6.10/1.91 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1263 6.10/1.91 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 6.10/1.91 c (1,1) Constraint Name Generate Begin 6.10/1.95 c (1,1) Ctr:HOME/instance-4392484-1568442291.xml,Add:Le:Ne:Num:Or:Var 6.10/1.95 c (1,1) Constraint Name Generate End 6.10/1.95 c (1,1) Heap : 563 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.10/1.95 c (1,1) CSP to CSPinCNF Begin 6.85/2.21 c (1,1) translated 558 (10%) constraints 6.85/2.28 c (1,1) translated 1116 (20%) constraints 7.24/2.32 c (1,1) translated 1674 (30%) constraints 7.24/2.37 c (1,1) translated 2232 (40%) constraints 7.65/2.41 c (1,1) translated 2790 (50%) constraints 7.65/2.44 c (1,1) translated 3348 (60%) constraints 7.65/2.47 c (1,1) translated 3906 (70%) constraints 7.65/2.50 c (1,1) translated 4464 (80%) constraints 7.93/2.52 c (1,1) translated 5022 (90%) constraints 7.93/2.54 c (1,1) translated 5580 (100%) constraints 7.93/2.54 c (1,1) =========================================== 7.93/2.54 c (1,1) Order 7.93/2.54 c (1,1) =========================================== 7.93/2.57 c (2,2) translated 558 (10%) constraints 7.93/2.60 c (2,2) translated 1116 (20%) constraints 8.31/2.62 c (2,2) translated 1674 (30%) constraints 8.31/2.64 c (2,2) translated 2232 (40%) constraints 8.31/2.66 c (2,2) translated 2790 (50%) constraints 8.31/2.68 c (2,2) translated 3348 (60%) constraints 8.31/2.69 c (2,2) translated 3906 (70%) constraints 8.72/2.71 c (2,2) translated 4464 (80%) constraints 8.72/2.73 c (2,2) translated 5022 (90%) constraints 8.72/2.74 c (2,2) translated 5580 (100%) constraints 8.72/2.75 c (2,2) CSP to CSPinCNF End 8.72/2.75 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 8.72/2.75 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.72/2.75 c (2,2) CSPinCNF Propagation Begin 9.14/2.83 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 9.14/2.83 c (2,2) CSPinCNF Propagation End 9.14/2.83 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 9.14/2.83 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 9.14/2.83 c (2,2) Simplify CSPinCNF Begin 10.28/3.11 c (2,2) Simplify CSPinCNF End 10.28/3.11 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 10.28/3.11 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.28/3.11 c (2,2) Calculate Precise Domain Begin 10.28/3.12 c (2,2) 0 values are removed by re-calculation 10.28/3.12 c (2,2) Calculate Precise Domain End 10.28/3.12 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 10.28/3.12 c (2,2) Heap : 675 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 10.28/3.12 c (2,2) CSPinCNF to SatSolver Begin 16.39/6.81 c (6,6) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 980918 SAT clauses) 19.53/9.59 c (9,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1625009 SAT clauses) 21.73/11.76 c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2200453 SAT clauses) 24.07/14.03 c (13,13) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2810903 SAT clauses) 26.66/16.32 c (15,15) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3400641 SAT clauses) 28.95/18.57 c (18,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4004848 SAT clauses) 31.53/21.58 c (21,20) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4677532 SAT clauses) 33.87/23.80 c (23,22) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5256139 SAT clauses) 36.49/26.70 c (26,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5922663 SAT clauses) 39.08/29.43 c (28,27) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6834210 SAT clauses) 39.08/29.43 c (28,27) CSPinCNF to SatSolver End 39.08/29.43 c (28,27) Heap : 1163 MiB used (max 21589 MiB), NonHeap : 29 MiB used (max 0 MiB) 39.08/29.43 c (28,27) 356736 bool, 6834708 clause 39.08/29.43 c (28,27) Export Begin 39.23/29.54 c (28,27) Export to HOME/scop-1529-serial-file.bin 39.23/29.54 c (28,27) Export End 39.23/29.54 c (28,27) Export File Size: 0.07 MB 39.23/29.54 c (28,27) 1,1,2,2,2,2,28,STOP-AFTER(DIMACS) 39.23/29.54 c END-Prog: Sat Sep 14 08:24:38 CEST 2019 39.23/29.58 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-1529-serial-file.bin 39.93/30.05 c (0,0) Read Serial File Begin 39.93/30.05 c (0,0) HOME/scop-1529-serial-file.bin 40.19/30.29 c (0,0) Read Serial File End 40.44/30.30 40.44/30.30 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 40.44/30.30 (Solving Process) 40.44/30.30 40.44/30.32 c BEGIN-Prog: Sat Sep 14 08:24:39 CEST 2019 40.44/30.32 c PID: 1555 40.44/30.32 c IP: 172.20.3.137 40.44/30.32 c HOST: node137.alineos.net 40.44/30.33 c (0,0) SatSolver.solve Begin 40.44/30.33 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392484-1568442291.xml-scop-1532.cnf 40.44/30.35 c (0,0) c 40.44/30.35 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) 40.44/30.35 c (0,0) c 40.44/30.35 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 40.44/30.35 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 40.44/30.35 c (0,0) c ========================================[ Problem Statistics ]=========================================== 40.44/30.35 c (0,0) c | | 43.30/33.03 c (3,0) c | Number of variables: 356736 | 43.30/33.03 c (3,0) c | Number of clauses: 6715002 | 43.30/33.03 c (3,0) c | Parse time: 2.42 s | 43.30/33.03 c (3,0) c | | 43.70/33.48 c (3,0) c | Too many clauses... No preprocessing | 43.70/33.48 c (3,0) c | Simplification time: 0.40 s | 43.70/33.48 c (3,0) c | | 43.70/33.48 c (3,0) c | Generating clones | 45.51/35.23 c (5,0) c | all clones generated. Memory = 3619.07Mb. | 45.51/35.23 c (5,0) c ========================================================================================================| 45.51/35.23 c (5,0) c 45.51/35.23 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 45.51/35.23 c (5,0) c 45.51/35.23 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 45.51/35.23 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 45.51/35.23 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 45.51/35.23 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 45.51/35.23 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 45.51/35.23 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 45.51/35.23 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 45.51/35.23 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 45.51/35.23 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 45.51/35.23 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 45.51/35.23 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 45.51/35.23 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 45.51/35.23 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 45.51/35.23 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 45.51/35.23 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 45.51/35.23 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 45.51/35.23 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 45.51/35.23 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 45.51/35.23 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.17/64.90 c (34,0) c 273.17/64.90 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 273.17/64.90 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 273.17/64.90 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 273.17/64.90 c (34,0) c | 0 | 2 | 4845 | 2972 | 63350 | 1972 | 92 | 516 | 28 | 148 | 20 | 34.045 | 273.17/64.90 c (34,0) c | 1 | 9 | 5689 | 3399 | 70527 | 2393 | 148 | 736 | 34 | 159 | 20 | 34.082 | 273.17/64.90 c (34,0) c | 2 | 10 | 5320 | 3303 | 71214 | 2301 | 155 | 775 | 44 | 162 | 20 | 34.082 | 273.17/64.90 c (34,0) c | 3 | 4 | 5184 | 3252 | 69468 | 2246 | 141 | 702 | 52 | 162 | 20 | 34.082 | 273.17/64.90 c (34,0) c | 4 | 3 | 5744 | 3360 | 68270 | 2359 | 116 | 777 | 42 | 162 | 20 | 34.079 | 273.17/64.90 c (34,0) c | 5 | 14 | 5598 | 3178 | 70911 | 2170 | 141 | 734 | 59 | 155 | 20 | 34.076 | 273.17/64.90 c (34,0) c | 6 | 5 | 4665 | 2862 | 60066 | 1857 | 91 | 555 | 33 | 142 | 20 | 34.042 | 273.17/64.90 c (34,0) c | 7 | 4 | 5338 | 3304 | 62264 | 2300 | 115 | 421 | 31 | 154 | 20 | 34.025 | 273.17/64.90 c (34,0) c 273.17/64.90 c (34,0) c synthesis 25630 conflicts 321094551 propagations 113 conflicts/sec 1417021 propagations/sec 273.17/64.90 c (34,0) c real: 34.5447 s, cpu: 226.598 s, memory: 3677.54 Mb 496.44/93.90 c (63,0) c 496.44/93.90 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 496.44/93.90 c (63,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 496.44/93.90 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 496.44/93.90 c (63,0) c | 0 | 7 | 10467 | 6434 | 113288 | 5430 | 550 | 2815 | 176 | 290 | 20 | 34.160 | 496.44/93.90 c (63,0) c | 1 | 16 | 11155 | 6797 | 113054 | 2990 | 754 | 3577 | 137 | 307 | 20 | 34.182 | 496.44/93.90 c (63,0) c | 2 | 28 | 11069 | 6707 | 114900 | 2910 | 741 | 4162 | 169 | 310 | 20 | 34.184 | 496.44/93.90 c (63,0) c | 3 | 13 | 12161 | 7216 | 115802 | 3411 | 856 | 3915 | 176 | 309 | 20 | 34.184 | 496.44/93.90 c (63,0) c | 4 | 4 | 10452 | 6520 | 111666 | 5515 | 685 | 3487 | 166 | 307 | 20 | 34.171 | 496.44/93.90 c (63,0) c | 5 | 25 | 11045 | 6563 | 112086 | 5551 | 668 | 3970 | 200 | 310 | 20 | 34.173 | 496.44/93.90 c (63,0) c | 6 | 16 | 11024 | 6974 | 105478 | 3168 | 751 | 3472 | 177 | 302 | 20 | 34.168 | 496.44/93.90 c (63,0) c | 7 | 16 | 11614 | 6723 | 116146 | 2921 | 640 | 4165 | 216 | 310 | 20 | 34.184 | 496.44/93.90 c (63,0) c 496.44/93.90 c (63,0) c synthesis 53934 conflicts 699283353 propagations 120 conflicts/sec 1561113 propagations/sec 496.44/93.90 c (63,0) c real: 63.5447 s, cpu: 447.939 s, memory: 3677.79 Mb 677.14/119.54 c (89,0) c 677.14/119.54 c (89,0) c real time : 89.1942 s 677.14/119.54 c (89,0) c cpu time : 626.203 s 677.14/119.54 c (89,0) c 677.14/119.54 c (89,0) c 677.14/119.54 c (89,0) c 677.14/119.54 c (89,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 677.14/119.54 c (89,0) c 677.14/119.54 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.54 c (89,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 677.14/119.54 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.54 c (89,0) c | Conflicts | 75705 | 9179 | 9729 | 9341 | 9932 | 9618 | 8923 | 9756 | 9227 | 677.14/119.54 c (89,0) c | Decisions | 130283 | 14599 | 15411 | 15352 | 15898 | 15031 | 22144 | 15662 | 16186 | 677.14/119.54 c (89,0) c | Propagations | 1009926799 | 125370729 | 130290696 | 124046446 | 128759516 | 124354717 | 124178407 | 128020573 | 124905715 | 677.14/119.54 c (89,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 677.14/119.54 c (89,0) c | SimpDBs | 57 | 5 | 7 | 8 | 6 | 6 | 9 | 8 | 8 | 677.14/119.54 c (89,0) c | Restarts | 169 | 10 | 22 | 38 | 14 | 7 | 28 | 26 | 24 | 677.14/119.54 c (89,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.14/119.54 c (89,0) c | PropBinClauses| 3444144866 | 433471097 | 444865818 | 420624212 | 437425826 | 421994469 | 425555049 | 434904254 | 425304141 | 677.14/119.54 c (89,0) c | PropPreBlocker| 13595102495 | 1710048588 | 1679050027 | 1701512058 | 1693726823 | 1732842630 | 1691675442 | 1684196317 | 1702050610 | 677.14/119.54 c (89,0) c | PropNotBlocker| 2132955796 | 272150433 | 280888908 | 261609088 | 273374042 | 258879947 | 255427118 | 276247187 | 254379073 | 677.14/119.54 c (89,0) c | LitFullScans | 20236252903 | 2524663635 | 2536940903 | 2524829522 | 2524996870 | 2536875758 | 2526666284 | 2536696061 | 2524583870 | 677.14/119.54 c (89,0) c | LitScanFracts | 2056311 | 202067 | 229422 | 303605 | 242406 | 228667 | 348464 | 275422 | 226258 | 677.14/119.54 c (89,0) c | DecisionLevel0| 337 | 22 | 48 | 56 | 31 | 19 | 57 | 50 | 54 | 677.14/119.54 c (89,0) c | Periods | 3366 | 420 | 422 | 420 | 420 | 422 | 420 | 422 | 420 | 677.14/119.54 c (89,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 677.14/119.54 c (89,0) c | Avg_Trail | | 223338 | 219094 | 225721 | 223794 | 226701 | 228810 | 219085 | 228706 | 677.14/119.54 c (89,0) c | Avg_DL | | 21 | 15 | 19 | 20 | 23 | 19 | 17 | 24 | 677.14/119.54 c (89,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.14/119.54 c (89,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.14/119.54 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.54 c (89,0) c | Exported | 11322 | 1319 | 1471 | 1391 | 1534 | 1534 | 1372 | 1417 | 1284 | 677.14/119.54 c (89,0) c | Imported | 63584 | 8189 | 8671 | 8189 | 4090 | 8595 | 9099 | 7993 | 8758 | 677.14/119.54 c (89,0) c | Good | 631 | 80 | 82 | 79 | 56 | 85 | 78 | 84 | 87 | 677.14/119.54 c (89,0) c | Purge | 62953 | 8109 | 8589 | 8110 | 4034 | 8510 | 9021 | 7909 | 8671 | 677.14/119.55 c (89,0) c | Promoted | 3720 | 418 | 501 | 513 | 362 | 479 | 441 | 515 | 491 | 677.14/119.55 c (89,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.14/119.55 c (89,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 677.14/119.55 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.55 c (89,0) c | Unaries | | 12 | 26 | 18 | 17 | 12 | 29 | 24 | 30 | 677.14/119.55 c (89,0) c | Binaries | | 13 | 12 | 16 | 13 | 9 | 22 | 12 | 8 | 677.14/119.55 c (89,0) c | Glues | | 271 | 365 | 368 | 353 | 284 | 371 | 331 | 406 | 677.14/119.55 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.55 c (89,0) c | Orig_Seen | 3 % | 140285 | 137718 | 139671 | 134591 | 138111 | 131390 | 131344 | 142552 | 677.14/119.55 c (89,0) c | Diff Orig seen| | 8895 | 6328 | 8281 | 3201 | 6721 | X | - 46 | 11162 | 677.14/119.55 c (89,0) c | Hamming | 13 % | 41617 | 41364 | 50011 | 46821 | 43817 | X | 54605 | 58591 | 677.14/119.55 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.55 c (89,0) c | RunningTime | | 84.3 100%| 81.0 100%| 78.8 95%| 79.3 97%| 75.0 92%| 78.1 96%| 79.5 98%| 79.4 97%| 677.14/119.55 c (89,0) c | WaitingTime | | 0.0 0%| 0.4 0%| 4.4 5%| 2.1 3%| 6.3 8%| 3.2 4%| 1.8 2%| 2.8 3%| 677.14/119.55 c (89,0) c | ExchangingTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 677.14/119.55 c (89,0) c | PeriodProcTime| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 677.14/119.55 c (89,0) c | SolvingTime | | 84.3 | 81.3 | 83.3 | 81.4 | 81.3 | 81.3 | 81.3 | 82.2 | 677.14/119.55 c (89,0) c | PropagationTim| | 80.1 95%| 77.1 95%| 77.9 94%| 76.8 94%| 76.5 94%| 76.3 94%| 76.3 94%| 77.0 94%| 677.14/119.55 c (89,0) c | AnalysisTime | | 1.2 1%| 1.2 1%| 1.2 1%| 1.2 2%| 1.3 2%| 1.2 1%| 1.2 1%| 1.2 2%| 677.14/119.55 c (89,0) c | ReductionTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 677.14/119.55 c (89,0) c | SimplifyTime | | 1.2 1%| 1.4 2%| 2.4 3%| 1.7 2%| 1.9 2%| 2.1 3%| 2.1 3%| 2.1 3%| 677.14/119.55 c (89,0) c | UsedRateTime | | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 677.14/119.55 c (89,0) c | OverlapRateTim| | 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 0.0 0%| 677.14/119.55 c (89,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.55 c (89,0) c 677.14/119.55 c (89,0) c 677.14/119.55 c (89,0) c Threads : 8 677.14/119.55 c (89,0) c Winner : 5 677.14/119.55 c (89,0) c Conflicts_0 : 9179 677.14/119.55 c (89,0) c Conflicts_1 : 9729 677.14/119.55 c (89,0) c Conflicts_2 : 9341 677.14/119.55 c (89,0) c Conflicts_3 : 9932 677.14/119.55 c (89,0) c Conflicts_4 : 9618 677.14/119.55 c (89,0) c Conflicts_5 : 8923 677.14/119.55 c (89,0) c Conflicts_6 : 9756 677.14/119.55 c (89,0) c Conflicts_7 : 9227 677.14/119.55 c (89,0) c Conflicts_total : 75705 677.14/119.55 c (89,0) c Conflicts_winner : 8923 677.14/119.55 c (89,0) c Decisions_0 : 14599 677.14/119.55 c (89,0) c Decisions_1 : 15411 677.14/119.55 c (89,0) c Decisions_2 : 15352 677.14/119.55 c (89,0) c Decisions_3 : 15898 677.14/119.55 c (89,0) c Decisions_4 : 15031 677.14/119.55 c (89,0) c Decisions_5 : 22144 677.14/119.55 c (89,0) c Decisions_6 : 15662 677.14/119.55 c (89,0) c Decisions_7 : 16186 677.14/119.55 c (89,0) c Decisions_total : 130283 677.14/119.55 c (89,0) c Decisions_winner : 22144 677.14/119.55 c (89,0) c Propagations_0 : 125370729 677.14/119.55 c (89,0) c Propagations_1 : 130290696 677.14/119.55 c (89,0) c Propagations_2 : 124046446 677.14/119.55 c (89,0) c Propagations_3 : 128759516 677.14/119.55 c (89,0) c Propagations_4 : 124354717 677.14/119.55 c (89,0) c Propagations_5 : 124178407 677.14/119.55 c (89,0) c Propagations_6 : 128020573 677.14/119.55 c (89,0) c Propagations_7 : 124905715 677.14/119.55 c (89,0) c Propagations_total : 1009926799 677.14/119.55 c (89,0) c Propagations_winner : 124178407 677.14/119.55 c (89,0) c ReduceDBs_0 : 2 677.14/119.55 c (89,0) c ReduceDBs_1 : 2 677.14/119.55 c (89,0) c ReduceDBs_2 : 2 677.14/119.55 c (89,0) c ReduceDBs_3 : 2 677.14/119.55 c (89,0) c ReduceDBs_4 : 2 677.14/119.55 c (89,0) c ReduceDBs_5 : 2 677.14/119.55 c (89,0) c ReduceDBs_6 : 2 677.14/119.55 c (89,0) c ReduceDBs_7 : 2 677.14/119.55 c (89,0) c ReduceDBs_total : 16 677.14/119.55 c (89,0) c ReduceDBs_winner : 2 677.14/119.55 c (89,0) c SimpDBs_0 : 5 677.14/119.55 c (89,0) c SimpDBs_1 : 7 677.14/119.55 c (89,0) c SimpDBs_2 : 8 677.14/119.55 c (89,0) c SimpDBs_3 : 6 677.14/119.55 c (89,0) c SimpDBs_4 : 6 677.14/119.55 c (89,0) c SimpDBs_5 : 9 677.14/119.55 c (89,0) c SimpDBs_6 : 8 677.14/119.55 c (89,0) c SimpDBs_7 : 8 677.14/119.55 c (89,0) c SimpDBs_total : 57 677.14/119.55 c (89,0) c SimpDBs_winner : 9 677.14/119.55 c (89,0) c Restarts_0 : 10 677.14/119.55 c (89,0) c Restarts_1 : 22 677.14/119.55 c (89,0) c Restarts_2 : 38 677.14/119.55 c (89,0) c Restarts_3 : 14 677.14/119.55 c (89,0) c Restarts_4 : 7 677.14/119.55 c (89,0) c Restarts_5 : 28 677.14/119.55 c (89,0) c Restarts_6 : 26 677.14/119.55 c (89,0) c Restarts_7 : 24 677.14/119.55 c (89,0) c Restarts_total : 169 677.14/119.55 c (89,0) c Restarts_winner : 28 677.14/119.55 c (89,0) c ForcedImports_0 : 0 677.14/119.55 c (89,0) c ForcedImports_1 : 0 677.14/119.55 c (89,0) c ForcedImports_2 : 0 677.14/119.55 c (89,0) c ForcedImports_3 : 0 677.14/119.55 c (89,0) c ForcedImports_4 : 0 677.14/119.55 c (89,0) c ForcedImports_5 : 0 677.14/119.55 c (89,0) c ForcedImports_6 : 0 677.14/119.55 c (89,0) c ForcedImports_7 : 0 677.14/119.55 c (89,0) c ForcedImports_total : 0 677.14/119.55 c (89,0) c ForcedImports_winner : 0 677.14/119.55 c (89,0) c PropsBinClauses_0 : 433471097 677.14/119.55 c (89,0) c PropsBinClauses_1 : 444865818 677.14/119.55 c (89,0) c PropsBinClauses_2 : 420624212 677.14/119.55 c (89,0) c PropsBinClauses_3 : 437425826 677.14/119.55 c (89,0) c PropsBinClauses_4 : 421994469 677.14/119.55 c (89,0) c PropsBinClauses_5 : 425555049 677.14/119.55 c (89,0) c PropsBinClauses_6 : 434904254 677.14/119.55 c (89,0) c PropsBinClauses_7 : 425304141 677.14/119.55 c (89,0) c PropsBinClauses_total : 3444144866 677.14/119.55 c (89,0) c PropsBinClauses_winner : 425555049 677.14/119.55 c (89,0) c PropsPreBlocker_0 : 1710048588 677.14/119.55 c (89,0) c PropsPreBlocker_1 : 1679050027 677.14/119.55 c (89,0) c PropsPreBlocker_2 : 1701512058 677.14/119.55 c (89,0) c PropsPreBlocker_3 : 1693726823 677.14/119.55 c (89,0) c PropsPreBlocker_4 : 1732842630 677.14/119.55 c (89,0) c PropsPreBlocker_5 : 1691675442 677.14/119.55 c (89,0) c PropsPreBlocker_6 : 1684196317 677.14/119.55 c (89,0) c PropsPreBlocker_7 : 1702050610 677.14/119.55 c (89,0) c PropsPreBlocker_total : 13595102495 677.14/119.55 c (89,0) c PropsPreBlocker_winner : 1691675442 677.14/119.55 c (89,0) c PropsNotBlocker_0 : 272150433 677.14/119.55 c (89,0) c PropsNotBlocker_1 : 280888908 677.14/119.55 c (89,0) c PropsNotBlocker_2 : 261609088 677.14/119.55 c (89,0) c PropsNotBlocker_3 : 273374042 677.14/119.55 c (89,0) c PropsNotBlocker_4 : 258879947 677.14/119.55 c (89,0) c PropsNotBlocker_5 : 255427118 677.14/119.55 c (89,0) c PropsNotBlocker_6 : 276247187 677.14/119.55 c (89,0) c PropsNotBlocker_7 : 254379073 677.14/119.55 c (89,0) c PropsNotBlocker_total : 2132955796 677.14/119.55 c (89,0) c PropsNotBlocker_winner : 255427118 677.14/119.55 c (89,0) c PropsLitFullScans_0 : 2524663635 677.14/119.55 c (89,0) c PropsLitFullScans_1 : 2536940903 677.14/119.55 c (89,0) c PropsLitFullScans_2 : 2524829522 677.14/119.55 c (89,0) c PropsLitFullScans_3 : 2524996870 677.14/119.55 c (89,0) c PropsLitFullScans_4 : 2536875758 677.14/119.55 c (89,0) c PropsLitFullScans_5 : 2526666284 677.14/119.55 c (89,0) c PropsLitFullScans_6 : 2536696061 677.14/119.55 c (89,0) c PropsLitFullScans_7 : 2524583870 677.14/119.55 c (89,0) c PropsLitFullScans_total : 20236252903 677.14/119.55 c (89,0) c PropsLitFullScans_winner : 2526666284 677.14/119.55 c (89,0) c LitScanFractions_0 : 202067 677.14/119.55 c (89,0) c LitScanFractions_1 : 229422 677.14/119.55 c (89,0) c LitScanFractions_2 : 303605 677.14/119.55 c (89,0) c LitScanFractions_3 : 242406 677.14/119.55 c (89,0) c LitScanFractions_4 : 228667 677.14/119.55 c (89,0) c LitScanFractions_5 : 348464 677.14/119.55 c (89,0) c LitScanFractions_6 : 275422 677.14/119.55 c (89,0) c LitScanFractions_7 : 226258 677.14/119.55 c (89,0) c LitScanFractions_total : 2056311 677.14/119.55 c (89,0) c LitScanFractions_winner : 348464 677.14/119.55 c (89,0) c DecisionLevel0_0 : 22 677.14/119.55 c (89,0) c DecisionLevel0_1 : 48 677.14/119.55 c (89,0) c DecisionLevel0_2 : 56 677.14/119.55 c (89,0) c DecisionLevel0_3 : 31 677.14/119.55 c (89,0) c DecisionLevel0_4 : 19 677.14/119.55 c (89,0) c DecisionLevel0_5 : 57 677.14/119.55 c (89,0) c DecisionLevel0_6 : 50 677.14/119.55 c (89,0) c DecisionLevel0_7 : 54 677.14/119.55 c (89,0) c DecisionLevel0_total : 337 677.14/119.55 c (89,0) c DecisionLevel0_winner : 57 677.14/119.55 c (89,0) c Periods_0 : 420 677.14/119.55 c (89,0) c Periods_1 : 422 677.14/119.55 c (89,0) c Periods_2 : 420 677.14/119.55 c (89,0) c Periods_3 : 420 677.14/119.55 c (89,0) c Periods_4 : 422 677.14/119.55 c (89,0) c Periods_5 : 420 677.14/119.55 c (89,0) c Periods_6 : 422 677.14/119.55 c (89,0) c Periods_7 : 420 677.14/119.55 c (89,0) c Periods_total : 3366 677.14/119.55 c (89,0) c Periods_winner : 420 677.14/119.55 c (89,0) c Margin_0 : 20 677.14/119.55 c (89,0) c Margin_1 : 20 677.14/119.55 c (89,0) c Margin_2 : 20 677.14/119.55 c (89,0) c Margin_3 : 20 677.14/119.55 c (89,0) c Margin_4 : 20 677.14/119.55 c (89,0) c Margin_5 : 20 677.14/119.55 c (89,0) c Margin_6 : 20 677.14/119.55 c (89,0) c Margin_7 : 20 677.14/119.55 c (89,0) c Margin_total : 160 677.14/119.55 c (89,0) c Margin_winner : 20 677.14/119.55 c (89,0) c Exported_0 : 1319 677.14/119.55 c (89,0) c Exported_1 : 1471 677.14/119.55 c (89,0) c Exported_2 : 1391 677.14/119.55 c (89,0) c Exported_3 : 1534 677.14/119.55 c (89,0) c Exported_4 : 1534 677.14/119.55 c (89,0) c Exported_5 : 1372 677.14/119.55 c (89,0) c Exported_6 : 1417 677.14/119.55 c (89,0) c Exported_7 : 1284 677.14/119.55 c (89,0) c Exported_total : 11322 677.14/119.55 c (89,0) c Exported_winner : 1372 677.14/119.55 c (89,0) c Imported_0 : 8189 677.14/119.55 c (89,0) c Imported_1 : 8671 677.14/119.55 c (89,0) c Imported_2 : 8189 677.14/119.55 c (89,0) c Imported_3 : 4090 677.14/119.55 c (89,0) c Imported_4 : 8595 677.14/119.55 c (89,0) c Imported_5 : 9099 677.14/119.55 c (89,0) c Imported_6 : 7993 677.14/119.55 c (89,0) c Imported_7 : 8758 677.14/119.55 c (89,0) c Imported_total : 63584 677.14/119.55 c (89,0) c Imported_winner : 9099 677.14/119.55 c (89,0) c Good_0 : 80 677.14/119.55 c (89,0) c Good_1 : 82 677.14/119.55 c (89,0) c Good_2 : 79 677.14/119.55 c (89,0) c Good_3 : 56 677.14/119.55 c (89,0) c Good_4 : 85 677.14/119.55 c (89,0) c Good_5 : 78 677.14/119.55 c (89,0) c Good_6 : 84 677.14/119.55 c (89,0) c Good_7 : 87 677.14/119.55 c (89,0) c Good_total : 631 677.14/119.55 c (89,0) c Good_winner : 78 677.14/119.55 c (89,0) c Purge_0 : 8109 677.14/119.55 c (89,0) c Purge_1 : 8589 677.14/119.55 c (89,0) c Purge_2 : 8110 677.14/119.55 c (89,0) c Purge_3 : 4034 677.14/119.55 c (89,0) c Purge_4 : 8510 677.14/119.55 c (89,0) c Purge_5 : 9021 677.14/119.55 c (89,0) c Purge_6 : 7909 677.14/119.55 c (89,0) c Purge_7 : 8671 677.14/119.55 c (89,0) c Purge_total : 62953 677.14/119.55 c (89,0) c Purge_winner : 9021 677.14/119.55 c (89,0) c Promoted_0 : 418 677.14/119.55 c (89,0) c Promoted_1 : 501 677.14/119.55 c (89,0) c Promoted_2 : 513 677.14/119.55 c (89,0) c Promoted_3 : 362 677.14/119.55 c (89,0) c Promoted_4 : 479 677.14/119.55 c (89,0) c Promoted_5 : 441 677.14/119.55 c (89,0) c Promoted_6 : 515 677.14/119.55 c (89,0) c Promoted_7 : 491 677.14/119.55 c (89,0) c Promoted_total : 3720 677.14/119.55 c (89,0) c Promoted_winner : 441 677.14/119.55 c (89,0) c Remove_Imp_0 : 0 677.14/119.55 c (89,0) c Remove_Imp_1 : 0 677.14/119.55 c (89,0) c Remove_Imp_2 : 0 677.14/119.55 c (89,0) c Remove_Imp_3 : 0 677.14/119.55 c (89,0) c Remove_Imp_4 : 0 677.14/119.55 c (89,0) c Remove_Imp_5 : 0 677.14/119.55 c (89,0) c Remove_Imp_6 : 0 677.14/119.55 c (89,0) c Remove_Imp_7 : 0 677.14/119.55 c (89,0) c Remove_Imp_total : 0 677.14/119.55 c (89,0) c Remove_Imp_winner : 0 677.14/119.55 c (89,0) c Blocked_Reuse_0 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_1 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_2 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_3 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_4 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_5 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_6 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_7 : 0 677.14/119.55 c (89,0) c Blocked_Reuse_total : 0 677.14/119.55 c (89,0) c Blocked_Reuse_winner : 0 677.14/119.55 c (89,0) c Unaries_0 : 12 677.14/119.55 c (89,0) c Unaries_1 : 26 677.14/119.55 c (89,0) c Unaries_2 : 18 677.14/119.55 c (89,0) c Unaries_3 : 17 677.14/119.55 c (89,0) c Unaries_4 : 12 677.14/119.55 c (89,0) c Unaries_5 : 29 677.14/119.55 c (89,0) c Unaries_6 : 24 677.14/119.55 c (89,0) c Unaries_7 : 30 677.14/119.55 c (89,0) c Unaries_total : 168 677.14/119.55 c (89,0) c Unaries_winner : 29 677.14/119.55 c (89,0) c Binaries_0 : 13 677.14/119.55 c (89,0) c Binaries_1 : 12 677.14/119.55 c (89,0) c Binaries_2 : 16 677.14/119.55 c (89,0) c Binaries_3 : 13 677.14/119.55 c (89,0) c Binaries_4 : 9 677.14/119.55 c (89,0) c Binaries_5 : 22 677.14/119.55 c (89,0) c Binaries_6 : 12 677.14/119.55 c (89,0) c Binaries_7 : 8 677.14/119.55 c (89,0) c Binaries_total : 105 677.14/119.55 c (89,0) c Binaries_winner : 22 677.14/119.55 c (89,0) c Glues_0 : 271 677.14/119.55 c (89,0) c Glues_1 : 365 677.14/119.55 c (89,0) c Glues_2 : 368 677.14/119.55 c (89,0) c Glues_3 : 353 677.14/119.55 c (89,0) c Glues_4 : 284 677.14/119.55 c (89,0) c Glues_5 : 371 677.14/119.55 c (89,0) c Glues_6 : 331 677.14/119.55 c (89,0) c Glues_7 : 406 677.14/119.55 c (89,0) c Glues_total : 2749 677.14/119.55 c (89,0) c Glues_winner : 371 677.14/119.55 c (89,0) c RunningTime_0 : 84.277790 677.14/119.55 c (89,0) c RunningTime_1 : 80.953017 677.14/119.55 c (89,0) c RunningTime_2 : 78.814655 677.14/119.55 c (89,0) c RunningTime_3 : 79.316098 677.14/119.55 c (89,0) c RunningTime_4 : 74.972976 677.14/119.55 c (89,0) c RunningTime_5 : 78.125104 677.14/119.55 c (89,0) c RunningTime_6 : 79.481444 677.14/119.55 c (89,0) c RunningTime_7 : 79.374905 677.14/119.55 c (89,0) c RunningTime_total : 635.315989 677.14/119.56 c (89,0) c RunningTime_winner : 78.125104 677.14/119.56 c (89,0) c WaitingTime_0 : 0.000775 677.14/119.56 c (89,0) c WaitingTime_1 : 0.363407 677.14/119.56 c (89,0) c WaitingTime_2 : 4.441703 677.14/119.56 c (89,0) c WaitingTime_3 : 2.082182 677.14/119.56 c (89,0) c WaitingTime_4 : 6.338549 677.14/119.56 c (89,0) c WaitingTime_5 : 3.155753 677.14/119.56 c (89,0) c WaitingTime_6 : 1.823288 677.14/119.56 c (89,0) c WaitingTime_7 : 2.771966 677.14/119.56 c (89,0) c WaitingTime_total : 20.977623 677.14/119.56 c (89,0) c WaitingTime_winner : 3.155753 677.14/119.56 c (89,0) c ExchangingTime_0 : 0.010456 677.14/119.56 c (89,0) c ExchangingTime_1 : 0.010040 677.14/119.56 c (89,0) c ExchangingTime_2 : 0.011594 677.14/119.56 c (89,0) c ExchangingTime_3 : 0.010634 677.14/119.56 c (89,0) c ExchangingTime_4 : 0.009770 677.14/119.56 c (89,0) c ExchangingTime_5 : 0.011053 677.14/119.56 c (89,0) c ExchangingTime_6 : 0.010422 677.14/119.56 c (89,0) c ExchangingTime_7 : 0.012355 677.14/119.56 c (89,0) c ExchangingTime_total : 0.086324 677.14/119.56 c (89,0) c ExchangingTime_winner : 0.011053 677.14/119.56 c (89,0) c PeriodProcTime_0 : 0.007455 677.14/119.56 c (89,0) c PeriodProcTime_1 : 0.004664 677.14/119.56 c (89,0) c PeriodProcTime_2 : 0.004909 677.14/119.56 c (89,0) c PeriodProcTime_3 : 0.005732 677.14/119.56 c (89,0) c PeriodProcTime_4 : 0.004771 677.14/119.56 c (89,0) c PeriodProcTime_5 : 0.005797 677.14/119.56 c (89,0) c PeriodProcTime_6 : 0.005500 677.14/119.56 c (89,0) c PeriodProcTime_7 : 0.005629 677.14/119.56 c (89,0) c PeriodProcTime_total : 0.044456 677.14/119.56 c (89,0) c PeriodProcTime_winner : 0.005797 677.14/119.56 c (89,0) c SolvingTime_0 : 84.296476 677.14/119.56 c (89,0) c SolvingTime_1 : 81.331128 677.14/119.56 c (89,0) c SolvingTime_2 : 83.272860 677.14/119.56 c (89,0) c SolvingTime_3 : 81.414646 677.14/119.56 c (89,0) c SolvingTime_4 : 81.326066 677.14/119.56 c (89,0) c SolvingTime_5 : 81.297707 677.14/119.56 c (89,0) c SolvingTime_6 : 81.320653 677.14/119.56 c (89,0) c SolvingTime_7 : 82.164855 677.14/119.56 c (89,0) c SolvingTime_total : 656.424392 677.14/119.56 c (89,0) c SolvingTime_winner : 81.297707 677.14/119.56 c (89,0) c PropagationTime_0 : 80.129498 677.14/119.56 c (89,0) c PropagationTime_1 : 77.052067 677.14/119.56 c (89,0) c PropagationTime_2 : 77.924762 677.14/119.56 c (89,0) c PropagationTime_3 : 76.768867 677.14/119.56 c (89,0) c PropagationTime_4 : 76.521383 677.14/119.56 c (89,0) c PropagationTime_5 : 76.255105 677.14/119.56 c (89,0) c PropagationTime_6 : 76.294496 677.14/119.56 c (89,0) c PropagationTime_7 : 76.985896 677.14/119.56 c (89,0) c PropagationTime_total : 617.932074 677.14/119.56 c (89,0) c PropagationTime_winner : 76.255105 677.14/119.56 c (89,0) c AnalysisTime_0 : 1.220273 677.14/119.56 c (89,0) c AnalysisTime_1 : 1.151699 677.14/119.56 c (89,0) c AnalysisTime_2 : 1.182857 677.14/119.56 c (89,0) c AnalysisTime_3 : 1.230008 677.14/119.56 c (89,0) c AnalysisTime_4 : 1.294716 677.14/119.56 c (89,0) c AnalysisTime_5 : 1.170308 677.14/119.56 c (89,0) c AnalysisTime_6 : 1.168089 677.14/119.56 c (89,0) c AnalysisTime_7 : 1.247768 677.14/119.56 c (89,0) c AnalysisTime_total : 9.665719 677.14/119.56 c (89,0) c AnalysisTime_winner : 1.170308 677.14/119.56 c (89,0) c ReductionTime_0 : 0.002913 677.14/119.56 c (89,0) c ReductionTime_1 : 0.001747 677.14/119.56 c (89,0) c ReductionTime_2 : 0.001900 677.14/119.56 c (89,0) c ReductionTime_3 : 0.002691 677.14/119.56 c (89,0) c ReductionTime_4 : 0.001687 677.14/119.56 c (89,0) c ReductionTime_5 : 0.002770 677.14/119.56 c (89,0) c ReductionTime_6 : 0.001613 677.14/119.56 c (89,0) c ReductionTime_7 : 0.001725 677.14/119.56 c (89,0) c ReductionTime_total : 0.017046 677.14/119.56 c (89,0) c ReductionTime_winner : 0.002770 677.14/119.56 c (89,0) c SimplifyTime_0 : 1.233059 677.14/119.56 c (89,0) c SimplifyTime_1 : 1.410136 677.14/119.56 c (89,0) c SimplifyTime_2 : 2.417658 677.14/119.56 c (89,0) c SimplifyTime_3 : 1.654481 677.14/119.56 c (89,0) c SimplifyTime_4 : 1.861417 677.14/119.56 c (89,0) c SimplifyTime_5 : 2.090051 677.14/119.56 c (89,0) c SimplifyTime_6 : 2.087442 677.14/119.56 c (89,0) c SimplifyTime_7 : 2.124547 677.14/119.56 c (89,0) c SimplifyTime_total : 14.878792 677.14/119.56 c (89,0) c SimplifyTime_winner : 2.090051 677.14/119.56 c (89,0) c UsedRateTime_0 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_1 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_2 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_3 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_4 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_5 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_6 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_7 : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_total : 0.000000 677.14/119.56 c (89,0) c UsedRateTime_winner : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_0 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_1 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_2 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_3 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_4 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_5 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_6 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_7 : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_total : 0.000000 677.14/119.56 c (89,0) c OverlapRateTime_winner : 0.000000 677.14/119.56 c (89,0) c 677.14/119.56 c (89,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 677.14/119.56 c (89,0) c 677.14/119.56 c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.56 c (89,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 677.14/119.56 c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.56 c (89,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 677.14/119.56 c (89,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 677.14/119.56 c (89,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 677.14/119.56 c (89,0) c | Initial random_seed | 1344867263 | 1725500291 | 944634128 | 1379628006 | 815322849 | 482307768 | 529439388 | 1525302601 | 677.14/119.56 c (89,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 677.14/119.56 c (89,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 677.14/119.56 c (89,0) c | glureduce | True | True | True | True | True | True | True | True | 677.14/119.56 c (89,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 677.14/119.56 c (89,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 677.14/119.56 c (89,0) c | luby_restart | False | False | False | False | False | False | False | False | 677.14/119.56 c (89,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 677.14/119.56 c (89,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 677.14/119.56 c (89,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 677.14/119.56 c (89,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 677.14/119.56 c (89,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 677.14/119.56 c (89,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 677.14/119.56 c (89,0) 677.14/119.56 c (89,0) s SATISFIABLE 41.21/119.82 c (89,0) SatSolver.solve End 41.21/119.82 c (89,0) Heap : 183 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 41.21/119.82 c (89,0) Show results Begin 678.09/119.96 c (89,0) x0 = 14 678.09/119.96 c (89,0) x1 = 15 678.09/119.96 c (89,0) x10 = 526 678.09/119.96 c (89,0) x100 = 555 678.09/119.96 c (89,0) x101 = 554 678.09/119.96 c (89,0) x102 = 626 678.09/119.96 c (89,0) x103 = 625 678.09/119.96 c (89,0) x104 = 704 678.09/119.96 c (89,0) x105 = 705 678.09/119.96 c (89,0) x106 = 813 678.09/119.96 c (89,0) x107 = 814 678.09/119.96 c (89,0) x108 = 935 678.09/119.96 c (89,0) x109 = 936 678.09/119.96 c (89,0) x11 = 527 678.09/119.96 c (89,0) x110 = 1011 678.09/119.96 c (89,0) x111 = 1012 678.09/119.96 c (89,0) x112 = 1102 678.09/119.96 c (89,0) x113 = 1103 678.09/119.96 c (89,0) x114 = 1193 678.09/119.96 c (89,0) x115 = 1192 678.09/119.96 c (89,0) x116 = 1251 678.09/119.96 c (89,0) x117 = 1252 678.09/119.96 c (89,0) x118 = 1259 678.09/119.96 c (89,0) x119 = 1258 678.09/119.96 c (89,0) x12 = 629 678.09/119.96 c (89,0) x120 = 36 678.09/119.96 c (89,0) x121 = 35 678.09/119.96 c (89,0) x122 = 129 678.09/119.96 c (89,0) x123 = 130 678.09/119.96 c (89,0) x124 = 182 678.09/119.96 c (89,0) x125 = 183 678.09/119.96 c (89,0) x126 = 299 678.09/119.96 c (89,0) x127 = 298 678.09/119.96 c (89,0) x128 = 312 678.09/119.96 c (89,0) x129 = 313 678.09/119.96 c (89,0) x13 = 630 678.09/119.96 c (89,0) x130 = 332 678.09/119.96 c (89,0) x131 = 331 678.09/119.96 c (89,0) x132 = 389 678.09/119.96 c (89,0) x133 = 390 678.09/119.96 c (89,0) x134 = 461 678.09/119.96 c (89,0) x135 = 462 678.09/119.96 c (89,0) x136 = 521 678.09/119.96 c (89,0) x137 = 522 678.09/119.96 c (89,0) x138 = 728 678.09/119.96 c (89,0) x139 = 729 678.09/119.96 c (89,0) x14 = 701 678.09/119.96 c (89,0) x140 = 861 678.09/119.96 c (89,0) x141 = 862 678.09/119.96 c (89,0) x142 = 947 678.09/119.96 c (89,0) x143 = 948 678.09/119.96 c (89,0) x144 = 1057 678.09/119.96 c (89,0) x145 = 1056 678.09/119.96 c (89,0) x146 = 1130 678.09/119.96 c (89,0) x147 = 1131 678.09/119.97 c (89,0) x148 = 1242 678.09/119.97 c (89,0) x149 = 1243 678.09/119.97 c (89,0) x15 = 700 678.09/119.97 c (89,0) x150 = 72 678.09/119.97 c (89,0) x151 = 71 678.09/119.97 c (89,0) x152 = 134 678.09/119.97 c (89,0) x153 = 135 678.09/119.97 c (89,0) x154 = 195 678.09/119.97 c (89,0) x155 = 196 678.09/119.97 c (89,0) x156 = 312 678.09/119.97 c (89,0) x157 = 313 678.09/119.97 c (89,0) x158 = 371 678.09/119.97 c (89,0) x159 = 372 678.09/119.97 c (89,0) x16 = 726 678.09/119.97 c (89,0) x160 = 394 678.09/119.97 c (89,0) x161 = 393 678.09/119.97 c (89,0) x162 = 466 678.09/119.97 c (89,0) x163 = 467 678.09/119.97 c (89,0) x164 = 594 678.09/119.97 c (89,0) x165 = 593 678.09/119.97 c (89,0) x166 = 699 678.09/119.97 c (89,0) x167 = 700 678.09/119.97 c (89,0) x168 = 758 678.09/119.97 c (89,0) x169 = 759 678.09/119.97 c (89,0) x17 = 727 678.09/119.97 c (89,0) x170 = 810 678.09/119.97 c (89,0) x171 = 809 678.09/119.97 c (89,0) x172 = 880 678.09/119.97 c (89,0) x173 = 881 678.09/119.97 c (89,0) x174 = 944 678.09/119.97 c (89,0) x175 = 943 678.09/119.97 c (89,0) x176 = 1020 678.09/119.97 c (89,0) x177 = 1021 678.09/119.97 c (89,0) x178 = 1191 678.09/119.97 c (89,0) x179 = 1192 678.09/119.97 c (89,0) x18 = 825 678.09/119.97 c (89,0) x180 = 17 678.09/119.97 c (89,0) x181 = 16 678.09/119.97 c (89,0) x182 = 167 678.09/119.97 c (89,0) x183 = 168 678.09/119.97 c (89,0) x184 = 246 678.09/119.97 c (89,0) x185 = 245 678.09/119.97 c (89,0) x186 = 336 678.09/119.97 c (89,0) x187 = 337 678.09/119.97 c (89,0) x188 = 371 678.09/119.97 c (89,0) x189 = 370 678.09/119.97 c (89,0) x19 = 826 678.09/119.97 c (89,0) x190 = 416 678.09/119.97 c (89,0) x191 = 417 678.09/119.97 c (89,0) x192 = 426 678.09/119.97 c (89,0) x193 = 425 678.09/119.97 c (89,0) x194 = 434 678.09/119.97 c (89,0) x195 = 435 678.09/119.97 c (89,0) x196 = 504 678.09/119.97 c (89,0) x197 = 503 678.09/119.97 c (89,0) x198 = 574 678.09/119.97 c (89,0) x199 = 575 678.09/119.97 c (89,0) x2 = 205 678.09/119.97 c (89,0) x20 = 875 678.09/119.97 c (89,0) x200 = 649 678.09/119.97 c (89,0) x201 = 648 678.09/119.97 c (89,0) x202 = 927 678.09/119.97 c (89,0) x203 = 926 678.09/119.97 c (89,0) x204 = 1028 678.09/119.97 c (89,0) x205 = 1029 678.09/119.97 c (89,0) x206 = 1098 678.09/119.97 c (89,0) x207 = 1099 678.09/119.97 c (89,0) x208 = 1193 678.09/119.97 c (89,0) x209 = 1192 678.09/119.97 c (89,0) x21 = 874 678.09/119.97 c (89,0) x210 = 0 678.09/119.97 c (89,0) x211 = 1 678.09/119.97 c (89,0) x212 = 61 678.09/119.97 c (90,0) x213 = 60 678.09/119.97 c (90,0) x214 = 165 678.09/119.97 c (90,0) x215 = 190 678.09/119.97 c (90,0) x216 = 354 678.09/119.97 c (90,0) x217 = 353 678.09/119.97 c (90,0) x218 = 434 678.09/119.97 c (90,0) x219 = 433 678.09/119.97 c (90,0) x22 = 918 678.09/119.97 c (90,0) x220 = 497 678.09/119.97 c (90,0) x221 = 498 678.09/119.97 c (90,0) x222 = 604 678.09/119.97 c (90,0) x223 = 605 678.09/119.97 c (90,0) x224 = 628 678.09/119.98 c (90,0) x225 = 627 678.09/119.98 c (90,0) x226 = 692 678.09/119.98 c (90,0) x227 = 691 678.09/119.98 c (90,0) x228 = 833 678.09/119.98 c (90,0) x229 = 832 678.09/119.98 c (90,0) x23 = 919 678.09/119.98 c (90,0) x230 = 858 678.09/119.98 c (90,0) x231 = 857 678.09/119.98 c (90,0) x232 = 918 678.09/119.98 c (90,0) x233 = 917 678.09/119.98 c (90,0) x234 = 930 678.09/119.98 c (90,0) x235 = 931 678.09/119.98 c (90,0) x236 = 992 678.09/119.98 c (90,0) x237 = 993 678.09/119.98 c (90,0) x238 = 1004 678.09/119.98 c (90,0) x239 = 1003 678.09/119.98 c (90,0) x24 = 930 678.09/119.98 c (90,0) x240 = 249 678.09/119.98 c (90,0) x241 = 250 678.09/119.98 c (90,0) x242 = 343 678.09/119.98 c (90,0) x243 = 342 678.09/119.98 c (90,0) x244 = 434 678.09/119.98 c (90,0) x245 = 433 678.09/119.98 c (90,0) x246 = 512 678.09/119.98 c (90,0) x247 = 513 678.09/119.98 c (90,0) x248 = 592 678.09/119.98 c (90,0) x249 = 591 678.09/119.98 c (90,0) x25 = 929 678.09/119.98 c (90,0) x250 = 683 678.09/119.98 c (90,0) x251 = 684 678.09/119.98 c (90,0) x252 = 774 678.09/119.98 c (90,0) x253 = 773 678.09/119.98 c (90,0) x254 = 837 678.09/119.98 c (90,0) x255 = 838 678.09/119.98 c (90,0) x256 = 878 678.09/119.98 c (90,0) x257 = 877 678.09/119.98 c (90,0) x258 = 948 678.09/119.98 c (90,0) x259 = 949 678.09/119.98 c (90,0) x26 = 1168 678.09/119.98 c (90,0) x260 = 967 678.09/119.98 c (90,0) x261 = 966 678.09/119.98 c (90,0) x262 = 1019 678.09/119.98 c (90,0) x263 = 1020 678.09/119.98 c (90,0) x264 = 1103 678.09/119.98 c (90,0) x265 = 1102 678.09/119.98 c (90,0) x266 = 1166 678.09/119.98 c (90,0) x267 = 1167 678.09/119.98 c (90,0) x268 = 1191 678.09/119.98 c (90,0) x269 = 1190 678.09/119.98 c (90,0) x27 = 1169 678.09/119.98 c (90,0) x270 = 0 678.09/119.98 c (90,0) x271 = 1 678.09/119.98 c (90,0) x272 = 6 678.09/119.98 c (90,0) x273 = 5 678.09/119.98 c (90,0) x274 = 41 678.09/119.98 c (90,0) x275 = 42 678.09/119.98 c (90,0) x276 = 236 678.09/119.98 c (90,0) x277 = 235 678.09/119.98 c (90,0) x278 = 318 678.09/119.98 c (90,0) x279 = 319 678.09/119.98 c (90,0) x28 = 1190 678.09/119.98 c (90,0) x280 = 434 678.09/119.98 c (90,0) x281 = 435 678.09/119.98 c (90,0) x282 = 471 678.09/119.98 c (90,0) x283 = 470 678.09/119.98 c (90,0) x284 = 660 678.09/119.98 c (90,0) x285 = 661 678.09/119.98 c (90,0) x286 = 781 678.09/119.98 c (90,0) x287 = 782 678.09/119.98 c (90,0) x288 = 845 678.09/119.98 c (90,0) x289 = 844 678.09/119.98 c (90,0) x29 = 1189 678.09/119.98 c (90,0) x290 = 910 678.09/119.98 c (90,0) x291 = 909 678.09/119.98 c (90,0) x292 = 992 678.09/119.98 c (90,0) x293 = 991 678.09/119.98 c (90,0) x294 = 1086 678.09/119.98 c (90,0) x295 = 1087 678.09/119.98 c (90,0) x296 = 1104 678.09/119.98 c (90,0) x297 = 1103 678.09/119.98 c (90,0) x298 = 1226 678.09/119.98 c (90,0) x299 = 1225 678.09/119.98 c (90,0) x3 = 101 678.09/119.98 c (90,0) x30 = 0 678.09/119.98 c (90,0) x300 = 0 678.09/119.98 c (90,0) x301 = 1 678.09/119.98 c (90,0) x302 = 41 678.09/119.98 c (90,0) x303 = 42 678.09/119.98 c (90,0) x304 = 84 678.09/119.98 c (90,0) x305 = 83 678.09/119.98 c (90,0) x306 = 146 678.09/119.98 c (90,0) x307 = 147 678.09/119.98 c (90,0) x308 = 226 678.09/119.98 c (90,0) x309 = 227 678.09/119.98 c (90,0) x31 = 1 678.09/119.98 c (90,0) x310 = 341 678.09/119.98 c (90,0) x311 = 342 678.09/119.98 c (90,0) x312 = 373 678.09/119.98 c (90,0) x313 = 374 678.09/119.98 c (90,0) x314 = 458 678.09/119.98 c (90,0) x315 = 457 678.09/119.98 c (90,0) x316 = 521 678.09/119.98 c (90,0) x317 = 522 678.09/119.98 c (90,0) x318 = 700 678.09/119.98 c (90,0) x319 = 701 678.09/119.98 c (90,0) x32 = 100 678.09/119.98 c (90,0) x320 = 788 678.09/119.98 c (90,0) x321 = 790 678.09/119.98 c (90,0) x322 = 876 678.09/119.98 c (90,0) x323 = 877 678.09/119.98 c (90,0) x324 = 972 678.09/119.98 c (90,0) x325 = 971 678.09/119.98 c (90,0) x326 = 1022 678.09/119.98 c (90,0) x327 = 1023 678.09/119.98 c (90,0) x328 = 1153 678.09/119.98 c (90,0) x329 = 1152 678.09/119.98 c (90,0) x33 = 99 678.09/119.98 c (90,0) x330 = 61 678.09/119.98 c (90,0) x331 = 60 678.09/119.98 c (90,0) x332 = 85 678.09/119.98 c (90,0) x333 = 84 678.09/119.98 c (90,0) x334 = 264 678.09/119.98 c (90,0) x335 = 265 678.09/119.98 c (90,0) x336 = 300 678.09/119.98 c (90,0) x337 = 301 678.09/119.98 c (90,0) x338 = 338 678.09/119.98 c (90,0) x339 = 337 678.09/119.98 c (90,0) x34 = 130 678.09/119.98 c (90,0) x340 = 384 678.09/119.98 c (90,0) x341 = 385 678.09/119.98 c (90,0) x342 = 640 678.09/119.98 c (90,0) x343 = 639 678.09/119.98 c (90,0) x344 = 661 678.09/119.98 c (90,0) x345 = 660 678.09/119.98 c (90,0) x346 = 670 678.09/119.98 c (90,0) x347 = 669 678.09/119.98 c (90,0) x348 = 729 678.09/119.98 c (90,0) x349 = 728 678.09/119.98 c (90,0) x35 = 129 678.09/119.98 c (90,0) x350 = 851 678.09/119.98 c (90,0) x351 = 879 678.09/119.98 c (90,0) x352 = 934 678.09/119.98 c (90,0) x353 = 935 678.09/119.98 c (90,0) x354 = 986 678.09/119.98 c (90,0) x355 = 987 678.09/119.98 c (90,0) x356 = 995 678.09/119.98 c (90,0) x357 = 994 678.09/119.98 c (90,0) x358 = 1035 678.09/119.98 c (90,0) x359 = 1036 678.09/119.98 c (90,0) x36 = 168 678.09/119.98 c (90,0) x360 = 0 678.09/119.98 c (90,0) x361 = 1 678.09/119.98 c (90,0) x362 = 29 678.09/119.98 c (90,0) x363 = 28 678.09/119.98 c (90,0) x364 = 68 678.09/119.98 c (90,0) x365 = 67 678.09/119.98 c (90,0) x366 = 125 678.09/119.98 c (90,0) x367 = 126 678.09/119.98 c (90,0) x368 = 168 678.09/119.98 c (90,0) x369 = 169 678.09/119.98 c (90,0) x37 = 169 678.09/119.98 c (90,0) x370 = 282 678.09/119.98 c (90,0) x371 = 257 678.09/119.98 c (90,0) x372 = 367 678.09/119.98 c (90,0) x373 = 368 678.09/119.98 c (90,0) x374 = 392 678.09/119.98 c (90,0) x375 = 393 678.09/119.98 c (90,0) x376 = 438 678.09/119.98 c (90,0) x377 = 437 678.09/119.98 c (90,0) x378 = 573 678.09/119.98 c (90,0) x379 = 574 678.09/119.98 c (90,0) x38 = 205 678.09/119.98 c (90,0) x380 = 589 678.09/119.98 c (90,0) x381 = 588 678.09/119.98 c (90,0) x382 = 799 678.09/119.98 c (90,0) x383 = 809 678.09/119.98 c (90,0) x384 = 878 678.09/119.98 c (90,0) x385 = 877 678.09/119.98 c (90,0) x386 = 899 678.09/119.98 c (90,0) x387 = 900 678.09/119.98 c (90,0) x388 = 968 678.09/119.98 c (90,0) x389 = 969 678.09/119.98 c (90,0) x39 = 204 678.09/119.98 c (90,0) x390 = 6 678.09/119.98 c (90,0) x391 = 5 678.09/119.98 c (90,0) x392 = 215 678.09/119.98 c (90,0) x393 = 214 678.09/119.98 c (90,0) x394 = 310 678.09/119.98 c (90,0) x395 = 311 678.09/119.98 c (90,0) x396 = 398 678.09/119.98 c (90,0) x397 = 399 678.09/119.98 c (90,0) x398 = 470 678.09/119.98 c (90,0) x399 = 469 678.09/119.98 c (90,0) x4 = 300 678.09/119.98 c (90,0) x40 = 339 678.09/119.98 c (90,0) x400 = 568 678.09/119.98 c (90,0) x401 = 569 678.09/119.98 c (90,0) x402 = 597 678.09/119.98 c (90,0) x403 = 596 678.09/119.98 c (90,0) x404 = 632 678.09/119.98 c (90,0) x405 = 631 678.09/119.98 c (90,0) x406 = 701 678.09/119.98 c (90,0) x407 = 700 678.09/119.98 c (90,0) x408 = 796 678.09/119.98 c (90,0) x409 = 797 678.09/119.98 c (90,0) x41 = 338 678.09/119.98 c (90,0) x410 = 862 678.09/119.98 c (90,0) x411 = 861 678.09/119.98 c (90,0) x412 = 923 678.09/119.98 c (90,0) x413 = 922 678.09/119.98 c (90,0) x414 = 1020 678.09/119.98 c (90,0) x415 = 1021 678.09/119.98 c (90,0) x416 = 1127 678.09/119.98 c (90,0) x417 = 1128 678.09/119.98 c (90,0) x418 = 1191 678.09/119.98 c (90,0) x419 = 1190 678.09/119.98 c (90,0) x42 = 415 678.09/119.98 c (90,0) x420 = 0 678.09/119.98 c (90,0) x421 = 1 678.09/119.98 c (90,0) x422 = 69 678.09/119.98 c (90,0) x423 = 68 678.09/119.98 c (90,0) x424 = 188 678.09/119.98 c (90,0) x425 = 181 678.09/119.98 c (90,0) x426 = 226 678.09/119.98 c (90,0) x427 = 227 678.09/119.98 c (90,0) x428 = 251 678.09/119.98 c (90,0) x429 = 250 678.09/119.98 c (90,0) x43 = 416 678.09/119.98 c (90,0) x430 = 335 678.09/119.98 c (90,0) x431 = 336 678.09/119.98 c (90,0) x432 = 385 678.09/119.98 c (90,0) x433 = 386 678.09/119.98 c (90,0) x434 = 468 678.09/119.98 c (90,0) x435 = 469 678.09/119.98 c (90,0) x436 = 470 678.09/119.98 c (90,0) x437 = 471 678.09/119.98 c (90,0) x438 = 563 678.09/119.98 c (90,0) x439 = 562 678.09/119.98 c (90,0) x44 = 453 678.09/119.98 c (90,0) x440 = 733 678.09/119.98 c (90,0) x441 = 732 678.09/119.98 c (90,0) x442 = 853 678.09/119.98 c (90,0) x443 = 852 678.09/119.98 c (90,0) x444 = 947 678.09/119.98 c (90,0) x445 = 946 678.09/119.98 c (90,0) x446 = 967 678.09/119.98 c (90,0) x447 = 968 678.09/119.98 c (90,0) x448 = 1086 678.09/119.98 c (90,0) x449 = 1087 678.09/119.98 c (90,0) x45 = 452 678.09/119.98 c (90,0) x46 = 482 678.09/119.98 c (90,0) x47 = 481 678.09/119.98 c (90,0) x48 = 544 678.09/119.98 c (90,0) x49 = 545 678.09/119.98 c (90,0) x5 = 299 678.09/119.98 c (90,0) x50 = 633 678.09/119.98 c (90,0) x51 = 634 678.09/119.98 c (90,0) x52 = 699 678.09/119.98 c (90,0) x53 = 698 678.09/119.98 c (90,0) x54 = 710 678.09/119.98 c (90,0) x55 = 711 678.09/119.98 c (90,0) x56 = 731 678.09/119.98 c (90,0) x57 = 730 678.09/119.98 c (90,0) x58 = 1239 678.09/119.98 c (90,0) x59 = 1240 678.09/119.98 c (90,0) x6 = 374 678.09/119.98 c (90,0) x60 = 0 678.09/119.98 c (90,0) x61 = 1 678.09/119.98 c (90,0) x62 = 154 678.09/119.98 c (90,0) x63 = 155 678.09/119.98 c (90,0) x64 = 222 678.09/119.98 c (90,0) x65 = 221 678.09/119.98 c (90,0) x66 = 328 678.09/119.98 c (90,0) x67 = 329 678.09/119.98 c (90,0) x68 = 420 678.09/119.98 c (90,0) x69 = 419 678.09/119.98 c (90,0) x7 = 375 678.09/119.98 c (90,0) x70 = 550 678.09/119.98 c (90,0) x71 = 549 678.09/119.98 c (90,0) x72 = 631 678.09/119.98 c (90,0) x73 = 632 678.09/119.98 c (90,0) x74 = 693 678.09/119.98 c (90,0) x75 = 692 678.09/119.98 c (90,0) x76 = 820 678.09/119.98 c (90,0) x77 = 821 678.09/119.98 c (90,0) x78 = 867 678.09/119.98 c (90,0) x79 = 866 678.09/119.98 c (90,0) x8 = 461 678.09/119.98 c (90,0) x80 = 930 678.09/119.98 c (90,0) x81 = 929 678.09/119.98 c (90,0) x82 = 952 678.09/119.98 c (90,0) x83 = 953 678.09/119.98 c (90,0) x84 = 1064 678.09/119.98 c (90,0) x85 = 1063 678.09/119.98 c (90,0) x86 = 1102 678.09/119.98 c (90,0) x87 = 1103 678.09/119.98 c (90,0) x88 = 1181 678.09/119.98 c (90,0) x89 = 1180 678.09/119.98 c (90,0) x9 = 460 678.09/119.98 c (90,0) x90 = 1 678.09/119.98 c (90,0) x91 = 0 678.09/119.98 c (90,0) x92 = 235 678.09/119.98 c (90,0) x93 = 234 678.09/119.98 c (90,0) x94 = 283 678.09/119.98 c (90,0) x95 = 282 678.09/119.98 c (90,0) x96 = 382 678.09/119.98 c (90,0) x97 = 383 678.09/119.98 c (90,0) x98 = 519 678.09/119.98 c (90,0) x99 = 531 678.09/119.98 s SATISFIABLE 678.09/119.98 v <instantiation> 678.09/119.98 v <list>x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141 x142 x143 x144 x145 x146 x147 x148 x149 x150 x151 x152 x153 x154 x155 x156 x157 x158 x159 x160 x161 x162 x163 x164 x165 x166 x167 x168 x169 x170 x171 x172 x173 x174 x175 x176 x177 x178 x179 x180 x181 x182 x183 x184 x185 x186 x187 x188 x189 x190 x191 x192 x193 x194 x195 x196 x197 x198 x199 x200 x201 x202 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 x215 x216 x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 x236 x237 x238 x239 x240 x241 x242 x243 x244 x245 x246 x247 x248 x249 x250 x251 x252 x253 x254 x255 x256 x257 x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 x285 x286 x287 x288 x289 x290 x291 x292 x293 x294 x295 x296 x297 x298 x299 x300 x301 x302 x303 x304 x305 x306 x307 x308 x309 x310 x311 x312 x313 x314 x315 x316 x317 x318 x319 x320 x321 x322 x323 x324 x325 x326 x327 x328 x329 x330 x331 x332 x333 x334 x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 x354 x355 x356 x357 x358 x359 x360 x361 x362 x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 x373 x374 x375 x376 x377 x378 x379 x380 x381 x382 x383 x384 x385 x386 x387 x388 x389 x390 x391 x392 x393 x394 x395 x396 x397 x398 x399 x400 x401 x402 x403 x404 x405 x406 x407 x408 x409 x410 x411 x412 x413 x414 x415 x416 x417 x418 x419 x420 x421 x422 x423 x424 x425 x426 x427 x428 x429 x430 x431 x432 x433 x434 x435 x436 x437 x438 x439 x440 x441 x442 x443 x444 x445 x446 x447 x448 x449</list> 678.09/119.98 v <values>14 15 205 101 300 299 374 375 461 460 526 527 629 630 701 700 726 727 825 826 875 874 918 919 930 929 1168 1169 1190 1189 0 1 100 99 130 129 168 169 205 204 339 338 415 416 453 452 482 481 544 545 633 634 699 698 710 711 731 730 1239 1240 0 1 154 155 222 221 328 329 420 419 550 549 631 632 693 692 820 821 867 866 930 929 952 953 1064 1063 1102 1103 1181 1180 1 0 235 234 283 282 382 383 519 531 555 554 626 625 704 705 813 814 935 936 1011 1012 1102 1103 1193 1192 1251 1252 1259 1258 36 35 129 130 182 183 299 298 312 313 332 331 389 390 461 462 521 522 728 729 861 862 947 948 1057 1056 1130 1131 1242 1243 72 71 134 135 195 196 312 313 371 372 394 393 466 467 594 593 699 700 758 759 810 809 880 881 944 943 1020 1021 1191 1192 17 16 167 168 246 245 336 337 371 370 416 417 426 425 434 435 504 503 574 575 649 648 927 926 1028 1029 1098 1099 1193 1192 0 1 61 60 165 190 354 353 434 433 497 498 604 605 628 627 692 691 833 832 858 857 918 917 930 931 992 993 1004 1003 249 250 343 342 434 433 512 513 592 591 683 684 774 773 837 838 878 877 948 949 967 966 1019 1020 1103 1102 1166 1167 1191 1190 0 1 6 5 41 42 236 235 318 319 434 435 471 470 660 661 781 782 845 844 910 909 992 991 1086 1087 1104 1103 1226 1225 0 1 41 42 84 83 146 147 226 227 341 342 373 374 458 457 521 522 700 701 788 790 876 877 972 971 1022 1023 1153 1152 61 60 85 84 264 265 300 301 338 337 384 385 640 639 661 660 670 669 729 728 851 879 934 935 986 987 995 994 1035 1036 0 1 29 28 68 67 125 126 168 169 282 257 367 368 392 393 438 437 573 574 589 588 799 809 878 877 899 900 968 969 6 5 215 214 310 311 398 399 470 469 568 569 597 596 632 631 701 700 796 797 862 861 923 922 1020 1021 1127 1128 1191 1190 0 1 69 68 188 181 226 227 251 250 335 336 385 386 468 469 470 471 563 562 733 732 853 852 947 946 967 968 1086 1087</values> 678.09/119.98 v </instantiation> 678.09/119.98 c (90,0) Show results End 678.09/119.98 c (90,0) Heap : 204 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 678.09/119.98 c (90,0) 89,90,STOP-AFTER(ALL) 678.09/119.98 c END-Prog: Sat Sep 14 08:26:09 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 (14848 MiB free)
memory of node 1: 16384 MiB (15034 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392484-1568442291/watcher-4392484-1568442291 -o /tmp/evaluation-result-4392484-1568442291/solver-4392484-1568442291 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392484-1568442291.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=1529, runsolver pid=1526
Current StackSize limit: 8192 KiB
[startup+0.100112 s]*
/proc/loadavg: 8.05 8.28 8.16 3/212 1551
/proc/meminfo: memFree=30505852/32770624 swapFree=66927264/67108860
[pid=1529] ppid=1526 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1529/stat : 1529 (scop.sh) S 1526 1529 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420476425 115843072 348 33554432000 4194304 5098028 140734388128656 140734388125912 140079490302588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33009664 140734388134693 140734388135020 140734388135020 140734388137933 0
/proc/1529/statm: 28282 348 296 221 0 87 0
[pid=1532] ppid=1529 vsize=27314120 memory=106336 CPUtime=0.1 cores=0-7
/proc/1532/stat : 1532 (java) S 1529 1529 31706 0 -1 1077944320 6623 0 0 0 8 2 0 0 20 0 20 0 420476425 27969658880 26584 33554432000 4194304 4196468 140735792830448 140735792812992 139767044656887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
/proc/1532/statm: 6828530 26584 2804 1 0 6790935 0
[pid=1532/tid=1533] ppid=1529 vsize=27314120 memory=6935054825532540783 CPUtime=0.09 cores=0-7
/proc/1532/task/1533/stat : 1533 (java) R 1529 1529 31706 0 -1 4202560 4766 0 0 0 7 2 0 0 20 0 20 0 420476426 27969658880 26584 33554432000 4194304 4196468 140735792830448 139767016479168 139767044678813 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1534] ppid=1529 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1532/task/1534/stat : 1534 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139767048899216 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1535] ppid=1529 vsize=27314120 memory=140381266216576 CPUtime=0 cores=0-7
/proc/1532/task/1535/stat : 1535 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766832294416 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1536] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1536/stat : 1536 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766831241616 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1537] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1537/stat : 1537 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766830188816 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1538] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1538/stat : 1538 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766829137040 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1539] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1539/stat : 1539 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766828084240 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1540] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1540/stat : 1540 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766827031440 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1541] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1541/stat : 1541 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 26584 33554432000 4194304 4196468 140735792830448 139766460832528 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1542] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1542/stat : 1542 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476430 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765967980912 139767044668034 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1543] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1543/stat : 1543 (java) S 1529 1529 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420476430 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765013799968 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1544] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1544/stat : 1544 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476431 27969658880 26584 33554432000 4194304 4196468 140735792830448 139764745364336 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1545] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1545/stat : 1545 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139764370855760 139767044675483 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1546] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1546/stat : 1546 (java) S 1529 1529 31706 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765966928752 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1547] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1547/stat : 1547 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765965875952 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1548] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1548/stat : 1548 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765964823152 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1549] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1549/stat : 1549 (java) S 1529 1529 31706 0 -1 1077944384 253 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765963770352 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1550] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1550/stat : 1550 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139763872950880 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1551] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1551/stat : 1551 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 26584 33554432000 4194304 4196468 140735792830448 139765962717744 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 107728 KiB
[startup+0.210295 s]*
/proc/loadavg: 8.05 8.28 8.16 3/212 1551
/proc/meminfo: memFree=30485044/32770624 swapFree=66927264/67108860
[pid=1529] ppid=1526 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1529/stat : 1529 (scop.sh) S 1526 1529 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420476425 115843072 348 33554432000 4194304 5098028 140734388128656 140734388125912 140079490302588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33009664 140734388134693 140734388135020 140734388135020 140734388137933 0
/proc/1529/statm: 28282 348 296 221 0 87 0
[pid=1532] ppid=1529 vsize=27314120 memory=125660 CPUtime=0.24 cores=0-7
/proc/1532/stat : 1532 (java) S 1529 1529 31706 0 -1 1077944320 12141 0 0 0 20 4 0 0 20 0 20 0 420476425 27969658880 31415 33554432000 4194304 4196468 140735792830448 140735792812992 139767044656887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
/proc/1532/statm: 6828530 31415 2970 1 0 6790935 0
[pid=1532/tid=1533] ppid=1529 vsize=27314120 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/1532/task/1533/stat : 1533 (java) R 1529 1529 31706 0 -1 4202560 9875 0 0 0 16 3 0 0 20 0 20 0 420476426 27969658880 31415 33554432000 4194304 4196468 140735792830448 139767016473296 139767024932099 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1534] ppid=1529 vsize=27314120 memory=342 CPUtime=0 cores=0-7
/proc/1532/task/1534/stat : 1534 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139767048899216 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1535] ppid=1529 vsize=27314120 memory=3475004172813043360 CPUtime=0 cores=0-7
/proc/1532/task/1535/stat : 1535 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766832294416 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1536] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1536/stat : 1536 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766831241616 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1537] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1537/stat : 1537 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766830188816 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1538] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1538/stat : 1538 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766829137040 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1539] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1539/stat : 1539 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766828084240 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1540] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1540/stat : 1540 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766827031440 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1541] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1541/stat : 1541 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 31415 33554432000 4194304 4196468 140735792830448 139766460832528 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1542] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1542/stat : 1542 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476430 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765967980912 139767044668034 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1543] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1543/stat : 1543 (java) S 1529 1529 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420476430 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765013799968 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1544] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1544/stat : 1544 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476431 27969658880 31415 33554432000 4194304 4196468 140735792830448 139764745364336 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1545] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1545/stat : 1545 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139764370855760 139767044675483 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1546] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1546/stat : 1546 (java) S 1529 1529 31706 0 -1 1077944384 334 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765966928752 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1547] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1547/stat : 1547 (java) S 1529 1529 31706 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765965875952 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1548] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1548/stat : 1548 (java) S 1529 1529 31706 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765964823152 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1549] ppid=1529 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7
/proc/1532/task/1549/stat : 1549 (java) S 1529 1529 31706 0 -1 1077944384 439 0 0 0 2 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765963770352 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1550] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1550/stat : 1550 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139763872950880 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1551] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1551/stat : 1551 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 31415 33554432000 4194304 4196468 140735792830448 139765962717744 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 127052 KiB
[startup+0.309572 s]*
/proc/loadavg: 8.05 8.28 8.16 2/212 1551
/proc/meminfo: memFree=30481880/32770624 swapFree=66927264/67108860
[pid=1529] ppid=1526 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1529/stat : 1529 (scop.sh) S 1526 1529 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420476425 115843072 348 33554432000 4194304 5098028 140734388128656 140734388125912 140079490302588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33009664 140734388134693 140734388135020 140734388135020 140734388137933 0
/proc/1529/statm: 28282 348 296 221 0 87 0
[pid=1532] ppid=1529 vsize=27314120 memory=129620 CPUtime=0.42 cores=0-7
/proc/1532/stat : 1532 (java) S 1529 1529 31706 0 -1 1077944320 13286 0 0 0 37 5 0 0 20 0 20 0 420476425 27969658880 32405 33554432000 4194304 4196468 140735792830448 140735792812992 139767044656887 0 0 2 16800973 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
/proc/1532/statm: 6828530 32405 3013 1 0 6790935 0
[pid=1532/tid=1533] ppid=1529 vsize=27314120 memory=6935054825532540783 CPUtime=0.3 cores=0-7
/proc/1532/task/1533/stat : 1533 (java) R 1529 1529 31706 0 -1 4202560 10814 0 0 0 26 4 0 0 20 0 20 0 420476426 27969658880 32405 33554432000 4194304 4196468 140735792830448 139767016486960 139767028737374 0 4 2 16800973 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1534] ppid=1529 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7
/proc/1532/task/1534/stat : 1534 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139767048899216 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1535] ppid=1529 vsize=27314120 memory=2832 CPUtime=0 cores=0-7
/proc/1532/task/1535/stat : 1535 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766832294416 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1536] ppid=1529 vsize=27314120 memory=1716 CPUtime=0 cores=0-7
/proc/1532/task/1536/stat : 1536 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766831241616 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1537] ppid=1529 vsize=27314120 memory=1124 CPUtime=0 cores=0-7
/proc/1532/task/1537/stat : 1537 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766830188816 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1538] ppid=1529 vsize=27314120 memory=5968 CPUtime=0 cores=0-7
/proc/1532/task/1538/stat : 1538 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766829137040 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1539] ppid=1529 vsize=27314120 memory=916 CPUtime=0 cores=0-7
/proc/1532/task/1539/stat : 1539 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766828084240 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1540] ppid=1529 vsize=27314120 memory=1656 CPUtime=0 cores=0-7
/proc/1532/task/1540/stat : 1540 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766827031440 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1541] ppid=1529 vsize=27314120 memory=14004 CPUtime=0 cores=0-7
/proc/1532/task/1541/stat : 1541 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476428 27969658880 32405 33554432000 4194304 4196468 140735792830448 139766460832528 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1542] ppid=1529 vsize=27314120 memory=2120 CPUtime=0 cores=0-7
/proc/1532/task/1542/stat : 1542 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476430 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765967980912 139767044668034 0 0 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1543] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1543/stat : 1543 (java) S 1529 1529 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 420476430 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765013799968 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1544] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1544/stat : 1544 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476431 27969658880 32405 33554432000 4194304 4196468 140735792830448 139764745364336 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1545] ppid=1529 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1545/stat : 1545 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139764370855760 139767044675483 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1546] ppid=1529 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1532/task/1546/stat : 1546 (java) S 1529 1529 31706 0 -1 1077944384 358 0 0 0 1 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765966928752 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1547] ppid=1529 vsize=27314120 memory=0 CPUtime=0.01 cores=0-7
/proc/1532/task/1547/stat : 1547 (java) S 1529 1529 31706 0 -1 1077944384 183 0 0 0 1 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765965875952 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1548] ppid=1529 vsize=27314120 memory=140381140387279 CPUtime=0.01 cores=0-7
/proc/1532/task/1548/stat : 1548 (java) S 1529 1529 31706 0 -1 1077944384 104 0 0 0 1 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765964823152 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1549] ppid=1529 vsize=27314120 memory=0 CPUtime=0.07 cores=0-7
/proc/1532/task/1549/stat : 1549 (java) S 1529 1529 31706 0 -1 1077944384 489 0 0 0 7 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765963770352 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1550] ppid=1529 vsize=27314120 memory=140381140415348 CPUtime=0 cores=0-7
/proc/1532/task/1550/stat : 1550 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139763872950880 139767044667093 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1551] ppid=1529 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/1532/task/1551/stat : 1551 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476433 27969658880 32405 33554432000 4194304 4196468 140735792830448 139765962717744 139767044668034 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 131012 KiB
[startup+0.700882 s]
/proc/loadavg: 8.05 8.28 8.16 2/212 1551
/proc/meminfo: memFree=30461652/32770624 swapFree=66927264/67108860
[pid=1529] ppid=1526 vsize=113128 memory=1392 CPUtime=0 cores=0-7
/proc/1529/stat : 1529 (scop.sh) S 1526 1529 31706 0 -1 4202496 555 319 0 0 0 0 0 0 20 0 1 0 420476425 115843072 348 33554432000 4194304 5098028 140734388128656 140734388125912 140079490302588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33009664 140734388134693 140734388135020 140734388135020 140734388137933 0
/proc/1529/statm: 28282 348 296 221 0 87 0
[pid=1532] ppid=1529 vsize=27320392 memory=165096 CPUtime=0.98 cores=0-7
/proc/1532/stat : 1532 (java) S 1529 1529 31706 0 -1 1077944320 20335 0 0 0 91 7 0 0 20 0 20 0 420476425 27976081408 41274 33554432000 4194304 4196468 140735792830448 140735792812992 139767044656887 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
/proc/1532/statm: 6830098 41274 3182 1 0 6791447 0
[pid=1532/tid=1533] ppid=1529 vsize=27320392 memory=0 CPUtime=0.68 cores=0-7
/proc/1532/task/1533/stat : 1533 (java) R 1529 1529 31706 0 -1 4202560 17382 0 0 0 62 6 0 0 20 0 20 0 420476426 27976081408 41274 33554432000 4194304 4196468 140735792830448 139767016492384 139767044668822 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1534] ppid=1529 vsize=27320392 memory=140381140591472 CPUtime=0 cores=0-7
/proc/1532/task/1534/stat : 1534 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27976081408 41274 33554432000 4194304 4196468 140735792830448 139767048899216 139767044667093 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1535] ppid=1529 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1535/stat : 1535 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 420476428 27976081408 41274 33554432000 4194304 4196468 140735792830448 139766832294416 139767044667093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
[pid=1532/tid=1536] ppid=1529 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/1532/task/1536/stat : 1536 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 420476428 27976081408 41274 33554432000 4194304 4196468 140735792830448 139766831241616 139767044667093 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21716992 140735792833260 140735792833686 140735792833686 140735792836559 0
################
# More data... #
################
/proc/1555/task/1559/stat : 1559 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065850690576 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1560] ppid=1529 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/1555/task/1560/stat : 1560 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065849638032 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1561] ppid=1529 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1555/task/1561/stat : 1561 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065848584464 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1562] ppid=1529 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/1555/task/1562/stat : 1562 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065847531920 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1563] ppid=1529 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/1555/task/1563/stat : 1563 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065846479376 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1564] ppid=1529 vsize=8414124 memory=4152 CPUtime=0 cores=0-7
/proc/1555/task/1564/stat : 1564 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065845426832 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1565] ppid=1529 vsize=8414124 memory=4136 CPUtime=0 cores=0-7
/proc/1555/task/1565/stat : 1565 (java) S 1529 1529 31706 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420479387 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065191750128 140066366757506 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1566] ppid=1529 vsize=8414124 memory=6935054825532540783 CPUtime=0 cores=0-7
/proc/1555/task/1566/stat : 1566 (java) S 1529 1529 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420479388 8616062976 30243 33554432000 4194304 4196468 140728993801008 140064990422432 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1567] ppid=1529 vsize=8414124 memory=832 CPUtime=0 cores=0-7
/proc/1555/task/1567/stat : 1567 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479388 8616062976 30243 33554432000 4194304 4196468 140728993801008 140064721987056 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1568] ppid=1529 vsize=8414124 memory=1440 CPUtime=0 cores=0-7
/proc/1555/task/1568/stat : 1568 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479390 8616062976 30243 33554432000 4194304 4196468 140728993801008 140064347478736 140066366764955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1569] ppid=1529 vsize=8414124 memory=1980 CPUtime=0.05 cores=0-7
/proc/1555/task/1569/stat : 1569 (java) S 1529 1529 31706 0 -1 1077944384 571 0 0 0 5 0 0 0 20 0 24 0 420479390 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065190696944 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1570] ppid=1529 vsize=8414124 memory=1060 CPUtime=0.1 cores=0-7
/proc/1555/task/1570/stat : 1570 (java) S 1529 1529 31706 0 -1 1077944384 514 0 0 0 10 0 0 0 20 0 24 0 420479390 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065189644400 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1571] ppid=1529 vsize=8414124 memory=2832 CPUtime=0.07 cores=0-7
/proc/1555/task/1571/stat : 1571 (java) S 1529 1529 31706 0 -1 1077944384 330 0 0 0 7 0 0 0 20 0 24 0 420479390 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065188591856 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1572] ppid=1529 vsize=8414124 memory=1716 CPUtime=0.22 cores=0-7
/proc/1555/task/1572/stat : 1572 (java) S 1529 1529 31706 0 -1 1077944384 936 0 0 0 22 0 0 0 20 0 24 0 420479390 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065187539312 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1573] ppid=1529 vsize=8414124 memory=1124 CPUtime=0 cores=0-7
/proc/1555/task/1573/stat : 1573 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420479391 8616062976 30243 33554432000 4194304 4196468 140728993801008 140063849573088 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1574] ppid=1529 vsize=8414124 memory=5968 CPUtime=0.05 cores=0-7
/proc/1555/task/1574/stat : 1574 (java) S 1529 1529 31706 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 24 0 420479391 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065186487216 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1576] ppid=1529 vsize=8414124 memory=916 CPUtime=0 cores=0-7
/proc/1555/task/1576/stat : 1576 (java) S 1529 1529 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420479460 8616062976 30243 33554432000 4194304 4196468 140728993801008 140065178453696 140066366770969 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1578] ppid=1529 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/1555/task/1578/stat : 1578 (java) S 1529 1529 31706 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 420479461 8616062976 30243 33554432000 4194304 4196468 140728993801008 140063178472752 140066366768285 0 4 2 25189581 18446744071580971376 0 0 -1 2 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1579] ppid=1529 vsize=8414124 memory=692 CPUtime=0 cores=0-7
/proc/1555/task/1579/stat : 1579 (java) S 1529 1529 31706 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420479461 8616062976 30243 33554432000 4194304 4196468 140728993801008 140063446908336 140066366768285 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1580] ppid=1529 vsize=8414124 memory=4152 CPUtime=0 cores=0-7
/proc/1555/task/1580/stat : 1580 (java) S 1529 1529 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420479463 8616062976 30243 33554432000 4194304 4196468 140728993801008 140062910045360 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
Current children cumulated CPU time: 676.84 s
Current children cumulated vsize: 12293440 KiB
Current children cumulated memory: 3210732 KiB
[startup+119.601 s]
/proc/loadavg: 6.34 7.39 7.83 2/218 1594
/proc/meminfo: memFree=27241332/32770624 swapFree=66927264/67108860
[pid=1529] ppid=1526 vsize=113128 memory=1472 CPUtime=39.38 cores=0-7
/proc/1529/stat : 1529 (scop.sh) S 1526 1529 31706 0 -1 4202496 582 36446 0 0 0 0 3780 158 20 0 1 0 420476425 115843072 368 33554432000 4194304 5098028 140734388128656 140734388125400 140079490302588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33009664 140734388134693 140734388135020 140734388135020 140734388137933 0
/proc/1529/statm: 28282 368 311 221 0 87 0
[pid=1555] ppid=1529 vsize=8414124 memory=132220 CPUtime=1.52 cores=0-7
/proc/1555/stat : 1555 (java) S 1529 1529 31706 0 -1 1077944320 22432 0 0 0 143 9 0 0 20 0 24 0 420479384 8616062976 33055 33554432000 4194304 4196468 140728993801008 140728993783552 140066366746359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
/proc/1555/statm: 2103531 33055 3220 1 0 2064875 0
[pid=1575] ppid=1555 vsize=3733796 memory=3088604 CPUtime=636.48 cores=0-7
/proc/1575/stat : 1575 (manyglucose-4.1) R 1555 1529 31706 0 -1 4202496 5723920 0 0 0 62624 1024 0 0 20 0 1 0 420479460 3823407104 772151 33554432000 4194304 4454172 140729027915184 140729027911904 140346850344061 0 4 0 8388610 0 0 0 17 2 0 0 0 0 0 6552832 6554400 13115392 140729027916650 140729027916848 140729027916848 140729027919802 0
/proc/1575/statm: 933449 772151 419 64 0 929117 0
[pid=1555/tid=1556] ppid=1529 vsize=8414124 memory=1764 CPUtime=0.79 cores=0-7
/proc/1555/task/1556/stat : 1556 (java) S 1529 1529 31706 0 -1 1077944384 17861 0 0 0 74 5 0 0 20 0 24 0 420479385 8616062976 33055 33554432000 4194304 4196468 140728993801008 140066338586528 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1557] ppid=1529 vsize=8414124 memory=111632 CPUtime=0 cores=0-7
/proc/1555/task/1557/stat : 1557 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33055 33554432000 4194304 4196468 140728993801008 140066370988816 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1558] ppid=1529 vsize=8414124 memory=804 CPUtime=0 cores=0-7
/proc/1555/task/1558/stat : 1558 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33055 33554432000 4194304 4196468 140728993801008 140066200083344 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1559] ppid=1529 vsize=8414124 memory=1808 CPUtime=0 cores=0-7
/proc/1555/task/1559/stat : 1559 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065850690576 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1560] ppid=1529 vsize=8414124 memory=924 CPUtime=0 cores=0-7
/proc/1555/task/1560/stat : 1560 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065849638032 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1561] ppid=1529 vsize=8414124 memory=3580 CPUtime=0 cores=0-7
/proc/1555/task/1561/stat : 1561 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065848584464 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1562] ppid=1529 vsize=8414124 memory=41340 CPUtime=0 cores=0-7
/proc/1555/task/1562/stat : 1562 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065847531920 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1563] ppid=1529 vsize=8414124 memory=2028 CPUtime=0 cores=0-7
/proc/1555/task/1563/stat : 1563 (java) S 1529 1529 31706 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065846479376 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1564] ppid=1529 vsize=8414124 memory=988 CPUtime=0 cores=0-7
/proc/1555/task/1564/stat : 1564 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479386 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065845426832 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1565] ppid=1529 vsize=8414124 memory=1436 CPUtime=0 cores=0-7
/proc/1555/task/1565/stat : 1565 (java) S 1529 1529 31706 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 420479387 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065191750128 140066366757506 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1566] ppid=1529 vsize=8414124 memory=9592 CPUtime=0 cores=0-7
/proc/1555/task/1566/stat : 1566 (java) S 1529 1529 31706 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 420479388 8616062976 33567 33554432000 4194304 4196468 140728993801008 140064990422432 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1567] ppid=1529 vsize=8414124 memory=776 CPUtime=0 cores=0-7
/proc/1555/task/1567/stat : 1567 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479388 8616062976 33567 33554432000 4194304 4196468 140728993801008 140064721987056 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1568] ppid=1529 vsize=8414124 memory=1540 CPUtime=0 cores=0-7
/proc/1555/task/1568/stat : 1568 (java) S 1529 1529 31706 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 420479390 8616062976 33567 33554432000 4194304 4196468 140728993801008 140064347478736 140066366764955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1569] ppid=1529 vsize=8414124 memory=692 CPUtime=0.08 cores=0-7
/proc/1555/task/1569/stat : 1569 (java) S 1529 1529 31706 0 -1 1077944384 812 0 0 0 8 0 0 0 20 0 24 0 420479390 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065190696944 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1570] ppid=1529 vsize=8414124 memory=4152 CPUtime=0.13 cores=0-7
/proc/1555/task/1570/stat : 1570 (java) R 1529 1529 31706 0 -1 4202560 528 0 0 0 13 0 0 0 20 0 24 0 420479390 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065189644400 140066351674725 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1571] ppid=1529 vsize=8414124 memory=1060 CPUtime=0.11 cores=0-7
/proc/1555/task/1571/stat : 1571 (java) S 1529 1529 31706 0 -1 1077944384 639 0 0 0 11 0 0 0 20 0 24 0 420479390 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065188591856 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1572] ppid=1529 vsize=8414124 memory=2832 CPUtime=0.25 cores=0-7
/proc/1555/task/1572/stat : 1572 (java) S 1529 1529 31706 0 -1 1077944384 1160 0 0 0 25 0 0 0 20 0 24 0 420479390 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065187539312 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1573] ppid=1529 vsize=8414124 memory=1716 CPUtime=0 cores=0-7
/proc/1555/task/1573/stat : 1573 (java) S 1529 1529 31706 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 420479391 8616062976 33567 33554432000 4194304 4196468 140728993801008 140063849573088 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1574] ppid=1529 vsize=8414124 memory=1124 CPUtime=0.05 cores=0-7
/proc/1555/task/1574/stat : 1574 (java) S 1529 1529 31706 0 -1 1077944384 7 0 0 0 3 2 0 0 20 0 24 0 420479391 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065186487216 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1576] ppid=1529 vsize=8414124 memory=5968 CPUtime=0 cores=0-7
/proc/1555/task/1576/stat : 1576 (java) S 1529 1529 31706 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 420479460 8616062976 33567 33554432000 4194304 4196468 140728993801008 140065178453696 140066366770969 0 4 2 25189581 18446744071579417331 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1578] ppid=1529 vsize=8414124 memory=916 CPUtime=0.04 cores=0-7
/proc/1555/task/1578/stat : 1578 (java) R 1529 1529 31706 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 24 0 420479461 8616062976 33567 33554432000 4194304 4196468 140728993801008 140063178472816 140065870318488 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1579] ppid=1529 vsize=8414124 memory=1656 CPUtime=0 cores=0-7
/proc/1555/task/1579/stat : 1579 (java) S 1529 1529 31706 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 24 0 420479461 8616062976 33567 33554432000 4194304 4196468 140728993801008 140063446908336 140066366768285 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1580] ppid=1529 vsize=8414124 memory=14004 CPUtime=0 cores=0-7
/proc/1555/task/1580/stat : 1580 (java) S 1529 1529 31706 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 24 0 420479463 8616062976 33567 33554432000 4194304 4196468 140728993801008 140062910045360 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
Current children cumulated CPU time: 677.38 s
Current children cumulated vsize: 12261048 KiB
Current children cumulated memory: 3222296 KiB
[startup+120.001 s]*
/proc/loadavg: 6.34 7.39 7.83 2/214 1594
/proc/meminfo: memFree=30318716/32770624 swapFree=66927264/67108860
[pid=1529] ppid=1526 vsize=113128 memory=1472 CPUtime=39.38 cores=0-7
/proc/1529/stat : 1529 (scop.sh) S 1526 1529 31706 0 -1 4202496 582 36446 0 0 0 0 3780 158 20 0 1 0 420476425 115843072 368 33554432000 4194304 5098028 140734388128656 140734388125400 140079490302588 0 65536 4100 81923 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 33009664 140734388134693 140734388135020 140734388135020 140734388137933 0
/proc/1529/statm: 28282 368 311 221 0 87 0
[pid=1555] ppid=1529 vsize=8283048 memory=223336 CPUtime=638.9 cores=0-7
/proc/1555/stat : 1555 (java) S 1529 1529 31706 0 -1 1077944320 24356 5723927 0 0 204 15 62628 1043 20 0 22 0 420479384 8481841152 55834 33554432000 4194304 4196468 140728993801008 140728993783552 140066366746359 0 0 2 25189581 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
/proc/1555/statm: 2070762 55834 3236 1 0 2032106 0
[pid=1555/tid=1556] ppid=1529 vsize=8283048 memory=6935054825532540783 CPUtime=637.68 cores=0-7
/proc/1555/task/1556/stat : 1556 (java) R 1529 1529 31706 0 -1 4202560 19229 5723927 0 0 88 9 62628 1043 20 0 22 0 420479385 8481841152 55834 33554432000 4194304 4196468 140728993801008 140066338582416 140066359431991 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1557] ppid=1529 vsize=8283048 memory=1540 CPUtime=636.71 cores=0-7
/proc/1555/task/1557/stat : 1557 (java) S 1529 1529 31706 0 -1 1077944384 2 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140066370988816 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1558] ppid=1529 vsize=8283048 memory=692 CPUtime=636.71 cores=0-7
/proc/1555/task/1558/stat : 1558 (java) S 1529 1529 31706 0 -1 1077944384 1 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140066200083344 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1559] ppid=1529 vsize=8283048 memory=4152 CPUtime=636.71 cores=0-7
/proc/1555/task/1559/stat : 1559 (java) S 1529 1529 31706 0 -1 1077944384 1 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065850690576 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1560] ppid=1529 vsize=8283048 memory=4872558044660077418 CPUtime=636.71 cores=0-7
/proc/1555/task/1560/stat : 1560 (java) S 1529 1529 31706 0 -1 1077944384 3 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065849638032 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1561] ppid=1529 vsize=8283048 memory=528 CPUtime=636.71 cores=0-7
/proc/1555/task/1561/stat : 1561 (java) S 1529 1529 31706 0 -1 1077944384 2 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065848584464 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1562] ppid=1529 vsize=8283048 memory=3087820 CPUtime=636.71 cores=0-7
/proc/1555/task/1562/stat : 1562 (java) S 1529 1529 31706 0 -1 1077944384 2 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065847531920 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1563] ppid=1529 vsize=8283048 memory=120972 CPUtime=636.71 cores=0-7
/proc/1555/task/1563/stat : 1563 (java) S 1529 1529 31706 0 -1 1077944384 2 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065846479376 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1564] ppid=1529 vsize=8283048 memory=3087476 CPUtime=636.71 cores=0-7
/proc/1555/task/1564/stat : 1564 (java) S 1529 1529 31706 0 -1 1077944384 1 5723927 0 0 0 0 62628 1043 20 0 22 0 420479386 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065845426832 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1565] ppid=1529 vsize=8283048 memory=1408 CPUtime=636.71 cores=0-7
/proc/1555/task/1565/stat : 1565 (java) S 1529 1529 31706 0 -1 1077944384 6 5723927 0 0 0 0 62628 1043 20 0 22 0 420479387 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065191750128 140066366757506 0 0 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1566] ppid=1529 vsize=8283048 memory=3680 CPUtime=636.71 cores=0-7
/proc/1555/task/1566/stat : 1566 (java) S 1529 1529 31706 0 -1 1077944384 13 5723927 0 0 0 0 62628 1043 20 0 22 0 420479388 8481841152 55834 33554432000 4194304 4196468 140728993801008 140064990422432 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1567] ppid=1529 vsize=8283048 memory=1472 CPUtime=636.71 cores=0-7
/proc/1555/task/1567/stat : 1567 (java) S 1529 1529 31706 0 -1 1077944384 1 5723927 0 0 0 0 62628 1043 20 0 22 0 420479388 8481841152 55834 33554432000 4194304 4196468 140728993801008 140064721987056 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1568] ppid=1529 vsize=8283048 memory=120972 CPUtime=636.71 cores=0-7
/proc/1555/task/1568/stat : 1568 (java) S 1529 1529 31706 0 -1 1077944384 1 5723927 0 0 0 0 62628 1043 20 0 22 0 420479390 8481841152 55834 33554432000 4194304 4196468 140728993801008 140064347478736 140066366764955 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1569] ppid=1529 vsize=8283048 memory=3085172 CPUtime=636.86 cores=0-7
/proc/1555/task/1569/stat : 1569 (java) S 1529 1529 31706 0 -1 1077944384 838 5723927 0 0 15 0 62628 1043 20 0 22 0 420479390 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065190696944 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1570] ppid=1529 vsize=8283048 memory=63400 CPUtime=636.94 cores=0-7
/proc/1555/task/1570/stat : 1570 (java) S 1529 1529 31706 0 -1 1077944384 642 5723927 0 0 23 0 62628 1043 20 0 22 0 420479390 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065189644400 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1571] ppid=1529 vsize=8283048 memory=8215 CPUtime=636.88 cores=0-7
/proc/1555/task/1571/stat : 1571 (java) S 1529 1529 31706 0 -1 1077944384 669 5723927 0 0 16 1 62628 1043 20 0 22 0 420479390 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065188591856 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1572] ppid=1529 vsize=8283048 memory=7773 CPUtime=637.05 cores=0-7
/proc/1555/task/1572/stat : 1572 (java) S 1529 1529 31706 0 -1 1077944384 1339 5723927 0 0 34 0 62628 1043 20 0 22 0 420479390 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065187539312 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1573] ppid=1529 vsize=8283048 memory=79 CPUtime=636.71 cores=0-7
/proc/1555/task/1573/stat : 1573 (java) S 1529 1529 31706 0 -1 1077944384 3 5723927 0 0 0 0 62628 1043 20 0 22 0 420479391 8481841152 55834 33554432000 4194304 4196468 140728993801008 140063849573088 140066366756565 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1574] ppid=1529 vsize=8283048 memory=0 CPUtime=636.76 cores=0-7
/proc/1555/task/1574/stat : 1574 (java) S 1529 1529 31706 0 -1 1077944384 7 5723927 0 0 3 2 62628 1043 20 0 22 0 420479391 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065186487216 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1576] ppid=1529 vsize=8283048 memory=0 CPUtime=636.71 cores=0-7
/proc/1555/task/1576/stat : 1576 (java) S 1529 1529 31706 0 -1 1077944384 23 5723927 0 0 0 0 62628 1043 20 0 22 0 420479460 8481841152 55834 33554432000 4194304 4196468 140728993801008 140065178452880 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
[pid=1555/tid=1580] ppid=1529 vsize=8283048 memory=0 CPUtime=636.71 cores=0-7
/proc/1555/task/1580/stat : 1580 (java) S 1529 1529 31706 0 -1 1077944384 14 5723927 0 0 0 0 62628 1043 20 0 22 0 420479463 8481841152 55834 33554432000 4194304 4196468 140728993801008 140062910047152 140066366757506 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38334464 140728993809400 140728993809558 140728993809558 140728993812431 0
Current children cumulated CPU time: 678.28 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 224808 KiB
Child status: 0
Real time (s): 120.022
CPU time (s): 678.33
CPU user time (s): 666.14
CPU system time (s): 12.1895
CPU usage (%): 565.172
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6062428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 666.14
system time used= 12.1895
maximum resident set size= 6061744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5785347
page faults= 0
swaps= 0
block input operations= 8
block output operations= 313024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 59315
involuntary context switches= 6001
# summary of solver processes directly reported to runsolver:
# pid: 1529
# total CPU time (s): 678.33
# total CPU user time (s): 666.14
# total CPU system time (s): 12.1895
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15565 second user time and 1.50602 second system time
The end
Begin job on node137 at 2019-09-14 08:24:09 IDJOB=4392484 IDBENCH=138492 IDSOLVER=2838 FILE ID=node137/4392484-1568442291 RUNJOBID= node137-1568437903-31733 PBS_JOBID= 21702324 Free space on /tmp= 61428 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/SuperSolutions/SuperSolutions-Taillard-js15/SuperTaillard-js-15-02.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-4392484-1568442291/watcher-4392484-1568442291 -o /tmp/evaluation-result-4392484-1568442291/solver-4392484-1568442291 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node137-1568437903-31733 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -order HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392484-1568442291.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c67201b80d2f8cf37dc6fc32cd78d58c RANDOM SEED=605192809 node137.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.00 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 30599924 kB MemAvailable: 31817772 kB Buffers: 95144 kB Cached: 1402544 kB SwapCached: 77544 kB Active: 1427144 kB Inactive: 152144 kB Active(anon): 4564 kB Inactive(anon): 118296 kB Active(file): 1422580 kB Inactive(file): 33848 kB Unevictable: 108700 kB Mlocked: 108700 kB SwapTotal: 67108860 kB SwapFree: 66927264 kB Dirty: 20916 kB Writeback: 0 kB AnonPages: 111496 kB Mapped: 45048 kB Shmem: 32776 kB Slab: 183068 kB SReclaimable: 154512 kB SUnreclaim: 28556 kB KernelStack: 3728 kB PageTables: 5676 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 497624 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 65536 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 105856 kB DirectMap2M: 33439744 kB Free space on /tmp at the end= 61408 MiB End job on node137 at 2019-09-14 08:26:09