| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| Fun-sCOP order+ManyGlucose (2019-09-22) | SAT | 665.715 | 117.397 |
| 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-7258-serial-file.bin HOME/instance-4405344-1569358592.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.56 c BEGIN-Prog: Tue Sep 24 21:55:09 CEST 2019 0.66/0.56 c PID: 7261 0.66/0.56 c IP: 172.20.3.106 0.66/0.56 c HOST: node106.alineos.net 0.66/0.57 c (0,0) Parsing Begin 5.63/1.87 c (1,1) Parsing End 5.63/1.88 c (1,1) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1263 5.63/1.88 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 22 MiB used (max 0 MiB) 5.63/1.88 c (1,1) Constraint Name Generate Begin 6.07/1.92 c (1,1) Ctr:HOME/instance-4405344-1569358592.xml,Add:Le:Ne:Num:Or:Var 6.07/1.92 c (1,1) Constraint Name Generate End 6.07/1.92 c (1,1) Heap : 675 MiB used (max 21589 MiB), NonHeap : 23 MiB used (max 0 MiB) 6.07/1.92 c (1,1) CSP to CSPinCNF Begin 6.56/2.18 c (1,1) translated 558 (10%) constraints 6.83/2.24 c (1,1) translated 1116 (20%) constraints 6.83/2.29 c (1,1) translated 1674 (30%) constraints 7.19/2.33 c (1,1) translated 2232 (40%) constraints 7.19/2.37 c (1,1) translated 2790 (50%) constraints 7.61/2.41 c (1,1) translated 3348 (60%) constraints 7.61/2.44 c (1,1) translated 3906 (70%) constraints 7.61/2.48 c (1,1) translated 4464 (80%) constraints 8.01/2.51 c (1,1) translated 5022 (90%) constraints 8.01/2.53 c (1,1) translated 5580 (100%) constraints 8.01/2.53 c (1,1) =========================================== 8.01/2.53 c (1,1) Order 8.01/2.53 c (1,1) =========================================== 8.01/2.56 c (2,2) translated 558 (10%) constraints 8.01/2.58 c (2,2) translated 1116 (20%) constraints 8.01/2.60 c (2,2) translated 1674 (30%) constraints 8.40/2.61 c (2,2) translated 2232 (40%) constraints 8.40/2.63 c (2,2) translated 2790 (50%) constraints 8.40/2.64 c (2,2) translated 3348 (60%) constraints 8.40/2.66 c (2,2) translated 3906 (70%) constraints 8.40/2.67 c (2,2) translated 4464 (80%) constraints 8.40/2.68 c (2,2) translated 5022 (90%) constraints 8.60/2.70 c (2,2) translated 5580 (100%) constraints 8.60/2.70 c (2,2) CSP to CSPinCNF End 8.60/2.71 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 8.60/2.71 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.60/2.71 c (2,2) CSPinCNF Propagation Begin 8.60/2.79 c (2,2) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 8.60/2.79 c (2,2) CSPinCNF Propagation End 8.60/2.79 c (2,2) CSP: 450 int (0 aux), 0 bool (0 aux), 5580 ctr, max domain size 1203 8.60/2.79 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 27 MiB used (max 0 MiB) 8.60/2.79 c (2,2) Simplify CSPinCNF Begin 9.78/3.06 c (2,2) Simplify CSPinCNF End 9.78/3.07 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 9.78/3.07 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.78/3.07 c (2,2) Calculate Precise Domain Begin 9.78/3.07 c (2,2) 0 values are removed by re-calculation 9.78/3.07 c (2,2) Calculate Precise Domain End 9.78/3.07 c (2,2) CSP: 450 int (0 aux), 9900 bool (9900 aux), 15480 ctr, max domain size 1203 9.78/3.07 c (2,2) Heap : 788 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 9.78/3.07 c (2,2) CSPinCNF to SatSolver Begin 15.12/6.62 c (6,5) 1548 (10 %) CSP clauses are encoded (0 SAT variables, 980918 SAT clauses) 18.14/9.49 c (8,8) 3096 (20 %) CSP clauses are encoded (0 SAT variables, 1625009 SAT clauses) 20.26/11.59 c (11,10) 4644 (30 %) CSP clauses are encoded (0 SAT variables, 2200453 SAT clauses) 22.48/13.80 c (13,12) 6192 (40 %) CSP clauses are encoded (0 SAT variables, 2810903 SAT clauses) 24.97/16.00 c (15,14) 7740 (50 %) CSP clauses are encoded (0 SAT variables, 3400641 SAT clauses) 27.49/18.35 c (17,17) 9288 (60 %) CSP clauses are encoded (0 SAT variables, 4004848 SAT clauses) 29.95/21.20 c (20,19) 10836 (70 %) CSP clauses are encoded (0 SAT variables, 4677532 SAT clauses) 32.29/23.36 c (22,21) 12384 (80 %) CSP clauses are encoded (0 SAT variables, 5256139 SAT clauses) 34.88/25.97 c (25,24) 13932 (90 %) CSP clauses are encoded (0 SAT variables, 5922663 SAT clauses) 37.64/28.51 c (27,27) 15480 (100 %) CSP clauses are encoded (0 SAT variables, 6834210 SAT clauses) 37.64/28.51 c (27,27) CSPinCNF to SatSolver End 37.64/28.51 c (27,27) Heap : 1053 MiB used (max 21589 MiB), NonHeap : 28 MiB used (max 0 MiB) 37.64/28.51 c (27,27) 356736 bool, 6834708 clause 37.64/28.51 c (27,27) Export Begin 37.84/28.62 c (28,27) Export to HOME/scop-7258-serial-file.bin 37.84/28.62 c (28,27) Export End 37.84/28.62 c (28,27) Export File Size: 0.07 MB 37.84/28.62 c (28,27) 1,1,2,2,2,2,27,STOP-AFTER(DIMACS) 37.84/28.62 c END-Prog: Tue Sep 24 21:55:37 CEST 2019 37.84/28.66 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-7258-serial-file.bin 38.45/29.48 c (0,0) Read Serial File Begin 38.45/29.48 c (0,0) HOME/scop-7258-serial-file.bin 38.92/29.72 c (0,0) Read Serial File End 38.92/29.73 38.92/29.73 Fun-sCOP order+manyglucose-4.1-27_release (2019-06-15) 38.92/29.73 (Solving Process) 38.92/29.73 38.92/29.75 c BEGIN-Prog: Tue Sep 24 21:55:39 CEST 2019 38.92/29.75 c PID: 7282 38.92/29.75 c IP: 172.20.3.106 38.92/29.75 c HOST: node106.alineos.net 38.92/29.76 c (0,0) SatSolver.solve Begin 38.92/29.76 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4405344-1569358592.xml-scop-7261.cnf 38.92/29.78 c (0,0) c 38.92/29.78 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 38.92/29.78 c (0,0) c 38.92/29.78 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 38.92/29.78 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 38.92/29.78 c (0,0) c ========================================[ Problem Statistics ]=========================================== 38.92/29.78 c (0,0) c | | 41.84/32.45 c (3,0) c | Number of variables: 356736 | 41.84/32.45 c (3,0) c | Number of clauses: 6715002 | 41.84/32.45 c (3,0) c | Parse time: 2.42 s | 41.84/32.45 c (3,0) c | | 42.24/32.90 c (3,0) c | Too many clauses... No preprocessing | 42.24/32.90 c (3,0) c | Simplification time: 0.41 s | 42.24/32.90 c (3,0) c | | 42.34/32.90 c (3,0) c | Generating clones | 44.04/34.62 c (5,0) c | all clones generated. Memory = 3619.08Mb. | 44.04/34.62 c (5,0) c ========================================================================================================| 44.04/34.62 c (5,0) c 44.04/34.62 c (5,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 44.04/34.62 c (5,0) c 44.04/34.62 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.04/34.62 c (5,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 44.04/34.62 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 44.04/34.62 c (5,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 44.04/34.62 c (5,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 44.04/34.62 c (5,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 44.04/34.62 c (5,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 44.04/34.62 c (5,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 44.04/34.62 c (5,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 44.04/34.62 c (5,0) c | glureduce | True | True | True | True | True | True | True | True | 44.04/34.62 c (5,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 44.04/34.62 c (5,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 44.04/34.62 c (5,0) c | luby_restart | False | False | False | False | False | False | False | False | 44.04/34.62 c (5,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 44.04/34.62 c (5,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 44.04/34.62 c (5,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 44.04/34.62 c (5,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 44.04/34.62 c (5,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 44.04/34.62 c (5,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 273.97/63.69 c (34,0) c 273.97/63.69 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 273.97/63.69 c (34,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 273.97/63.69 c (34,0) c |------------------------------------------------------------------------------------------------------------------------| 273.97/63.69 c (34,0) c | 0 | 2 | 5158 | 3204 | 66594 | 2204 | 99 | 516 | 30 | 158 | 20 | 34.045 | 273.97/63.69 c (34,0) c | 1 | 9 | 5548 | 3313 | 69536 | 2308 | 147 | 702 | 34 | 156 | 20 | 34.076 | 273.97/63.69 c (34,0) c | 2 | 10 | 5728 | 3525 | 74531 | 2524 | 162 | 775 | 46 | 170 | 20 | 34.082 | 273.97/63.69 c (34,0) c | 3 | 5 | 5750 | 3546 | 74682 | 2540 | 168 | 828 | 55 | 171 | 20 | 34.085 | 273.97/63.69 c (34,0) c | 4 | 3 | 6159 | 3686 | 72761 | 2685 | 122 | 777 | 49 | 173 | 20 | 34.079 | 273.97/63.69 c (34,0) c | 5 | 14 | 6062 | 3528 | 73773 | 2520 | 144 | 734 | 64 | 165 | 20 | 34.076 | 273.97/63.69 c (34,0) c | 6 | 8 | 5586 | 3430 | 66090 | 2422 | 108 | 822 | 57 | 164 | 20 | 34.082 | 273.97/63.69 c (34,0) c | 7 | 4 | 5530 | 3454 | 64768 | 2450 | 116 | 421 | 35 | 160 | 20 | 34.025 | 273.97/63.69 c (34,0) c 274.72/63.70 c (34,0) c synthesis 27686 conflicts 346191018 propagations 120 conflicts/sec 1501143 propagations/sec 274.72/63.70 c (34,0) c real: 33.9106 s, cpu: 230.618 s, memory: 3677.47 Mb 498.78/92.69 c (63,0) c 498.78/92.69 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 498.78/92.69 c (63,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 498.78/92.69 c (63,0) c |------------------------------------------------------------------------------------------------------------------------| 498.78/92.69 c (63,0) c | 0 | 7 | 11250 | 6992 | 119548 | 3196 | 711 | 2815 | 219 | 316 | 20 | 34.160 | 498.78/92.69 c (63,0) c | 1 | 16 | 11385 | 6973 | 115207 | 3166 | 799 | 3577 | 151 | 315 | 20 | 34.182 | 498.78/92.69 c (63,0) c | 2 | 27 | 10931 | 6638 | 113726 | 2841 | 730 | 3299 | 165 | 304 | 20 | 34.162 | 498.78/92.69 c (63,0) c | 3 | 14 | 12614 | 7513 | 118949 | 3708 | 930 | 4090 | 197 | 320 | 20 | 34.184 | 498.78/92.69 c (63,0) c | 4 | 4 | 10756 | 6710 | 113572 | 2916 | 740 | 3487 | 179 | 314 | 20 | 34.171 | 498.78/92.69 c (63,0) c | 5 | 25 | 11435 | 6816 | 114370 | 3019 | 736 | 3970 | 218 | 323 | 20 | 34.173 | 498.78/92.69 c (63,0) c | 6 | 20 | 11955 | 7496 | 111235 | 3690 | 862 | 4673 | 250 | 323 | 20 | 34.203 | 498.78/92.69 c (63,0) c | 7 | 16 | 11996 | 6968 | 119097 | 3164 | 684 | 4768 | 259 | 323 | 20 | 34.208 | 498.78/92.69 c (63,0) c 498.78/92.69 c (63,0) c synthesis 56106 conflicts 730730836 propagations 124 conflicts/sec 1608972 propagations/sec 499.58/92.70 c (63,0) c real: 62.9106 s, cpu: 454.16 s, memory: 3677.73 Mb 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c real time : 87.1405 s 664.50/116.92 c (87,0) c cpu time : 618.366 s 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c | Conflicts | 75614 | 9179 | 9687 | 9341 | 9932 | 9599 | 8923 | 9726 | 9227 | 664.50/116.92 c (87,0) c | Decisions | 130140 | 14599 | 15349 | 15352 | 15898 | 14993 | 22144 | 15619 | 16186 | 664.50/116.92 c (87,0) c | Propagations | 1008614705 | 125370729 | 129587495 | 124046446 | 128759516 | 124069994 | 124178407 | 127696403 | 124905715 | 664.50/116.92 c (87,0) c | ReduceDBs | 16 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 2 | 664.50/116.92 c (87,0) c | SimpDBs | 57 | 5 | 7 | 8 | 6 | 6 | 9 | 8 | 8 | 664.50/116.92 c (87,0) c | Restarts | 169 | 10 | 22 | 38 | 14 | 7 | 28 | 26 | 24 | 664.50/116.92 c (87,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 664.50/116.92 c (87,0) c | PropBinClauses| 3439580552 | 433471097 | 442528788 | 420624212 | 437425826 | 420986516 | 425555049 | 433684923 | 425304141 | 664.50/116.92 c (87,0) c | PropPreBlocker| 13579013214 | 1710048588 | 1670889738 | 1701512058 | 1693726823 | 1728535912 | 1691675442 | 1680574043 | 1702050610 | 664.50/116.92 c (87,0) c | PropNotBlocker| 2129956470 | 272150433 | 279467434 | 261609088 | 273374042 | 258098758 | 255427118 | 275450524 | 254379073 | 664.50/116.92 c (87,0) c | LitFullScans | 20211981991 | 2524663635 | 2524731313 | 2524829522 | 2524996870 | 2530602437 | 2526666284 | 2530908060 | 2524583870 | 664.50/116.92 c (87,0) c | LitScanFracts | 2055901 | 202067 | 229346 | 303605 | 242406 | 228374 | 348464 | 275381 | 226258 | 664.50/116.92 c (87,0) c | DecisionLevel0| 337 | 22 | 48 | 56 | 31 | 19 | 57 | 50 | 54 | 664.50/116.92 c (87,0) c | Periods | 3362 | 420 | 420 | 420 | 420 | 421 | 420 | 421 | 420 | 664.50/116.92 c (87,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 664.50/116.92 c (87,0) c | Avg_Trail | | 223338 | 219060 | 225721 | 223794 | 226660 | 228810 | 219158 | 228706 | 664.50/116.92 c (87,0) c | Avg_DL | | 21 | 15 | 19 | 20 | 23 | 19 | 17 | 24 | 664.50/116.92 c (87,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 664.50/116.92 c (87,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c | Exported | 11295 | 1319 | 1459 | 1391 | 1534 | 1531 | 1372 | 1405 | 1284 | 664.50/116.92 c (87,0) c | Imported | 63584 | 8189 | 8671 | 8189 | 4090 | 8595 | 9099 | 7993 | 8758 | 664.50/116.92 c (87,0) c | Good | 631 | 80 | 82 | 79 | 56 | 85 | 78 | 84 | 87 | 664.50/116.92 c (87,0) c | Purge | 62953 | 8109 | 8589 | 8110 | 4034 | 8510 | 9021 | 7909 | 8671 | 664.50/116.92 c (87,0) c | Promoted | 3708 | 418 | 493 | 513 | 362 | 476 | 441 | 514 | 491 | 664.50/116.92 c (87,0) c | Remove_Imp | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 664.50/116.92 c (87,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c | Unaries | | 12 | 26 | 18 | 17 | 12 | 29 | 24 | 30 | 664.50/116.92 c (87,0) c | Binaries | | 13 | 12 | 16 | 13 | 9 | 22 | 11 | 8 | 664.50/116.92 c (87,0) c | Glues | | 271 | 362 | 368 | 353 | 284 | 371 | 329 | 406 | 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c | Orig_Seen | 3 % | 140285 | 137188 | 139671 | 134591 | 137980 | 131390 | 131227 | 142552 | 664.50/116.92 c (87,0) c | Diff Orig seen| | 8895 | 5798 | 8281 | 3201 | 6590 | X | - 163 | 11162 | 664.50/116.92 c (87,0) c | Hamming | 13 % | 41617 | 42200 | 50011 | 46821 | 50853 | X | 52528 | 58591 | 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c | RunningTime | | 81.3 100%| 82.0 100%| 82.3 100%| 78.1 97%| 76.8 99%| 73.9 95%| 75.3 97%| 74.1 95%| 664.50/116.92 c (87,0) c | WaitingTime | | 0.0 0%| 0.0 0%| 0.0 0%| 2.7 3%| 1.0 1%| 3.7 5%| 2.5 3%| 3.6 5%| 664.50/116.92 c (87,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%| 664.50/116.92 c (87,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%| 664.50/116.92 c (87,0) c | SolvingTime | | 81.4 | 82.0 | 82.3 | 80.8 | 77.8 | 77.6 | 77.8 | 77.6 | 664.50/116.92 c (87,0) c | PropagationTim| | 77.2 95%| 77.6 95%| 77.6 94%| 76.0 94%| 73.4 94%| 72.5 93%| 73.4 94%| 72.8 94%| 664.50/116.92 c (87,0) c | AnalysisTime | | 1.2 2%| 1.2 1%| 1.2 1%| 1.2 1%| 1.3 2%| 1.1 1%| 1.1 1%| 1.1 1%| 664.50/116.92 c (87,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%| 664.50/116.92 c (87,0) c | SimplifyTime | | 1.2 1%| 1.5 2%| 1.6 2%| 1.9 2%| 1.3 2%| 2.3 3%| 1.6 2%| 2.0 3%| 664.50/116.92 c (87,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%| 664.50/116.92 c (87,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%| 664.50/116.92 c (87,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c 664.50/116.92 c (87,0) c Threads : 8 664.50/116.92 c (87,0) c Winner : 5 664.50/116.92 c (87,0) c Conflicts_0 : 9179 664.50/116.92 c (87,0) c Conflicts_1 : 9687 664.50/116.92 c (87,0) c Conflicts_2 : 9341 664.50/116.92 c (87,0) c Conflicts_3 : 9932 664.50/116.92 c (87,0) c Conflicts_4 : 9599 664.50/116.92 c (87,0) c Conflicts_5 : 8923 664.50/116.92 c (87,0) c Conflicts_6 : 9726 664.50/116.92 c (87,0) c Conflicts_7 : 9227 664.50/116.92 c (87,0) c Conflicts_total : 75614 664.50/116.92 c (87,0) c Conflicts_winner : 8923 664.50/116.92 c (87,0) c Decisions_0 : 14599 664.50/116.92 c (87,0) c Decisions_1 : 15349 664.50/116.92 c (87,0) c Decisions_2 : 15352 664.50/116.92 c (87,0) c Decisions_3 : 15898 664.50/116.92 c (87,0) c Decisions_4 : 14993 664.50/116.92 c (87,0) c Decisions_5 : 22144 664.50/116.92 c (87,0) c Decisions_6 : 15619 664.50/116.92 c (87,0) c Decisions_7 : 16186 664.50/116.92 c (87,0) c Decisions_total : 130140 664.50/116.92 c (87,0) c Decisions_winner : 22144 664.50/116.92 c (87,0) c Propagations_0 : 125370729 664.50/116.92 c (87,0) c Propagations_1 : 129587495 664.50/116.92 c (87,0) c Propagations_2 : 124046446 664.50/116.92 c (87,0) c Propagations_3 : 128759516 664.50/116.92 c (87,0) c Propagations_4 : 124069994 664.50/116.92 c (87,0) c Propagations_5 : 124178407 664.50/116.92 c (87,0) c Propagations_6 : 127696403 664.50/116.92 c (87,0) c Propagations_7 : 124905715 664.50/116.92 c (87,0) c Propagations_total : 1008614705 664.50/116.92 c (87,0) c Propagations_winner : 124178407 664.50/116.92 c (87,0) c ReduceDBs_0 : 2 664.50/116.92 c (87,0) c ReduceDBs_1 : 2 664.50/116.92 c (87,0) c ReduceDBs_2 : 2 664.50/116.92 c (87,0) c ReduceDBs_3 : 2 664.50/116.92 c (87,0) c ReduceDBs_4 : 2 664.50/116.92 c (87,0) c ReduceDBs_5 : 2 664.50/116.92 c (87,0) c ReduceDBs_6 : 2 664.50/116.92 c (87,0) c ReduceDBs_7 : 2 664.50/116.92 c (87,0) c ReduceDBs_total : 16 664.50/116.92 c (87,0) c ReduceDBs_winner : 2 664.50/116.92 c (87,0) c SimpDBs_0 : 5 664.50/116.92 c (87,0) c SimpDBs_1 : 7 664.50/116.92 c (87,0) c SimpDBs_2 : 8 664.50/116.92 c (87,0) c SimpDBs_3 : 6 664.50/116.92 c (87,0) c SimpDBs_4 : 6 664.50/116.92 c (87,0) c SimpDBs_5 : 9 664.50/116.92 c (87,0) c SimpDBs_6 : 8 664.50/116.92 c (87,0) c SimpDBs_7 : 8 664.50/116.92 c (87,0) c SimpDBs_total : 57 664.50/116.93 c (87,0) c SimpDBs_winner : 9 664.50/116.93 c (87,0) c Restarts_0 : 10 664.50/116.93 c (87,0) c Restarts_1 : 22 664.50/116.93 c (87,0) c Restarts_2 : 38 664.50/116.93 c (87,0) c Restarts_3 : 14 664.50/116.93 c (87,0) c Restarts_4 : 7 664.50/116.93 c (87,0) c Restarts_5 : 28 664.50/116.93 c (87,0) c Restarts_6 : 26 664.50/116.93 c (87,0) c Restarts_7 : 24 664.50/116.93 c (87,0) c Restarts_total : 169 664.50/116.93 c (87,0) c Restarts_winner : 28 664.50/116.93 c (87,0) c ForcedImports_0 : 0 664.50/116.93 c (87,0) c ForcedImports_1 : 0 664.50/116.93 c (87,0) c ForcedImports_2 : 0 664.50/116.93 c (87,0) c ForcedImports_3 : 0 664.50/116.93 c (87,0) c ForcedImports_4 : 0 664.50/116.93 c (87,0) c ForcedImports_5 : 0 664.50/116.93 c (87,0) c ForcedImports_6 : 0 664.50/116.93 c (87,0) c ForcedImports_7 : 0 664.50/116.93 c (87,0) c ForcedImports_total : 0 664.50/116.93 c (87,0) c ForcedImports_winner : 0 664.50/116.93 c (87,0) c PropsBinClauses_0 : 433471097 664.50/116.93 c (87,0) c PropsBinClauses_1 : 442528788 664.50/116.93 c (87,0) c PropsBinClauses_2 : 420624212 664.50/116.93 c (87,0) c PropsBinClauses_3 : 437425826 664.50/116.93 c (87,0) c PropsBinClauses_4 : 420986516 664.50/116.93 c (87,0) c PropsBinClauses_5 : 425555049 664.50/116.93 c (87,0) c PropsBinClauses_6 : 433684923 664.50/116.93 c (87,0) c PropsBinClauses_7 : 425304141 664.50/116.93 c (87,0) c PropsBinClauses_total : 3439580552 664.50/116.93 c (87,0) c PropsBinClauses_winner : 425555049 664.50/116.93 c (87,0) c PropsPreBlocker_0 : 1710048588 664.50/116.93 c (87,0) c PropsPreBlocker_1 : 1670889738 664.50/116.93 c (87,0) c PropsPreBlocker_2 : 1701512058 664.50/116.93 c (87,0) c PropsPreBlocker_3 : 1693726823 664.50/116.93 c (87,0) c PropsPreBlocker_4 : 1728535912 664.50/116.93 c (87,0) c PropsPreBlocker_5 : 1691675442 664.50/116.93 c (87,0) c PropsPreBlocker_6 : 1680574043 664.50/116.93 c (87,0) c PropsPreBlocker_7 : 1702050610 664.50/116.93 c (87,0) c PropsPreBlocker_total : 13579013214 664.50/116.93 c (87,0) c PropsPreBlocker_winner : 1691675442 664.50/116.93 c (87,0) c PropsNotBlocker_0 : 272150433 664.50/116.93 c (87,0) c PropsNotBlocker_1 : 279467434 664.50/116.93 c (87,0) c PropsNotBlocker_2 : 261609088 664.50/116.93 c (87,0) c PropsNotBlocker_3 : 273374042 664.50/116.93 c (87,0) c PropsNotBlocker_4 : 258098758 664.50/116.93 c (87,0) c PropsNotBlocker_5 : 255427118 664.50/116.93 c (87,0) c PropsNotBlocker_6 : 275450524 664.50/116.93 c (87,0) c PropsNotBlocker_7 : 254379073 664.50/116.93 c (87,0) c PropsNotBlocker_total : 2129956470 664.50/116.93 c (87,0) c PropsNotBlocker_winner : 255427118 664.50/116.93 c (87,0) c PropsLitFullScans_0 : 2524663635 664.50/116.93 c (87,0) c PropsLitFullScans_1 : 2524731313 664.50/116.93 c (87,0) c PropsLitFullScans_2 : 2524829522 664.50/116.93 c (87,0) c PropsLitFullScans_3 : 2524996870 664.50/116.93 c (87,0) c PropsLitFullScans_4 : 2530602437 664.50/116.93 c (87,0) c PropsLitFullScans_5 : 2526666284 664.50/116.93 c (87,0) c PropsLitFullScans_6 : 2530908060 664.50/116.93 c (87,0) c PropsLitFullScans_7 : 2524583870 664.50/116.93 c (87,0) c PropsLitFullScans_total : 20211981991 664.50/116.93 c (87,0) c PropsLitFullScans_winner : 2526666284 664.50/116.93 c (87,0) c LitScanFractions_0 : 202067 664.50/116.93 c (87,0) c LitScanFractions_1 : 229346 664.50/116.93 c (87,0) c LitScanFractions_2 : 303605 664.50/116.93 c (87,0) c LitScanFractions_3 : 242406 664.50/116.93 c (87,0) c LitScanFractions_4 : 228374 664.50/116.93 c (87,0) c LitScanFractions_5 : 348464 664.50/116.93 c (87,0) c LitScanFractions_6 : 275381 664.50/116.93 c (87,0) c LitScanFractions_7 : 226258 664.50/116.93 c (87,0) c LitScanFractions_total : 2055901 664.50/116.93 c (87,0) c LitScanFractions_winner : 348464 664.50/116.93 c (87,0) c DecisionLevel0_0 : 22 664.50/116.93 c (87,0) c DecisionLevel0_1 : 48 664.50/116.93 c (87,0) c DecisionLevel0_2 : 56 664.50/116.93 c (87,0) c DecisionLevel0_3 : 31 664.50/116.93 c (87,0) c DecisionLevel0_4 : 19 664.50/116.93 c (87,0) c DecisionLevel0_5 : 57 664.50/116.93 c (87,0) c DecisionLevel0_6 : 50 664.50/116.93 c (87,0) c DecisionLevel0_7 : 54 664.50/116.93 c (87,0) c DecisionLevel0_total : 337 664.50/116.93 c (87,0) c DecisionLevel0_winner : 57 664.50/116.93 c (87,0) c Periods_0 : 420 664.50/116.93 c (87,0) c Periods_1 : 420 664.50/116.93 c (87,0) c Periods_2 : 420 664.50/116.93 c (87,0) c Periods_3 : 420 664.50/116.93 c (87,0) c Periods_4 : 421 664.50/116.93 c (87,0) c Periods_5 : 420 664.50/116.93 c (87,0) c Periods_6 : 421 664.50/116.93 c (87,0) c Periods_7 : 420 664.50/116.93 c (87,0) c Periods_total : 3362 664.50/116.93 c (87,0) c Periods_winner : 420 664.50/116.93 c (87,0) c Margin_0 : 20 664.50/116.93 c (87,0) c Margin_1 : 20 664.50/116.93 c (87,0) c Margin_2 : 20 664.50/116.93 c (87,0) c Margin_3 : 20 664.50/116.93 c (87,0) c Margin_4 : 20 664.50/116.93 c (87,0) c Margin_5 : 20 664.50/116.93 c (87,0) c Margin_6 : 20 664.50/116.93 c (87,0) c Margin_7 : 20 664.50/116.93 c (87,0) c Margin_total : 160 664.50/116.93 c (87,0) c Margin_winner : 20 664.50/116.93 c (87,0) c Exported_0 : 1319 664.50/116.93 c (87,0) c Exported_1 : 1459 664.50/116.93 c (87,0) c Exported_2 : 1391 664.50/116.93 c (87,0) c Exported_3 : 1534 664.50/116.93 c (87,0) c Exported_4 : 1531 664.50/116.93 c (87,0) c Exported_5 : 1372 664.50/116.93 c (87,0) c Exported_6 : 1405 664.50/116.93 c (87,0) c Exported_7 : 1284 664.50/116.93 c (87,0) c Exported_total : 11295 664.50/116.93 c (87,0) c Exported_winner : 1372 664.50/116.93 c (87,0) c Imported_0 : 8189 664.50/116.93 c (87,0) c Imported_1 : 8671 664.50/116.93 c (87,0) c Imported_2 : 8189 664.50/116.93 c (87,0) c Imported_3 : 4090 664.50/116.93 c (87,0) c Imported_4 : 8595 664.50/116.93 c (87,0) c Imported_5 : 9099 664.50/116.93 c (87,0) c Imported_6 : 7993 664.50/116.93 c (87,0) c Imported_7 : 8758 664.50/116.93 c (87,0) c Imported_total : 63584 664.50/116.93 c (87,0) c Imported_winner : 9099 664.50/116.93 c (87,0) c Good_0 : 80 664.50/116.93 c (87,0) c Good_1 : 82 664.50/116.93 c (87,0) c Good_2 : 79 664.50/116.93 c (87,0) c Good_3 : 56 664.50/116.93 c (87,0) c Good_4 : 85 664.50/116.93 c (87,0) c Good_5 : 78 664.50/116.93 c (87,0) c Good_6 : 84 664.50/116.93 c (87,0) c Good_7 : 87 664.50/116.93 c (87,0) c Good_total : 631 664.50/116.93 c (87,0) c Good_winner : 78 664.50/116.93 c (87,0) c Purge_0 : 8109 664.50/116.93 c (87,0) c Purge_1 : 8589 664.50/116.93 c (87,0) c Purge_2 : 8110 664.50/116.93 c (87,0) c Purge_3 : 4034 664.50/116.93 c (87,0) c Purge_4 : 8510 664.50/116.93 c (87,0) c Purge_5 : 9021 664.50/116.93 c (87,0) c Purge_6 : 7909 664.50/116.93 c (87,0) c Purge_7 : 8671 664.50/116.93 c (87,0) c Purge_total : 62953 664.50/116.93 c (87,0) c Purge_winner : 9021 664.50/116.93 c (87,0) c Promoted_0 : 418 664.50/116.93 c (87,0) c Promoted_1 : 493 664.50/116.93 c (87,0) c Promoted_2 : 513 664.50/116.93 c (87,0) c Promoted_3 : 362 664.50/116.93 c (87,0) c Promoted_4 : 476 664.50/116.93 c (87,0) c Promoted_5 : 441 664.50/116.93 c (87,0) c Promoted_6 : 514 664.50/116.93 c (87,0) c Promoted_7 : 491 664.50/116.93 c (87,0) c Promoted_total : 3708 664.50/116.93 c (87,0) c Promoted_winner : 441 664.50/116.93 c (87,0) c Remove_Imp_0 : 0 664.50/116.93 c (87,0) c Remove_Imp_1 : 0 664.50/116.93 c (87,0) c Remove_Imp_2 : 0 664.50/116.93 c (87,0) c Remove_Imp_3 : 0 664.50/116.93 c (87,0) c Remove_Imp_4 : 0 664.50/116.93 c (87,0) c Remove_Imp_5 : 0 664.50/116.93 c (87,0) c Remove_Imp_6 : 0 664.50/116.93 c (87,0) c Remove_Imp_7 : 0 664.50/116.93 c (87,0) c Remove_Imp_total : 0 664.50/116.93 c (87,0) c Remove_Imp_winner : 0 664.50/116.93 c (87,0) c Blocked_Reuse_0 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_1 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_2 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_3 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_4 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_5 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_6 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_7 : 0 664.50/116.93 c (87,0) c Blocked_Reuse_total : 0 664.50/116.93 c (87,0) c Blocked_Reuse_winner : 0 664.50/116.93 c (87,0) c Unaries_0 : 12 664.50/116.93 c (87,0) c Unaries_1 : 26 664.50/116.93 c (87,0) c Unaries_2 : 18 664.50/116.93 c (87,0) c Unaries_3 : 17 664.50/116.93 c (87,0) c Unaries_4 : 12 664.50/116.93 c (87,0) c Unaries_5 : 29 664.50/116.93 c (87,0) c Unaries_6 : 24 664.50/116.93 c (87,0) c Unaries_7 : 30 664.50/116.93 c (87,0) c Unaries_total : 168 664.50/116.93 c (87,0) c Unaries_winner : 29 664.50/116.93 c (87,0) c Binaries_0 : 13 664.50/116.93 c (87,0) c Binaries_1 : 12 664.50/116.93 c (87,0) c Binaries_2 : 16 664.50/116.93 c (87,0) c Binaries_3 : 13 664.50/116.93 c (87,0) c Binaries_4 : 9 664.50/116.93 c (87,0) c Binaries_5 : 22 664.50/116.93 c (87,0) c Binaries_6 : 11 664.50/116.93 c (87,0) c Binaries_7 : 8 664.50/116.93 c (87,0) c Binaries_total : 104 664.50/116.93 c (87,0) c Binaries_winner : 22 664.50/116.93 c (87,0) c Glues_0 : 271 664.50/116.93 c (87,0) c Glues_1 : 362 664.50/116.93 c (87,0) c Glues_2 : 368 664.50/116.93 c (87,0) c Glues_3 : 353 664.50/116.93 c (87,0) c Glues_4 : 284 664.50/116.93 c (87,0) c Glues_5 : 371 664.50/116.93 c (87,0) c Glues_6 : 329 664.50/116.93 c (87,0) c Glues_7 : 406 664.50/116.93 c (87,0) c Glues_total : 2744 664.50/116.93 c (87,0) c Glues_winner : 371 664.50/116.93 c (87,0) c RunningTime_0 : 81.343685 664.50/116.93 c (87,0) c RunningTime_1 : 81.999664 664.50/116.93 c (87,0) c RunningTime_2 : 82.258098 664.50/116.93 c (87,0) c RunningTime_3 : 78.093507 664.50/116.93 c (87,0) c RunningTime_4 : 76.785560 664.50/116.93 c (87,0) c RunningTime_5 : 73.884382 664.50/116.93 c (87,0) c RunningTime_6 : 75.309420 664.50/116.93 c (87,0) c RunningTime_7 : 74.067090 664.50/116.93 c (87,0) c RunningTime_total : 623.741405 664.50/116.93 c (87,0) c RunningTime_winner : 73.884382 664.50/116.93 c (87,0) c WaitingTime_0 : 0.000865 664.50/116.93 c (87,0) c WaitingTime_1 : 0.000749 664.50/116.93 c (87,0) c WaitingTime_2 : 0.000889 664.50/116.93 c (87,0) c WaitingTime_3 : 2.700180 664.50/116.93 c (87,0) c WaitingTime_4 : 0.962046 664.50/116.93 c (87,0) c WaitingTime_5 : 3.746121 664.50/116.93 c (87,0) c WaitingTime_6 : 2.477613 664.50/116.93 c (87,0) c WaitingTime_7 : 3.561876 664.50/116.93 c (87,0) c WaitingTime_total : 13.450339 664.50/116.93 c (87,0) c WaitingTime_winner : 3.746121 664.50/116.93 c (87,0) c ExchangingTime_0 : 0.009764 664.50/116.93 c (87,0) c ExchangingTime_1 : 0.010427 664.50/116.93 c (87,0) c ExchangingTime_2 : 0.010964 664.50/116.93 c (87,0) c ExchangingTime_3 : 0.009448 664.50/116.93 c (87,0) c ExchangingTime_4 : 0.010936 664.50/116.93 c (87,0) c ExchangingTime_5 : 0.011011 664.50/116.93 c (87,0) c ExchangingTime_6 : 0.011196 664.50/116.93 c (87,0) c ExchangingTime_7 : 0.011612 664.50/116.93 c (87,0) c ExchangingTime_total : 0.085359 664.50/116.93 c (87,0) c ExchangingTime_winner : 0.011011 664.50/116.93 c (87,0) c PeriodProcTime_0 : 0.004826 664.50/116.93 c (87,0) c PeriodProcTime_1 : 0.005440 664.50/116.93 c (87,0) c PeriodProcTime_2 : 0.005670 664.50/116.93 c (87,0) c PeriodProcTime_3 : 0.004936 664.50/116.93 c (87,0) c PeriodProcTime_4 : 0.005206 664.50/116.93 c (87,0) c PeriodProcTime_5 : 0.005217 664.50/116.93 c (87,0) c PeriodProcTime_6 : 0.004996 664.50/116.93 c (87,0) c PeriodProcTime_7 : 0.005207 664.50/116.93 c (87,0) c PeriodProcTime_total : 0.041496 664.50/116.93 c (87,0) c PeriodProcTime_winner : 0.005217 664.50/116.93 c (87,0) c SolvingTime_0 : 81.359140 664.50/116.93 c (87,0) c SolvingTime_1 : 82.016280 664.50/116.93 c (87,0) c SolvingTime_2 : 82.275620 664.50/116.93 c (87,0) c SolvingTime_3 : 80.808071 664.50/116.93 c (87,0) c SolvingTime_4 : 77.763747 664.50/116.93 c (87,0) c SolvingTime_5 : 77.646731 664.50/116.93 c (87,0) c SolvingTime_6 : 77.803224 664.50/116.93 c (87,0) c SolvingTime_7 : 77.645785 664.50/116.93 c (87,0) c SolvingTime_total : 637.318599 664.50/116.93 c (87,0) c SolvingTime_winner : 77.646731 664.50/116.93 c (87,0) c PropagationTime_0 : 77.169933 664.50/116.93 c (87,0) c PropagationTime_1 : 77.614531 664.50/116.93 c (87,0) c PropagationTime_2 : 77.621810 664.50/116.93 c (87,0) c PropagationTime_3 : 76.014195 664.50/116.93 c (87,0) c PropagationTime_4 : 73.440817 664.50/116.93 c (87,0) c PropagationTime_5 : 72.476315 664.50/116.93 c (87,0) c PropagationTime_6 : 73.372530 664.50/116.93 c (87,0) c PropagationTime_7 : 72.831155 664.50/116.93 c (87,0) c PropagationTime_total : 600.541285 664.50/116.93 c (87,0) c PropagationTime_winner : 72.476315 664.50/116.93 c (87,0) c AnalysisTime_0 : 1.242191 664.50/116.93 c (87,0) c AnalysisTime_1 : 1.155784 664.50/116.93 c (87,0) c AnalysisTime_2 : 1.224461 664.50/116.93 c (87,0) c AnalysisTime_3 : 1.199195 664.50/116.93 c (87,0) c AnalysisTime_4 : 1.310728 664.50/116.93 c (87,0) c AnalysisTime_5 : 1.141313 664.50/116.93 c (87,0) c AnalysisTime_6 : 1.109353 664.50/116.93 c (87,0) c AnalysisTime_7 : 1.143938 664.50/116.93 c (87,0) c AnalysisTime_total : 9.526962 664.50/116.93 c (87,0) c AnalysisTime_winner : 1.141313 664.50/116.93 c (87,0) c ReductionTime_0 : 0.001838 664.50/116.93 c (87,0) c ReductionTime_1 : 0.001637 664.50/116.93 c (87,0) c ReductionTime_2 : 0.001663 664.50/116.93 c (87,0) c ReductionTime_3 : 0.001728 664.50/116.93 c (87,0) c ReductionTime_4 : 0.001699 664.50/116.93 c (87,0) c ReductionTime_5 : 0.001665 664.50/116.93 c (87,0) c ReductionTime_6 : 0.001711 664.50/116.93 c (87,0) c ReductionTime_7 : 0.001795 664.50/116.93 c (87,0) c ReductionTime_total : 0.013736 664.50/116.93 c (87,0) c ReductionTime_winner : 0.001665 664.50/116.93 c (87,0) c SimplifyTime_0 : 1.199781 664.50/116.93 c (87,0) c SimplifyTime_1 : 1.478805 664.50/116.93 c (87,0) c SimplifyTime_2 : 1.614458 664.50/116.93 c (87,0) c SimplifyTime_3 : 1.865599 664.50/116.93 c (87,0) c SimplifyTime_4 : 1.312502 664.50/116.93 c (87,0) c SimplifyTime_5 : 2.332303 664.50/116.93 c (87,0) c SimplifyTime_6 : 1.628950 664.50/116.93 c (87,0) c SimplifyTime_7 : 2.001241 664.50/116.93 c (87,0) c SimplifyTime_total : 13.433639 664.50/116.93 c (87,0) c SimplifyTime_winner : 2.332303 664.50/116.93 c (87,0) c UsedRateTime_0 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_1 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_2 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_3 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_4 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_5 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_6 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_7 : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_total : 0.000000 664.50/116.93 c (87,0) c UsedRateTime_winner : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_0 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_1 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_2 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_3 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_4 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_5 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_6 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_7 : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_total : 0.000000 664.50/116.93 c (87,0) c OverlapRateTime_winner : 0.000000 664.50/116.93 c (87,0) c 664.50/116.93 c (87,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 664.50/116.93 c (87,0) c 664.50/116.93 c (87,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.93 c (87,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 664.50/116.93 c (87,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.93 c (87,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 664.50/116.93 c (87,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 664.50/116.93 c (87,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 664.50/116.93 c (87,0) c | Initial random_seed | 1344867263 | 615039600 | 944634128 | 1379628006 | 1159223918 | 482307768 | 79378310 | 1525302601 | 664.50/116.93 c (87,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 664.50/116.93 c (87,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 664.50/116.93 c (87,0) c | glureduce | True | True | True | True | True | True | True | True | 664.50/116.93 c (87,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 664.50/116.93 c (87,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 664.50/116.93 c (87,0) c | luby_restart | False | False | False | False | False | False | False | False | 664.50/116.93 c (87,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 664.50/116.93 c (87,0) c | var_decay | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 0.8100 | 664.50/116.93 c (87,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 664.50/116.93 c (87,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 664.50/116.93 c (87,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 664.50/116.93 c (87,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 664.50/116.93 c (87,0) 664.50/116.94 c (87,0) s SATISFIABLE 39.63/117.19 c (87,0) SatSolver.solve End 39.63/117.19 c (87,0) Heap : 183 MiB used (max 3925 MiB), NonHeap : 16 MiB used (max 0 MiB) 39.63/117.19 c (87,0) Show results Begin 665.53/117.33 c (87,0) x0 = 14 665.53/117.33 c (87,0) x1 = 15 665.53/117.33 c (87,0) x10 = 526 665.53/117.33 c (87,0) x100 = 555 665.53/117.33 c (87,0) x101 = 554 665.53/117.33 c (87,0) x102 = 626 665.53/117.33 c (87,0) x103 = 625 665.53/117.33 c (87,0) x104 = 704 665.53/117.33 c (87,0) x105 = 705 665.53/117.33 c (87,0) x106 = 813 665.53/117.33 c (87,0) x107 = 814 665.53/117.33 c (87,0) x108 = 935 665.53/117.33 c (87,0) x109 = 936 665.53/117.33 c (87,0) x11 = 527 665.53/117.33 c (87,0) x110 = 1011 665.53/117.33 c (87,0) x111 = 1012 665.53/117.33 c (87,0) x112 = 1102 665.53/117.33 c (87,0) x113 = 1103 665.53/117.33 c (87,0) x114 = 1193 665.53/117.33 c (87,0) x115 = 1192 665.53/117.33 c (87,0) x116 = 1251 665.53/117.33 c (87,0) x117 = 1252 665.53/117.33 c (87,0) x118 = 1259 665.53/117.33 c (87,0) x119 = 1258 665.53/117.33 c (87,0) x12 = 629 665.53/117.33 c (87,0) x120 = 36 665.53/117.33 c (87,0) x121 = 35 665.53/117.33 c (87,0) x122 = 129 665.53/117.33 c (87,0) x123 = 130 665.53/117.33 c (87,0) x124 = 182 665.53/117.33 c (87,0) x125 = 183 665.53/117.33 c (87,0) x126 = 299 665.53/117.33 c (87,0) x127 = 298 665.53/117.33 c (87,0) x128 = 312 665.53/117.33 c (87,0) x129 = 313 665.53/117.33 c (87,0) x13 = 630 665.53/117.33 c (87,0) x130 = 332 665.53/117.33 c (87,0) x131 = 331 665.53/117.33 c (87,0) x132 = 389 665.53/117.33 c (87,0) x133 = 390 665.53/117.33 c (87,0) x134 = 461 665.53/117.33 c (87,0) x135 = 462 665.53/117.33 c (87,0) x136 = 521 665.53/117.33 c (87,0) x137 = 522 665.53/117.33 c (87,0) x138 = 728 665.53/117.33 c (87,0) x139 = 729 665.53/117.33 c (87,0) x14 = 701 665.53/117.33 c (87,0) x140 = 861 665.53/117.33 c (87,0) x141 = 862 665.53/117.33 c (87,0) x142 = 947 665.53/117.33 c (87,0) x143 = 948 665.53/117.33 c (87,0) x144 = 1057 665.53/117.33 c (87,0) x145 = 1056 665.53/117.33 c (87,0) x146 = 1130 665.53/117.33 c (87,0) x147 = 1131 665.53/117.35 c (87,0) x148 = 1242 665.53/117.35 c (87,0) x149 = 1243 665.53/117.35 c (87,0) x15 = 700 665.53/117.35 c (87,0) x150 = 72 665.53/117.35 c (87,0) x151 = 71 665.53/117.35 c (87,0) x152 = 134 665.53/117.35 c (87,0) x153 = 135 665.53/117.35 c (87,0) x154 = 195 665.53/117.35 c (87,0) x155 = 196 665.53/117.35 c (87,0) x156 = 312 665.53/117.35 c (87,0) x157 = 313 665.53/117.35 c (87,0) x158 = 371 665.53/117.35 c (87,0) x159 = 372 665.53/117.35 c (87,0) x16 = 726 665.53/117.35 c (87,0) x160 = 394 665.53/117.35 c (87,0) x161 = 393 665.53/117.35 c (87,0) x162 = 466 665.53/117.35 c (87,0) x163 = 467 665.53/117.35 c (87,0) x164 = 594 665.53/117.35 c (87,0) x165 = 593 665.53/117.35 c (87,0) x166 = 699 665.53/117.35 c (87,0) x167 = 700 665.53/117.35 c (87,0) x168 = 758 665.53/117.35 c (87,0) x169 = 759 665.53/117.35 c (87,0) x17 = 727 665.53/117.35 c (87,0) x170 = 810 665.53/117.35 c (87,0) x171 = 809 665.53/117.35 c (87,0) x172 = 880 665.53/117.35 c (87,0) x173 = 881 665.53/117.35 c (87,0) x174 = 944 665.53/117.35 c (87,0) x175 = 943 665.53/117.35 c (87,0) x176 = 1020 665.53/117.35 c (87,0) x177 = 1021 665.53/117.35 c (87,0) x178 = 1191 665.53/117.35 c (87,0) x179 = 1192 665.53/117.35 c (87,0) x18 = 825 665.53/117.35 c (87,0) x180 = 17 665.53/117.35 c (87,0) x181 = 16 665.53/117.35 c (87,0) x182 = 167 665.53/117.35 c (87,0) x183 = 168 665.53/117.35 c (87,0) x184 = 246 665.53/117.35 c (87,0) x185 = 245 665.53/117.35 c (87,0) x186 = 336 665.53/117.35 c (87,0) x187 = 337 665.53/117.35 c (87,0) x188 = 371 665.53/117.35 c (87,0) x189 = 370 665.53/117.35 c (87,0) x19 = 826 665.53/117.35 c (87,0) x190 = 416 665.53/117.35 c (87,0) x191 = 417 665.53/117.35 c (87,0) x192 = 426 665.53/117.35 c (87,0) x193 = 425 665.53/117.35 c (87,0) x194 = 434 665.53/117.35 c (87,0) x195 = 435 665.53/117.35 c (87,0) x196 = 504 665.53/117.35 c (87,0) x197 = 503 665.53/117.35 c (87,0) x198 = 574 665.53/117.35 c (87,0) x199 = 575 665.53/117.35 c (87,0) x2 = 205 665.53/117.35 c (87,0) x20 = 875 665.53/117.35 c (87,0) x200 = 649 665.53/117.35 c (87,0) x201 = 648 665.53/117.35 c (87,0) x202 = 927 665.53/117.35 c (87,0) x203 = 926 665.53/117.35 c (87,0) x204 = 1028 665.53/117.35 c (87,0) x205 = 1029 665.53/117.35 c (87,0) x206 = 1098 665.53/117.35 c (87,0) x207 = 1099 665.53/117.35 c (87,0) x208 = 1193 665.53/117.35 c (87,0) x209 = 1192 665.53/117.35 c (87,0) x21 = 874 665.53/117.35 c (87,0) x210 = 0 665.53/117.35 c (87,0) x211 = 1 665.53/117.35 c (87,0) x212 = 61 665.53/117.35 c (87,0) x213 = 60 665.53/117.35 c (87,0) x214 = 165 665.53/117.35 c (87,0) x215 = 190 665.53/117.35 c (87,0) x216 = 354 665.53/117.35 c (87,0) x217 = 353 665.53/117.35 c (87,0) x218 = 434 665.53/117.35 c (87,0) x219 = 433 665.53/117.35 c (87,0) x22 = 918 665.53/117.35 c (87,0) x220 = 497 665.53/117.35 c (87,0) x221 = 498 665.53/117.35 c (87,0) x222 = 604 665.53/117.35 c (87,0) x223 = 605 665.53/117.35 c (87,0) x224 = 628 665.53/117.35 c (87,0) x225 = 627 665.53/117.35 c (87,0) x226 = 692 665.53/117.35 c (87,0) x227 = 691 665.53/117.35 c (87,0) x228 = 833 665.53/117.35 c (87,0) x229 = 832 665.53/117.35 c (87,0) x23 = 919 665.53/117.35 c (87,0) x230 = 858 665.53/117.35 c (87,0) x231 = 857 665.53/117.35 c (87,0) x232 = 918 665.53/117.35 c (87,0) x233 = 917 665.53/117.35 c (87,0) x234 = 930 665.53/117.35 c (87,0) x235 = 931 665.53/117.35 c (87,0) x236 = 992 665.53/117.35 c (87,0) x237 = 993 665.53/117.35 c (87,0) x238 = 1004 665.53/117.35 c (87,0) x239 = 1003 665.53/117.35 c (87,0) x24 = 930 665.53/117.35 c (87,0) x240 = 249 665.53/117.35 c (87,0) x241 = 250 665.53/117.35 c (87,0) x242 = 343 665.53/117.35 c (87,0) x243 = 342 665.53/117.35 c (87,0) x244 = 434 665.53/117.35 c (87,0) x245 = 433 665.53/117.35 c (87,0) x246 = 512 665.53/117.35 c (87,0) x247 = 513 665.53/117.35 c (87,0) x248 = 592 665.53/117.35 c (87,0) x249 = 591 665.53/117.35 c (87,0) x25 = 929 665.53/117.35 c (87,0) x250 = 683 665.53/117.35 c (87,0) x251 = 684 665.53/117.35 c (87,0) x252 = 774 665.53/117.35 c (87,0) x253 = 773 665.53/117.35 c (87,0) x254 = 837 665.53/117.35 c (87,0) x255 = 838 665.53/117.35 c (87,0) x256 = 878 665.53/117.35 c (87,0) x257 = 877 665.53/117.35 c (87,0) x258 = 948 665.53/117.35 c (87,0) x259 = 949 665.53/117.35 c (87,0) x26 = 1168 665.53/117.35 c (87,0) x260 = 967 665.53/117.35 c (87,0) x261 = 966 665.53/117.35 c (87,0) x262 = 1019 665.53/117.35 c (87,0) x263 = 1020 665.53/117.35 c (87,0) x264 = 1103 665.53/117.35 c (87,0) x265 = 1102 665.53/117.35 c (87,0) x266 = 1166 665.53/117.35 c (87,0) x267 = 1167 665.53/117.35 c (87,0) x268 = 1191 665.53/117.35 c (87,0) x269 = 1190 665.53/117.35 c (87,0) x27 = 1169 665.53/117.35 c (87,0) x270 = 0 665.53/117.35 c (87,0) x271 = 1 665.53/117.35 c (87,0) x272 = 6 665.53/117.35 c (87,0) x273 = 5 665.53/117.35 c (87,0) x274 = 41 665.53/117.35 c (87,0) x275 = 42 665.53/117.35 c (87,0) x276 = 236 665.53/117.35 c (87,0) x277 = 235 665.53/117.35 c (87,0) x278 = 318 665.53/117.35 c (87,0) x279 = 319 665.53/117.35 c (87,0) x28 = 1190 665.53/117.35 c (87,0) x280 = 434 665.53/117.35 c (87,0) x281 = 435 665.53/117.35 c (87,0) x282 = 471 665.53/117.35 c (87,0) x283 = 470 665.53/117.35 c (87,0) x284 = 660 665.53/117.35 c (87,0) x285 = 661 665.53/117.35 c (87,0) x286 = 781 665.53/117.35 c (87,0) x287 = 782 665.53/117.35 c (87,0) x288 = 845 665.53/117.35 c (87,0) x289 = 844 665.53/117.35 c (87,0) x29 = 1189 665.53/117.35 c (87,0) x290 = 910 665.53/117.35 c (87,0) x291 = 909 665.53/117.35 c (87,0) x292 = 992 665.53/117.35 c (87,0) x293 = 991 665.53/117.35 c (87,0) x294 = 1086 665.53/117.35 c (87,0) x295 = 1087 665.53/117.35 c (87,0) x296 = 1104 665.53/117.35 c (87,0) x297 = 1103 665.53/117.35 c (87,0) x298 = 1226 665.53/117.35 c (87,0) x299 = 1225 665.53/117.35 c (87,0) x3 = 101 665.53/117.35 c (87,0) x30 = 0 665.53/117.35 c (87,0) x300 = 0 665.53/117.35 c (87,0) x301 = 1 665.53/117.35 c (87,0) x302 = 41 665.53/117.35 c (87,0) x303 = 42 665.53/117.35 c (87,0) x304 = 84 665.53/117.35 c (87,0) x305 = 83 665.53/117.35 c (87,0) x306 = 146 665.53/117.35 c (87,0) x307 = 147 665.53/117.35 c (87,0) x308 = 226 665.53/117.35 c (87,0) x309 = 227 665.53/117.35 c (87,0) x31 = 1 665.53/117.35 c (87,0) x310 = 341 665.53/117.35 c (87,0) x311 = 342 665.53/117.35 c (87,0) x312 = 373 665.53/117.35 c (87,0) x313 = 374 665.53/117.35 c (87,0) x314 = 458 665.53/117.35 c (87,0) x315 = 457 665.53/117.35 c (87,0) x316 = 521 665.53/117.35 c (87,0) x317 = 522 665.53/117.35 c (87,0) x318 = 700 665.53/117.35 c (87,0) x319 = 701 665.53/117.35 c (87,0) x32 = 100 665.53/117.35 c (87,0) x320 = 788 665.53/117.35 c (87,0) x321 = 790 665.53/117.35 c (87,0) x322 = 876 665.53/117.35 c (87,0) x323 = 877 665.53/117.35 c (87,0) x324 = 972 665.53/117.35 c (87,0) x325 = 971 665.53/117.35 c (87,0) x326 = 1022 665.53/117.35 c (87,0) x327 = 1023 665.53/117.35 c (87,0) x328 = 1153 665.53/117.35 c (87,0) x329 = 1152 665.53/117.35 c (87,0) x33 = 99 665.53/117.35 c (87,0) x330 = 61 665.53/117.35 c (87,0) x331 = 60 665.53/117.35 c (87,0) x332 = 85 665.53/117.35 c (87,0) x333 = 84 665.53/117.35 c (87,0) x334 = 264 665.53/117.35 c (87,0) x335 = 265 665.53/117.35 c (87,0) x336 = 300 665.53/117.35 c (87,0) x337 = 301 665.53/117.35 c (87,0) x338 = 338 665.53/117.35 c (87,0) x339 = 337 665.53/117.35 c (87,0) x34 = 130 665.53/117.35 c (87,0) x340 = 384 665.53/117.35 c (87,0) x341 = 385 665.53/117.35 c (87,0) x342 = 640 665.53/117.35 c (87,0) x343 = 639 665.53/117.35 c (87,0) x344 = 661 665.53/117.35 c (87,0) x345 = 660 665.53/117.35 c (87,0) x346 = 670 665.53/117.35 c (87,0) x347 = 669 665.53/117.35 c (87,0) x348 = 729 665.53/117.35 c (87,0) x349 = 728 665.53/117.35 c (87,0) x35 = 129 665.53/117.35 c (87,0) x350 = 851 665.53/117.35 c (87,0) x351 = 879 665.53/117.35 c (87,0) x352 = 934 665.53/117.35 c (87,0) x353 = 935 665.53/117.35 c (87,0) x354 = 986 665.53/117.35 c (87,0) x355 = 987 665.53/117.35 c (87,0) x356 = 995 665.53/117.35 c (87,0) x357 = 994 665.53/117.35 c (87,0) x358 = 1035 665.53/117.35 c (87,0) x359 = 1036 665.53/117.35 c (87,0) x36 = 168 665.53/117.35 c (87,0) x360 = 0 665.53/117.35 c (87,0) x361 = 1 665.53/117.35 c (87,0) x362 = 29 665.53/117.35 c (87,0) x363 = 28 665.53/117.35 c (87,0) x364 = 68 665.53/117.35 c (87,0) x365 = 67 665.53/117.35 c (87,0) x366 = 125 665.53/117.35 c (87,0) x367 = 126 665.53/117.35 c (87,0) x368 = 168 665.53/117.35 c (87,0) x369 = 169 665.53/117.35 c (87,0) x37 = 169 665.53/117.35 c (87,0) x370 = 282 665.53/117.35 c (87,0) x371 = 257 665.53/117.35 c (87,0) x372 = 367 665.53/117.35 c (87,0) x373 = 368 665.53/117.35 c (87,0) x374 = 392 665.53/117.35 c (87,0) x375 = 393 665.53/117.35 c (87,0) x376 = 438 665.53/117.35 c (87,0) x377 = 437 665.53/117.35 c (87,0) x378 = 573 665.53/117.35 c (87,0) x379 = 574 665.53/117.35 c (87,0) x38 = 205 665.53/117.35 c (87,0) x380 = 589 665.53/117.35 c (87,0) x381 = 588 665.53/117.35 c (87,0) x382 = 799 665.53/117.35 c (87,0) x383 = 809 665.53/117.35 c (87,0) x384 = 878 665.53/117.35 c (87,0) x385 = 877 665.53/117.35 c (87,0) x386 = 899 665.53/117.35 c (87,0) x387 = 900 665.53/117.35 c (87,0) x388 = 968 665.53/117.35 c (87,0) x389 = 969 665.53/117.35 c (87,0) x39 = 204 665.53/117.35 c (87,0) x390 = 6 665.53/117.35 c (87,0) x391 = 5 665.53/117.35 c (87,0) x392 = 215 665.53/117.35 c (87,0) x393 = 214 665.53/117.35 c (87,0) x394 = 310 665.53/117.35 c (87,0) x395 = 311 665.53/117.35 c (87,0) x396 = 398 665.53/117.35 c (87,0) x397 = 399 665.53/117.35 c (87,0) x398 = 470 665.53/117.35 c (87,0) x399 = 469 665.53/117.35 c (87,0) x4 = 300 665.53/117.35 c (87,0) x40 = 339 665.53/117.35 c (87,0) x400 = 568 665.53/117.35 c (87,0) x401 = 569 665.53/117.35 c (87,0) x402 = 597 665.53/117.35 c (87,0) x403 = 596 665.53/117.35 c (87,0) x404 = 632 665.53/117.35 c (87,0) x405 = 631 665.53/117.35 c (87,0) x406 = 701 665.53/117.35 c (87,0) x407 = 700 665.53/117.35 c (87,0) x408 = 796 665.53/117.35 c (87,0) x409 = 797 665.53/117.35 c (87,0) x41 = 338 665.53/117.35 c (87,0) x410 = 862 665.53/117.35 c (87,0) x411 = 861 665.53/117.35 c (87,0) x412 = 923 665.53/117.35 c (87,0) x413 = 922 665.53/117.35 c (87,0) x414 = 1020 665.53/117.35 c (87,0) x415 = 1021 665.53/117.35 c (87,0) x416 = 1127 665.53/117.35 c (87,0) x417 = 1128 665.53/117.35 c (87,0) x418 = 1191 665.53/117.35 c (87,0) x419 = 1190 665.53/117.35 c (87,0) x42 = 415 665.53/117.35 c (87,0) x420 = 0 665.53/117.35 c (87,0) x421 = 1 665.53/117.35 c (87,0) x422 = 69 665.53/117.35 c (87,0) x423 = 68 665.53/117.35 c (87,0) x424 = 188 665.53/117.35 c (87,0) x425 = 181 665.53/117.35 c (87,0) x426 = 226 665.53/117.35 c (87,0) x427 = 227 665.53/117.35 c (87,0) x428 = 251 665.53/117.35 c (87,0) x429 = 250 665.53/117.35 c (87,0) x43 = 416 665.53/117.35 c (87,0) x430 = 335 665.53/117.35 c (87,0) x431 = 336 665.53/117.35 c (87,0) x432 = 385 665.53/117.35 c (87,0) x433 = 386 665.53/117.35 c (87,0) x434 = 468 665.53/117.35 c (87,0) x435 = 469 665.53/117.35 c (87,0) x436 = 470 665.53/117.35 c (87,0) x437 = 471 665.53/117.35 c (87,0) x438 = 563 665.53/117.35 c (87,0) x439 = 562 665.53/117.35 c (87,0) x44 = 453 665.53/117.35 c (87,0) x440 = 733 665.53/117.35 c (87,0) x441 = 732 665.53/117.35 c (87,0) x442 = 853 665.53/117.35 c (87,0) x443 = 852 665.53/117.35 c (87,0) x444 = 947 665.53/117.35 c (87,0) x445 = 946 665.53/117.35 c (87,0) x446 = 967 665.53/117.35 c (87,0) x447 = 968 665.53/117.35 c (87,0) x448 = 1086 665.53/117.35 c (87,0) x449 = 1087 665.53/117.35 c (87,0) x45 = 452 665.53/117.35 c (87,0) x46 = 482 665.53/117.35 c (87,0) x47 = 481 665.53/117.35 c (87,0) x48 = 544 665.53/117.35 c (87,0) x49 = 545 665.53/117.35 c (87,0) x5 = 299 665.53/117.35 c (87,0) x50 = 633 665.53/117.35 c (87,0) x51 = 634 665.53/117.35 c (87,0) x52 = 699 665.53/117.35 c (87,0) x53 = 698 665.53/117.35 c (87,0) x54 = 710 665.53/117.35 c (87,0) x55 = 711 665.53/117.35 c (87,0) x56 = 731 665.53/117.35 c (87,0) x57 = 730 665.53/117.35 c (87,0) x58 = 1239 665.53/117.35 c (87,0) x59 = 1240 665.53/117.35 c (87,0) x6 = 374 665.53/117.35 c (87,0) x60 = 0 665.53/117.35 c (87,0) x61 = 1 665.53/117.35 c (87,0) x62 = 154 665.53/117.35 c (87,0) x63 = 155 665.53/117.35 c (87,0) x64 = 222 665.53/117.35 c (87,0) x65 = 221 665.53/117.35 c (87,0) x66 = 328 665.53/117.35 c (87,0) x67 = 329 665.53/117.35 c (87,0) x68 = 420 665.53/117.35 c (87,0) x69 = 419 665.53/117.35 c (87,0) x7 = 375 665.53/117.35 c (87,0) x70 = 550 665.53/117.35 c (87,0) x71 = 549 665.53/117.35 c (87,0) x72 = 631 665.53/117.35 c (87,0) x73 = 632 665.53/117.35 c (87,0) x74 = 693 665.53/117.35 c (87,0) x75 = 692 665.53/117.35 c (87,0) x76 = 820 665.53/117.35 c (87,0) x77 = 821 665.53/117.35 c (87,0) x78 = 867 665.53/117.35 c (87,0) x79 = 866 665.53/117.35 c (87,0) x8 = 461 665.53/117.35 c (87,0) x80 = 930 665.53/117.35 c (87,0) x81 = 929 665.53/117.35 c (87,0) x82 = 952 665.53/117.35 c (87,0) x83 = 953 665.53/117.35 c (87,0) x84 = 1064 665.53/117.35 c (87,0) x85 = 1063 665.53/117.35 c (87,0) x86 = 1102 665.53/117.35 c (87,0) x87 = 1103 665.53/117.35 c (87,0) x88 = 1181 665.53/117.35 c (87,0) x89 = 1180 665.53/117.35 c (87,0) x9 = 460 665.53/117.35 c (87,0) x90 = 1 665.53/117.35 c (87,0) x91 = 0 665.53/117.35 c (87,0) x92 = 235 665.53/117.35 c (87,0) x93 = 234 665.53/117.35 c (87,0) x94 = 283 665.53/117.35 c (87,0) x95 = 282 665.53/117.35 c (87,0) x96 = 382 665.53/117.35 c (87,0) x97 = 383 665.53/117.35 c (87,0) x98 = 519 665.53/117.35 c (87,0) x99 = 531 665.53/117.35 s SATISFIABLE 665.53/117.36 v <instantiation> 665.53/117.36 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> 665.53/117.36 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> 665.53/117.36 v </instantiation> 665.53/117.36 c (87,0) Show results End 665.53/117.36 c (87,0) Heap : 224 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 665.53/117.36 c (87,0) 87,87,STOP-AFTER(ALL) 665.53/117.36 c END-Prog: Tue Sep 24 21:57:06 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 (9652 MiB free)
memory of node 1: 16384 MiB (14992 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405344-1569358592/watcher-4405344-1569358592 -o /tmp/evaluation-result-4405344-1569358592/solver-4405344-1569358592 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569347186-6094 --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-4405344-1569358592.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=7258, runsolver pid=7255
Current StackSize limit: 8192 KiB
[startup+0.100132 s]*
/proc/loadavg: 8.28 8.33 8.35 2/210 7280
/proc/meminfo: memFree=25143640/32770624 swapFree=66999788/67108860
[pid=7258] ppid=7255 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7258/stat : 7258 (scop.sh) S 7255 7258 6067 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512113245 115843072 349 33554432000 4194304 5098028 140731122329584 140731122326840 140381929767548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18132992 140731122332453 140731122332780 140731122332780 140731122335693 0
/proc/7258/statm: 28282 349 296 221 0 87 0
[pid=7261] ppid=7258 vsize=27314120 memory=104348 CPUtime=0.1 cores=0-7
/proc/7261/stat : 7261 (java) S 7258 7258 6067 0 -1 1077944320 6139 0 0 0 8 2 0 0 20 0 20 0 512113246 27969658880 26087 33554432000 4194304 4196468 140734494726064 140734494708608 139768121962231 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
/proc/7261/statm: 6828530 26087 2813 1 0 6790935 0
[pid=7261/tid=7262] ppid=7258 vsize=27314120 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/7261/task/7262/stat : 7262 (java) R 7258 7258 6067 0 -1 4202560 4213 0 0 0 7 2 0 0 20 0 20 0 512113246 27969658880 26599 33554432000 4194304 4196468 140734494726064 139768093794568 139768107401389 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7263] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7263/stat : 7263 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139768126204432 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7264] ppid=7258 vsize=27314120 memory=15961005375407768 CPUtime=0 cores=0-7
/proc/7261/task/7264/stat : 7264 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767909599888 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7265] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7265/stat : 7265 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767908546832 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7266] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7266/stat : 7266 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767907494288 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7267] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7267/stat : 7267 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767906442256 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7268] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7268/stat : 7268 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767905389712 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7269] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7269/stat : 7269 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767904336656 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7270] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7270/stat : 7270 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767903284112 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7271] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7271/stat : 7271 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767381477616 139768121973378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7272] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7272/stat : 7272 (java) S 7258 7258 6067 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 26599 33554432000 4194304 4196468 140734494726064 139765886215328 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7273] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7273/stat : 7273 (java) S 7258 7258 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 26599 33554432000 4194304 4196468 140734494726064 139765751993072 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7274] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7274/stat : 7274 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139765377488848 139768121980827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7275] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7275/stat : 7275 (java) S 7258 7258 6067 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767380425456 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7276] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7276/stat : 7276 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767379372912 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7277] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7277/stat : 7277 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767378319856 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7278] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7278/stat : 7278 (java) S 7258 7258 6067 0 -1 1077944384 269 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767377267312 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7279] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7279/stat : 7279 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139764879583712 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7280] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7280/stat : 7280 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 26599 33554432000 4194304 4196468 140734494726064 139767376214704 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 105744 KiB
[startup+0.21042 s]*
/proc/loadavg: 8.28 8.33 8.35 3/210 7280
/proc/meminfo: memFree=25121772/32770624 swapFree=66999788/67108860
[pid=7258] ppid=7255 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7258/stat : 7258 (scop.sh) S 7255 7258 6067 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512113245 115843072 349 33554432000 4194304 5098028 140731122329584 140731122326840 140381929767548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18132992 140731122332453 140731122332780 140731122332780 140731122335693 0
/proc/7258/statm: 28282 349 296 221 0 87 0
[pid=7261] ppid=7258 vsize=27314120 memory=123412 CPUtime=0.24 cores=0-7
/proc/7261/stat : 7261 (java) S 7258 7258 6067 0 -1 1077944320 11738 0 0 0 20 4 0 0 20 0 20 0 512113246 27969658880 30853 33554432000 4194304 4196468 140734494726064 140734494708608 139768121962231 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
/proc/7261/statm: 6828530 30853 2938 1 0 6790935 0
[pid=7261/tid=7262] ppid=7258 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/7261/task/7262/stat : 7262 (java) R 7258 7258 6067 0 -1 4202560 9419 0 0 0 16 4 0 0 20 0 20 0 512113246 27969658880 30853 33554432000 4194304 4196468 140734494726064 139768093786192 139768103527209 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7263] ppid=7258 vsize=27314120 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/7261/task/7263/stat : 7263 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139768126204432 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7264] ppid=7258 vsize=27314120 memory=3904813785951028896 CPUtime=0 cores=0-7
/proc/7261/task/7264/stat : 7264 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767909599888 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7265] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7265/stat : 7265 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767908546832 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7266] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7266/stat : 7266 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767907494288 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7267] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7267/stat : 7267 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767906442256 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7268] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7268/stat : 7268 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767905389712 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7269] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7269/stat : 7269 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767904336656 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7270] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7270/stat : 7270 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767903284112 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7271] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7271/stat : 7271 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767381477616 139768121973378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7272] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7272/stat : 7272 (java) S 7258 7258 6067 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 30853 33554432000 4194304 4196468 140734494726064 139765886215328 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7273] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7273/stat : 7273 (java) S 7258 7258 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 30853 33554432000 4194304 4196468 140734494726064 139765751993072 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7274] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7274/stat : 7274 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139765377488848 139768121980827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7275] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7275/stat : 7275 (java) S 7258 7258 6067 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767380425456 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7276] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7276/stat : 7276 (java) S 7258 7258 6067 0 -1 1077944384 171 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767379372912 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7277] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7277/stat : 7277 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767378319856 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7278] ppid=7258 vsize=27314120 memory=0 CPUtime=0.02 cores=0-7
/proc/7261/task/7278/stat : 7278 (java) S 7258 7258 6067 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767377267312 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7279] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7279/stat : 7279 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139764879583712 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7280] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7280/stat : 7280 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 30853 33554432000 4194304 4196468 140734494726064 139767376214704 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 124808 KiB
[startup+0.310146 s]*
/proc/loadavg: 8.28 8.33 8.35 2/210 7280
/proc/meminfo: memFree=25119992/32770624 swapFree=66999788/67108860
[pid=7258] ppid=7255 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7258/stat : 7258 (scop.sh) S 7255 7258 6067 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512113245 115843072 349 33554432000 4194304 5098028 140731122329584 140731122326840 140381929767548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18132992 140731122332453 140731122332780 140731122332780 140731122335693 0
/proc/7258/statm: 28282 349 296 221 0 87 0
[pid=7261] ppid=7258 vsize=27314120 memory=127460 CPUtime=0.43 cores=0-7
/proc/7261/stat : 7261 (java) S 7258 7258 6067 0 -1 1077944320 12295 0 0 0 38 5 0 0 20 0 20 0 512113246 27969658880 31865 33554432000 4194304 4196468 140734494726064 140734494708608 139768121962231 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
/proc/7261/statm: 6828530 31865 3038 1 0 6790935 0
[pid=7261/tid=7262] ppid=7258 vsize=27314120 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/7261/task/7262/stat : 7262 (java) R 7258 7258 6067 0 -1 4202560 9787 0 0 0 26 4 0 0 20 0 20 0 512113246 27969658880 31865 33554432000 4194304 4196468 140734494726064 139768093792304 139768103525791 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7263] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7263/stat : 7263 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139768126204432 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7264] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7264/stat : 7264 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767909599888 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7265] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7265/stat : 7265 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767908546832 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7266] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7266/stat : 7266 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767907494288 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7267] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7267/stat : 7267 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767906442256 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7268] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7268/stat : 7268 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767905389712 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7269] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7269/stat : 7269 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767904336656 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7270] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7270/stat : 7270 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113248 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767903284112 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7271] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7271/stat : 7271 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767381477616 139768121973378 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7272] ppid=7258 vsize=27314120 memory=279833494101376 CPUtime=0 cores=0-7
/proc/7261/task/7272/stat : 7272 (java) S 7258 7258 6067 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 31865 33554432000 4194304 4196468 140734494726064 139765886215328 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7273] ppid=7258 vsize=27314120 memory=279833494105984 CPUtime=0 cores=0-7
/proc/7261/task/7273/stat : 7273 (java) S 7258 7258 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 512113250 27969658880 31865 33554432000 4194304 4196468 140734494726064 139765751993072 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7274] ppid=7258 vsize=27314120 memory=279833494110592 CPUtime=0 cores=0-7
/proc/7261/task/7274/stat : 7274 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139765377488848 139768121980827 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7275] ppid=7258 vsize=27314120 memory=279833494115200 CPUtime=0 cores=0-7
/proc/7261/task/7275/stat : 7275 (java) S 7258 7258 6067 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767380425456 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7276] ppid=7258 vsize=27314120 memory=279833494119808 CPUtime=0.01 cores=0-7
/proc/7261/task/7276/stat : 7276 (java) S 7258 7258 6067 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767379372912 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7277] ppid=7258 vsize=27314120 memory=279833494124416 CPUtime=0.02 cores=0-7
/proc/7261/task/7277/stat : 7277 (java) S 7258 7258 6067 0 -1 1077944384 123 0 0 0 2 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767378319856 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7278] ppid=7258 vsize=27314120 memory=279833494129024 CPUtime=0.07 cores=0-7
/proc/7261/task/7278/stat : 7278 (java) S 7258 7258 6067 0 -1 1077944384 518 0 0 0 7 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767377267312 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7279] ppid=7258 vsize=27314120 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7279/stat : 7279 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139764879583712 139768121972437 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7280] ppid=7258 vsize=27314120 memory=-1 CPUtime=0 cores=0-7
/proc/7261/task/7280/stat : 7280 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113253 27969658880 31865 33554432000 4194304 4196468 140734494726064 139767376214704 139768121973378 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 27427248 KiB
Current children cumulated memory: 128856 KiB
[startup+0.701528 s]
/proc/loadavg: 8.28 8.33 8.35 3/210 7280
/proc/meminfo: memFree=25098536/32770624 swapFree=66999788/67108860
[pid=7258] ppid=7255 vsize=113128 memory=1396 CPUtime=0 cores=0-7
/proc/7258/stat : 7258 (scop.sh) S 7255 7258 6067 0 -1 4202496 556 320 0 0 0 0 0 0 20 0 1 0 512113245 115843072 349 33554432000 4194304 5098028 140731122329584 140731122326840 140381929767548 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 18132992 140731122332453 140731122332780 140731122332780 140731122335693 0
/proc/7258/statm: 28282 349 296 221 0 87 0
[pid=7261] ppid=7258 vsize=27320392 memory=163448 CPUtime=1.02 cores=0-7
/proc/7261/stat : 7261 (java) S 7258 7258 6067 0 -1 1077944320 20030 0 0 0 95 7 0 0 20 0 20 0 512113246 27976081408 40862 33554432000 4194304 4196468 140734494726064 140734494708608 139768121962231 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
/proc/7261/statm: 6830098 40862 3183 1 0 6791447 0
[pid=7261/tid=7262] ppid=7258 vsize=27320392 memory=4580 CPUtime=0.68 cores=0-7
/proc/7261/task/7262/stat : 7262 (java) R 7258 7258 6067 0 -1 4202560 16845 0 0 0 62 6 0 0 20 0 20 0 512113246 27976081408 40862 33554432000 4194304 4196468 140734494726064 139768093799760 139768121974166 0 4 2 25189581 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7263] ppid=7258 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7263/stat : 7263 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27976081408 40862 33554432000 4194304 4196468 140734494726064 139768126204432 139768121972437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7264] ppid=7258 vsize=27320392 memory=0 CPUtime=0 cores=0-7
/proc/7261/task/7264/stat : 7264 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 512113248 27976081408 40862 33554432000 4194304 4196468 140734494726064 139767909599888 139768121972437 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
[pid=7261/tid=7265] ppid=7258 vsize=27320392 memory=3648 CPUtime=0 cores=0-7
/proc/7261/task/7265/stat : 7265 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 512113248 27976081408 40862 33554432000 4194304 4196468 140734494726064 139767908546832 139768121972437 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10338304 140734494733036 140734494733462 140734494733462 140734494736335 0
################
# More data... #
################
[pid=7282/tid=7283] ppid=7258 vsize=8414124 memory=1476 CPUtime=0.79 cores=0-7
/proc/7282/task/7283/stat : 7283 (java) S 7258 7258 6067 0 -1 1077944384 17266 0 0 0 74 5 0 0 20 0 24 0 512116112 8616062976 30021 33554432000 4194304 4196468 140733952694352 139871083446176 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7284] ppid=7258 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7282/task/7284/stat : 7284 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139871115848592 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7285] ppid=7258 vsize=8414124 memory=7686721470267561882 CPUtime=0 cores=0-7
/proc/7282/task/7285/stat : 7285 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870916016912 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7286] ppid=7258 vsize=8414124 memory=120084 CPUtime=0 cores=0-7
/proc/7282/task/7286/stat : 7286 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870914964624 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7287] ppid=7258 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7282/task/7287/stat : 7287 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870913911824 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7288] ppid=7258 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7282/task/7288/stat : 7288 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870912858512 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7289] ppid=7258 vsize=8414124 memory=7686721470267561882 CPUtime=0 cores=0-7
/proc/7282/task/7289/stat : 7289 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870592821520 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7290] ppid=7258 vsize=8414124 memory=860 CPUtime=0 cores=0-7
/proc/7282/task/7290/stat : 7290 (java) S 7258 7258 6067 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870591769232 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7291] ppid=7258 vsize=8414124 memory=1980 CPUtime=0 cores=0-7
/proc/7282/task/7291/stat : 7291 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512116149 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870590716432 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7292] ppid=7258 vsize=8414124 memory=2552 CPUtime=0 cores=0-7
/proc/7282/task/7292/stat : 7292 (java) S 7258 7258 6067 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 24 0 512116151 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870473419376 139871111617154 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7293] ppid=7258 vsize=8414124 memory=8042 CPUtime=0 cores=0-7
/proc/7282/task/7293/stat : 7293 (java) S 7258 7258 6067 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 512116151 8616062976 30021 33554432000 4194304 4196468 140733952694352 139869569410336 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7294] ppid=7258 vsize=8414124 memory=8042 CPUtime=0 cores=0-7
/proc/7282/task/7294/stat : 7294 (java) S 7258 7258 6067 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 512116151 8616062976 30021 33554432000 4194304 4196468 140733952694352 139869435188848 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7295] ppid=7258 vsize=8414124 memory=8047 CPUtime=0 cores=0-7
/proc/7282/task/7295/stat : 7295 (java) S 7258 7258 6067 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 512116154 8616062976 30021 33554432000 4194304 4196468 140733952694352 139869060684368 139871111624603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7296] ppid=7258 vsize=8414124 memory=79 CPUtime=0.09 cores=0-7
/proc/7282/task/7296/stat : 7296 (java) S 7258 7258 6067 0 -1 1077944384 593 0 0 0 9 0 0 0 20 0 24 0 512116154 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870472366192 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7297] ppid=7258 vsize=8414124 memory=0 CPUtime=0.08 cores=0-7
/proc/7282/task/7297/stat : 7297 (java) S 7258 7258 6067 0 -1 1077944384 495 0 0 0 8 0 0 0 20 0 24 0 512116154 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870471313392 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7298] ppid=7258 vsize=8414124 memory=0 CPUtime=0.07 cores=0-7
/proc/7282/task/7298/stat : 7298 (java) S 7258 7258 6067 0 -1 1077944384 438 0 0 0 7 0 0 0 20 0 24 0 512116154 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870470261104 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7299] ppid=7258 vsize=8414124 memory=0 CPUtime=0.22 cores=0-7
/proc/7282/task/7299/stat : 7299 (java) S 7258 7258 6067 0 -1 1077944384 780 0 0 0 22 0 0 0 20 0 24 0 512116154 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870469208304 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7300] ppid=7258 vsize=8414124 memory=1476 CPUtime=0 cores=0-7
/proc/7282/task/7300/stat : 7300 (java) S 7258 7258 6067 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 512116154 8616062976 30021 33554432000 4194304 4196468 140733952694352 139868562778976 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7301] ppid=7258 vsize=8414124 memory=120084 CPUtime=0.06 cores=0-7
/proc/7282/task/7301/stat : 7301 (java) S 7258 7258 6067 0 -1 1077944384 7 0 0 0 2 4 0 0 20 0 24 0 512116155 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870468156208 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7303] ppid=7258 vsize=8414124 memory=3088636 CPUtime=0 cores=0-7
/proc/7282/task/7303/stat : 7303 (java) S 7258 7258 6067 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 512116224 8616062976 30021 33554432000 4194304 4196468 140733952694352 139870460122944 139871111630617 0 4 2 25189581 18446744071579417331 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7305] ppid=7258 vsize=8414124 memory=8967489062657 CPUtime=0 cores=0-7
/proc/7282/task/7305/stat : 7305 (java) S 7258 7258 6067 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 24 0 512116224 8616062976 30021 33554432000 4194304 4196468 140733952694352 139867891678640 139871111627933 0 4 2 25189581 18446744071580971376 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7306] ppid=7258 vsize=8414124 memory=8976078996993 CPUtime=0 cores=0-7
/proc/7282/task/7306/stat : 7306 (java) S 7258 7258 6067 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 24 0 512116224 8616062976 30021 33554432000 4194304 4196468 140733952694352 139868160113968 139871111627933 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7307] ppid=7258 vsize=8414124 memory=9049093441025 CPUtime=0 cores=0-7
/proc/7282/task/7307/stat : 7307 (java) S 7258 7258 6067 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 24 0 512116226 8616062976 30021 33554432000 4194304 4196468 140733952694352 139867623251248 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
Current children cumulated CPU time: 664.4 s
Current children cumulated vsize: 12293372 KiB
Current children cumulated memory: 3210412 KiB
[startup+117.201 s]
/proc/loadavg: 6.02 7.36 7.98 3/215 7320
/proc/meminfo: memFree=21863992/32770624 swapFree=66999788/67108860
[pid=7258] ppid=7255 vsize=113128 memory=1476 CPUtime=37.95 cores=0-7
/proc/7258/stat : 7258 (scop.sh) S 7255 7258 6067 0 -1 4202496 583 36056 0 0 0 0 3601 194 20 0 1 0 512113245 115843072 369 33554432000 4194304 5098028 140731122329584 140731122326328 140381929767548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18132992 140731122332453 140731122332780 140731122332780 140731122335693 0
/proc/7258/statm: 28282 369 311 221 0 87 0
[pid=7282] ppid=7258 vsize=8283048 memory=197592 CPUtime=627.34 cores=0-7
/proc/7282/stat : 7282 (java) S 7258 7258 6067 0 -1 1077944320 22002 4374769 0 0 175 9 61845 705 20 0 22 0 512116112 8481841152 49398 33554432000 4194304 4196468 140733952694352 140733952676896 139871111606007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
/proc/7282/statm: 2070762 49398 3229 1 0 2032106 0
[pid=7282/tid=7283] ppid=7258 vsize=8283048 memory=120084 CPUtime=626.29 cores=0-7
/proc/7282/task/7283/stat : 7283 (java) R 7258 7258 6067 0 -1 4202560 17280 4374769 0 0 74 5 61845 705 20 0 22 0 512116112 8481841152 49398 33554432000 4194304 4196468 140733952694352 139871083446176 139871111617942 0 4 2 25189581 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7284] ppid=7258 vsize=8283048 memory=3088852 CPUtime=625.5 cores=0-7
/proc/7282/task/7284/stat : 7284 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139871115848592 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7285] ppid=7258 vsize=8283048 memory=1760 CPUtime=625.5 cores=0-7
/proc/7282/task/7285/stat : 7285 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870916016912 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7286] ppid=7258 vsize=8283048 memory=4206468019014099040 CPUtime=625.5 cores=0-7
/proc/7282/task/7286/stat : 7286 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870914964624 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7287] ppid=7258 vsize=8283048 memory=-2276395272229541278 CPUtime=625.5 cores=0-7
/proc/7282/task/7287/stat : 7287 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870913911824 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7288] ppid=7258 vsize=8283048 memory=6943526294502006880 CPUtime=625.5 cores=0-7
/proc/7282/task/7288/stat : 7288 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870912858512 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7289] ppid=7258 vsize=8283048 memory=6944656592455360604 CPUtime=625.5 cores=0-7
/proc/7282/task/7289/stat : 7289 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870592821520 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7290] ppid=7258 vsize=8283048 memory=279833493897456 CPUtime=625.5 cores=0-7
/proc/7282/task/7290/stat : 7290 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870591769232 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7291] ppid=7258 vsize=8283048 memory=279833493897456 CPUtime=625.5 cores=0-7
/proc/7282/task/7291/stat : 7291 (java) S 7258 7258 6067 0 -1 1077944384 3 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870590716432 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7292] ppid=7258 vsize=8283048 memory=279833493897456 CPUtime=625.5 cores=0-7
/proc/7282/task/7292/stat : 7292 (java) S 7258 7258 6067 0 -1 1077944384 6 4374769 0 0 0 0 61845 705 20 0 22 0 512116151 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870473419376 139871111617154 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7293] ppid=7258 vsize=8283048 memory=288230574492221466 CPUtime=625.5 cores=0-7
/proc/7282/task/7293/stat : 7293 (java) S 7258 7258 6067 0 -1 1077944384 13 4374769 0 0 0 0 61845 705 20 0 22 0 512116151 8481841152 49398 33554432000 4194304 4196468 140733952694352 139869569410336 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7294] ppid=7258 vsize=8283048 memory=288230617509003574 CPUtime=625.5 cores=0-7
/proc/7282/task/7294/stat : 7294 (java) S 7258 7258 6067 0 -1 1077944384 21 4374769 0 0 0 0 61845 705 20 0 22 0 512116151 8481841152 49398 33554432000 4194304 4196468 140733952694352 139869435188848 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7295] ppid=7258 vsize=8283048 memory=15252636593031516 CPUtime=625.5 cores=0-7
/proc/7282/task/7295/stat : 7295 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116154 8481841152 49398 33554432000 4194304 4196468 140733952694352 139869060684368 139871111624603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7296] ppid=7258 vsize=8283048 memory=2116 CPUtime=625.65 cores=0-7
/proc/7282/task/7296/stat : 7296 (java) S 7258 7258 6067 0 -1 1077944384 803 4374769 0 0 15 0 61845 705 20 0 22 0 512116154 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870472366192 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7297] ppid=7258 vsize=8283048 memory=24216 CPUtime=625.67 cores=0-7
/proc/7282/task/7297/stat : 7297 (java) S 7258 7258 6067 0 -1 1077944384 523 4374769 0 0 17 0 61845 705 20 0 22 0 512116154 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870471313392 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7298] ppid=7258 vsize=8283048 memory=12024 CPUtime=625.63 cores=0-7
/proc/7282/task/7298/stat : 7298 (java) S 7258 7258 6067 0 -1 1077944384 661 4374769 0 0 13 0 61845 705 20 0 22 0 512116154 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870470261104 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7299] ppid=7258 vsize=8283048 memory=1556 CPUtime=625.78 cores=0-7
/proc/7282/task/7299/stat : 7299 (java) R 7258 7258 6067 0 -1 4202560 1085 4374769 0 0 28 0 61845 705 20 0 22 0 512116154 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870469208304 139871111617942 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7300] ppid=7258 vsize=8283048 memory=500 CPUtime=625.5 cores=0-7
/proc/7282/task/7300/stat : 7300 (java) S 7258 7258 6067 0 -1 1077944384 3 4374769 0 0 0 0 61845 705 20 0 22 0 512116154 8481841152 49398 33554432000 4194304 4196468 140733952694352 139868562778976 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7301] ppid=7258 vsize=8283048 memory=928 CPUtime=625.56 cores=0-7
/proc/7282/task/7301/stat : 7301 (java) S 7258 7258 6067 0 -1 1077944384 7 4374769 0 0 2 4 61845 705 20 0 22 0 512116155 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870468156208 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7303] ppid=7258 vsize=8283048 memory=1728 CPUtime=625.5 cores=0-7
/proc/7282/task/7303/stat : 7303 (java) S 7258 7258 6067 0 -1 1077944384 24 4374769 0 0 0 0 61845 705 20 0 22 0 512116224 8481841152 49398 33554432000 4194304 4196468 140733952694352 139870460122128 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7307] ppid=7258 vsize=8283048 memory=1476 CPUtime=625.5 cores=0-7
/proc/7282/task/7307/stat : 7307 (java) S 7258 7258 6067 0 -1 1077944384 12 4374769 0 0 0 0 61845 705 20 0 22 0 512116226 8481841152 49398 33554432000 4194304 4196468 140733952694352 139867623253040 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
Current children cumulated CPU time: 665.29 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 199068 KiB
[startup+117.301 s]
/proc/loadavg: 6.02 7.36 7.98 3/215 7320
/proc/meminfo: memFree=21863992/32770624 swapFree=66999788/67108860
[pid=7258] ppid=7255 vsize=113128 memory=1476 CPUtime=37.95 cores=0-7
/proc/7258/stat : 7258 (scop.sh) S 7255 7258 6067 0 -1 4202496 583 36056 0 0 0 0 3601 194 20 0 1 0 512113245 115843072 369 33554432000 4194304 5098028 140731122329584 140731122326328 140381929767548 0 65536 4100 81923 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 18132992 140731122332453 140731122332780 140731122332780 140731122335693 0
/proc/7258/statm: 28282 369 311 221 0 87 0
[pid=7282] ppid=7258 vsize=8283048 memory=219300 CPUtime=627.58 cores=0-7
/proc/7282/stat : 7282 (java) S 7258 7258 6067 0 -1 1077944320 22353 4374769 0 0 199 9 61845 705 20 0 22 0 512116112 8481841152 54825 33554432000 4194304 4196468 140733952694352 140733952676896 139871111606007 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
/proc/7282/statm: 2070762 54825 3234 1 0 2032106 0
[pid=7282/tid=7283] ppid=7258 vsize=8283048 memory=1476 CPUtime=626.39 cores=0-7
/proc/7282/task/7283/stat : 7283 (java) R 7258 7258 6067 0 -1 4202560 17444 4374769 0 0 84 5 61845 705 20 0 22 0 512116112 8481841152 54825 33554432000 4194304 4196468 140733952694352 139871083444992 139871095686494 0 4 2 25189581 0 0 0 -1 5 0 0 35 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7284] ppid=7258 vsize=8283048 memory=0 CPUtime=625.5 cores=0-7
/proc/7282/task/7284/stat : 7284 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139871115848592 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7285] ppid=7258 vsize=8283048 memory=7957976416919710827 CPUtime=625.5 cores=0-7
/proc/7282/task/7285/stat : 7285 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870916016912 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7286] ppid=7258 vsize=8283048 memory=0 CPUtime=625.5 cores=0-7
/proc/7282/task/7286/stat : 7286 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870914964624 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7287] ppid=7258 vsize=8283048 memory=590024538733962790 CPUtime=625.5 cores=0-7
/proc/7282/task/7287/stat : 7287 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870913911824 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7288] ppid=7258 vsize=8283048 memory=9087748146433 CPUtime=625.5 cores=0-7
/proc/7282/task/7288/stat : 7288 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870912858512 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7289] ppid=7258 vsize=8283048 memory=33453097618154 CPUtime=625.5 cores=0-7
/proc/7282/task/7289/stat : 7289 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870592821520 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7290] ppid=7258 vsize=8283048 memory=2024 CPUtime=625.5 cores=0-7
/proc/7282/task/7290/stat : 7290 (java) S 7258 7258 6067 0 -1 1077944384 2 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870591769232 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7291] ppid=7258 vsize=8283048 memory=1376 CPUtime=625.5 cores=0-7
/proc/7282/task/7291/stat : 7291 (java) S 7258 7258 6067 0 -1 1077944384 3 4374769 0 0 0 0 61845 705 20 0 22 0 512116149 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870590716432 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7292] ppid=7258 vsize=8283048 memory=0 CPUtime=625.5 cores=0-7
/proc/7282/task/7292/stat : 7292 (java) S 7258 7258 6067 0 -1 1077944384 6 4374769 0 0 0 0 61845 705 20 0 22 0 512116151 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870473419376 139871111617154 0 0 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7293] ppid=7258 vsize=8283048 memory=1476 CPUtime=625.5 cores=0-7
/proc/7282/task/7293/stat : 7293 (java) S 7258 7258 6067 0 -1 1077944384 13 4374769 0 0 0 0 61845 705 20 0 22 0 512116151 8481841152 54825 33554432000 4194304 4196468 140733952694352 139869569410336 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7294] ppid=7258 vsize=8283048 memory=33 CPUtime=625.5 cores=0-7
/proc/7282/task/7294/stat : 7294 (java) S 7258 7258 6067 0 -1 1077944384 21 4374769 0 0 0 0 61845 705 20 0 22 0 512116151 8481841152 54825 33554432000 4194304 4196468 140733952694352 139869435188848 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7295] ppid=7258 vsize=8283048 memory=279833495144000 CPUtime=625.5 cores=0-7
/proc/7282/task/7295/stat : 7295 (java) S 7258 7258 6067 0 -1 1077944384 1 4374769 0 0 0 0 61845 705 20 0 22 0 512116154 8481841152 54825 33554432000 4194304 4196468 140733952694352 139869060684368 139871111624603 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7296] ppid=7258 vsize=8283048 memory=0 CPUtime=625.69 cores=0-7
/proc/7282/task/7296/stat : 7296 (java) S 7258 7258 6067 0 -1 1077944384 877 4374769 0 0 19 0 61845 705 20 0 22 0 512116154 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870472366192 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7297] ppid=7258 vsize=8283048 memory=0 CPUtime=625.69 cores=0-7
/proc/7282/task/7297/stat : 7297 (java) S 7258 7258 6067 0 -1 1077944384 531 4374769 0 0 19 0 61845 705 20 0 22 0 512116154 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870471313392 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7298] ppid=7258 vsize=8283048 memory=119308 CPUtime=625.67 cores=0-7
/proc/7282/task/7298/stat : 7298 (java) R 7258 7258 6067 0 -1 4202560 699 4374769 0 0 17 0 61845 705 20 0 22 0 512116154 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870470251024 139871111627354 0 4 2 25189581 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7299] ppid=7258 vsize=8283048 memory=3071868 CPUtime=625.81 cores=0-7
/proc/7282/task/7299/stat : 7299 (java) R 7258 7258 6067 0 -1 4202560 1152 4374769 0 0 31 0 61845 705 20 0 22 0 512116154 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870469208304 139871111627354 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7300] ppid=7258 vsize=8283048 memory=1476 CPUtime=625.5 cores=0-7
/proc/7282/task/7300/stat : 7300 (java) S 7258 7258 6067 0 -1 1077944384 3 4374769 0 0 0 0 61845 705 20 0 22 0 512116154 8481841152 54825 33554432000 4194304 4196468 140733952694352 139868562778976 139871111616213 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7301] ppid=7258 vsize=8283048 memory=120084 CPUtime=625.56 cores=0-7
/proc/7282/task/7301/stat : 7301 (java) S 7258 7258 6067 0 -1 1077944384 7 4374769 0 0 2 4 61845 705 20 0 22 0 512116155 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870468156208 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7303] ppid=7258 vsize=8283048 memory=3088852 CPUtime=625.5 cores=0-7
/proc/7282/task/7303/stat : 7303 (java) S 7258 7258 6067 0 -1 1077944384 24 4374769 0 0 0 0 61845 705 20 0 22 0 512116224 8481841152 54825 33554432000 4194304 4196468 140733952694352 139870460122128 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
[pid=7282/tid=7307] ppid=7258 vsize=8283048 memory=120084 CPUtime=625.5 cores=0-7
/proc/7282/task/7307/stat : 7307 (java) S 7258 7258 6067 0 -1 1077944384 12 4374769 0 0 0 0 61845 705 20 0 22 0 512116226 8481841152 54825 33554432000 4194304 4196468 140733952694352 139867623253040 139871111617154 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29597696 140733952701432 140733952701590 140733952701590 140733952704463 0
Current children cumulated CPU time: 665.53 s
Current children cumulated vsize: 8396176 KiB
Current children cumulated memory: 220776 KiB
Child status: 0
Real time (s): 117.397
CPU time (s): 665.715
CPU user time (s): 656.576
CPU system time (s): 9.13934
CPU usage (%): 567.064
Max. virtual memory (cumulated for all children) (KiB): 27443924
Max. memory (cumulated for all children) (KiB): 6056584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 656.576
system time used= 9.13934
maximum resident set size= 6056008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4435113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 313024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60559
involuntary context switches= 6171
# summary of solver processes directly reported to runsolver:
# pid: 7258
# total CPU time (s): 665.715
# total CPU user time (s): 656.576
# total CPU system time (s): 9.13934
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.02434 second user time and 1.56126 second system time
The end
Begin job on node106 at 2019-09-24 21:55:09 IDJOB=4405344 IDBENCH=138492 IDSOLVER=2867 FILE ID=node106/4405344-1569358592 RUNJOBID= node106-1569347186-6094 PBS_JOBID= 21705098 Free space on /tmp= 23488 MiB SOLVER NAME= Fun-sCOP order+ManyGlucose (2019-09-22) 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-4405344-1569358592/watcher-4405344-1569358592 -o /tmp/evaluation-result-4405344-1569358592/solver-4405344-1569358592 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569347186-6094 --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-4405344-1569358592.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c67201b80d2f8cf37dc6fc32cd78d58c RANDOM SEED=626664710 node106.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.79 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: 25237032 kB MemAvailable: 31846088 kB Buffers: 99804 kB Cached: 6679936 kB SwapCached: 4548 kB Active: 3391896 kB Inactive: 3398732 kB Active(anon): 4724 kB Inactive(anon): 58004 kB Active(file): 3387172 kB Inactive(file): 3340728 kB Unevictable: 107484 kB Mlocked: 107484 kB SwapTotal: 67108860 kB SwapFree: 66999788 kB Dirty: 20988 kB Writeback: 0 kB AnonPages: 125644 kB Mapped: 54800 kB Shmem: 43744 kB Slab: 338092 kB SReclaimable: 309616 kB SUnreclaim: 28476 kB KernelStack: 3696 kB PageTables: 5220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 505744 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 81920 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 23468 MiB End job on node106 at 2019-09-24 21:57:06