Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
Fun-sCOP hybrid+ManyGlucose (2019-06-15) | SAT | 2469.71 | 321.639 |
Name | Primes/ Primes-m1-p10/Primes-10-40-2-7.xml |
MD5SUM | c03c7f5b7c3afa870e2bbdca7571e3a2 |
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 | 0.264843 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 100 |
Number of constraints | 40 |
Number of domains | 1 |
Minimum domain size | 28 |
Maximum domain size | 28 |
Distribution of domain sizes | [{"size":28,"count":88}] |
Minimum variable degree | 0 |
Maximum variable degree | 7 |
Distribution of variable degrees | [{"degree":0,"count":12},{"degree":1,"count":20},{"degree":2,"count":25},{"degree":3,"count":20},{"degree":4,"count":12},{"degree":5,"count":5},{"degree":6,"count":3},{"degree":7,"count":3}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 9 |
Distribution of constraint arities | [{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":2},{"arity":6,"count":7},{"arity":7,"count":4},{"arity":8,"count":9},{"arity":9,"count":6}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":40}] |
Optimization problem | NO |
Type of objective |
0.00/0.00 c (scop.sh) java -Xms22g -Xmx22g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Encode -hybrid -solver HOME/manyglucose-4.1-27_release -solverOption -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 -tmp HOME -serialFile HOME/scop-24837-serial-file.bin HOME/instance-4392685-1568433489.xml 0.65/0.54 0.65/0.54 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 0.65/0.54 0.65/0.57 c BEGIN-Prog: Sat Sep 14 05:57:27 CEST 2019 0.65/0.57 c PID: 24840 0.65/0.57 c IP: 172.20.3.117 0.65/0.57 c HOST: node117.alineos.net 0.65/0.58 c (0,0) Parsing Begin 1.38/0.90 c (0,0) Parsing End 1.38/0.91 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 40 ctr, max domain size 28 1.38/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.38/0.91 c (0,0) Constraint Name Generate Begin 1.38/0.91 c (0,0) Ctr:HOME/instance-4392685-1568433489.xml,Num:Var:WeightedSum 1.38/0.91 c (0,0) Constraint Name Generate End 1.38/0.91 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 18 MiB used (max 0 MiB) 1.38/0.91 c (0,0) CSP to CSPinCNF Begin 1.54/1.01 c (0,0) translated 4 (10%) constraints 1.54/1.02 c (0,0) translated 8 (20%) constraints 1.54/1.03 c (0,0) translated 12 (30%) constraints 1.54/1.04 c (0,0) translated 16 (40%) constraints 1.54/1.05 c (0,0) translated 20 (50%) constraints 1.54/1.06 c (0,0) translated 24 (60%) constraints 1.54/1.07 c (0,0) translated 28 (70%) constraints 1.54/1.07 c (0,0) translated 32 (80%) constraints 1.54/1.07 c (0,0) translated 36 (90%) constraints 1.54/1.08 c (0,0) translated 40 (100%) constraints 1.54/1.08 c (0,0) =========================================== 1.54/1.09 c (0,0) Hybrid: #OE=1, #LE=87 1.54/1.09 c (0,0) Hybrid 1.54/1.09 c (0,0) =========================================== 1.54/1.10 c (0,0) translated 4 (10%) constraints 1.54/1.10 c (0,0) translated 8 (20%) constraints 1.80/1.11 c (0,0) translated 12 (30%) constraints 1.80/1.11 c (0,0) translated 16 (40%) constraints 1.80/1.12 c (0,0) translated 20 (50%) constraints 1.80/1.12 c (0,0) translated 24 (60%) constraints 1.80/1.13 c (0,0) translated 28 (70%) constraints 1.80/1.13 c (0,0) translated 32 (80%) constraints 1.80/1.13 c (0,0) translated 36 (90%) constraints 1.80/1.13 c (0,0) translated 40 (100%) constraints 1.80/1.14 c (0,0) CSP to CSPinCNF End 1.80/1.14 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28 1.80/1.14 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 20 MiB used (max 0 MiB) 1.80/1.14 c (0,0) CSPinCNF Propagation Begin 1.80/1.15 c (0,0) 0 values, 0 unsatisfiable literals, and 0 valid clauses are removed 1.80/1.15 c (0,0) CSPinCNF Propagation End 1.80/1.15 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28 1.80/1.15 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.80/1.16 c (0,0) Hybrid: #OE=1, #LE=87 1.80/1.16 c (0,0) Simplify CSPinCNF Begin 1.80/1.16 c (0,0) Simplify CSPinCNF End 1.80/1.16 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28 1.80/1.16 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.80/1.16 c (0,0) Calculate Precise Domain Begin 1.80/1.17 c (0,0) 0 values are removed by re-calculation 1.80/1.17 c (0,0) Calculate Precise Domain End 1.80/1.17 c (0,0) CSP: 88 int (0 aux), 0 bool (0 aux), 80 ctr, max domain size 28 1.80/1.17 c (0,0) Heap : 225 MiB used (max 21589 MiB), NonHeap : 21 MiB used (max 0 MiB) 1.80/1.17 c (0,0) CSPinCNF to SatSolver Begin 2.97/1.53 c (0,0) 8 (10 %) CSP clauses are encoded (0 SAT variables, 72162 SAT clauses) 3.07/1.61 c (1,1) 16 (20 %) CSP clauses are encoded (0 SAT variables, 109610 SAT clauses) 3.19/1.75 c (1,1) 24 (30 %) CSP clauses are encoded (0 SAT variables, 174457 SAT clauses) 3.45/1.94 c (1,1) 32 (40 %) CSP clauses are encoded (0 SAT variables, 258448 SAT clauses) 3.60/2.08 c (1,1) 40 (50 %) CSP clauses are encoded (0 SAT variables, 311571 SAT clauses) 3.80/2.20 c (1,1) 48 (60 %) CSP clauses are encoded (0 SAT variables, 365092 SAT clauses) 3.92/2.36 c (1,1) 56 (70 %) CSP clauses are encoded (0 SAT variables, 436184 SAT clauses) 4.03/2.46 c (1,1) 64 (80 %) CSP clauses are encoded (0 SAT variables, 479129 SAT clauses) 4.13/2.59 c (1,1) 72 (90 %) CSP clauses are encoded (0 SAT variables, 497906 SAT clauses) 4.13/2.59 c (2,2) 80 (100 %) CSP clauses are encoded (0 SAT variables, 521645 SAT clauses) 4.13/2.59 c (2,2) CSPinCNF to SatSolver End 4.13/2.59 c (2,2) Heap : 1239 MiB used (max 21589 MiB), NonHeap : 24 MiB used (max 0 MiB) 4.13/2.59 c (2,2) 192573 bool, 521719 clause 4.13/2.59 c (2,2) Export Begin 4.45/2.71 c (2,2) Export to HOME/scop-24837-serial-file.bin 4.45/2.71 c (2,2) Export End 4.45/2.72 c (2,2) Export File Size: 0.08 MB 4.45/2.72 c (2,2) 0,0,0,0,0,0,2,STOP-AFTER(DIMACS) 4.45/2.72 c END-Prog: Sat Sep 14 05:57:29 CEST 2019 0.00/3.08 c (scop.sh) java -Xms4g -Xmx4g -Xss128m -cp HOME/scop.jar fun.scop.XCSP19Solve HOME/scop-24837-serial-file.bin 4.53/3.54 c (0,0) Read Serial File Begin 4.53/3.54 c (0,0) HOME/scop-24837-serial-file.bin 4.53/3.79 c (0,0) Read Serial File End 4.53/3.80 4.53/3.80 Fun-sCOP hybrid+manyglucose-4.1-27_release (2019-06-15) 4.53/3.80 (Solving Process) 4.53/3.80 4.53/3.82 c BEGIN-Prog: Sat Sep 14 05:57:30 CEST 2019 4.53/3.82 c PID: 24860 4.53/3.82 c IP: 172.20.3.117 4.53/3.82 c HOST: node117.alineos.net 4.53/3.83 c (0,0) SatSolver.solve Begin 4.53/3.83 c (0,0) HOME/manyglucose-4.1-27_release -model -nthreads=8 -maxmemory=20000 -lit-scans=6000000 HOME/instance-4392685-1568433489.xml-scop-24840.cnf 4.53/3.85 c (0,0) c 4.53/3.85 c (0,0) c This is deterministic version of glucose-syrup 4.1-27 (glucose in many threads) -- based on MiniSAT (Many thanks to MiniSAT team) 4.53/3.85 c (0,0) c 4.53/3.85 c (0,0) c WARNING: for repeatability, setting FPU to use double precision 4.53/3.85 c (0,0) c 8 solvers engines and 1 companion as a blackboard created. 4.53/3.85 c (0,0) c ========================================[ Problem Statistics ]=========================================== 4.53/3.85 c (0,0) c | | 6.02/4.09 c (0,0) c | Number of variables: 192573 | 6.02/4.09 c (0,0) c | Number of clauses: 521558 | 6.02/4.09 c (0,0) c | Parse time: 0.22 s | 6.02/4.09 c (0,0) c | | 6.71/4.77 c (1,0) c | Simplification time: 0.67 s | 6.71/4.77 c (1,0) c | | 6.71/4.77 c (1,0) c | Generating clones | 7.12/5.13 c (1,0) c | all clones generated. Memory = 568.26Mb. | 7.12/5.13 c (1,0) c ========================================================================================================| 7.12/5.13 c (1,0) c 7.12/5.13 c (1,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 7.12/5.13 c (1,0) c 7.12/5.13 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.12/5.13 c (1,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 7.12/5.13 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 7.12/5.13 c (1,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 7.12/5.13 c (1,0) c | adaptStrategeis | True | False | True | False | True | False | True | False | 7.12/5.13 c (1,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 7.12/5.13 c (1,0) c | Initial random_seed | 91648253 | 91648254 | 91648255 | 91648256 | 91648257 | 91648258 | 91648259 | 91648260 | 7.12/5.13 c (1,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 7.12/5.13 c (1,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 7.12/5.13 c (1,0) c | glureduce | True | True | True | True | True | True | True | True | 7.12/5.13 c (1,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 7.12/5.13 c (1,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 7.12/5.13 c (1,0) c | luby_restart | False | False | False | False | False | False | False | False | 7.12/5.13 c (1,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 7.12/5.13 c (1,0) c | var_decay | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 0.8000 | 7.12/5.13 c (1,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 7.12/5.13 c (1,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 7.12/5.13 c (1,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 7.12/5.13 c (1,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 243.83/35.00 c (31,0) c 243.83/35.00 c (31,0) c |------------------------------------------------------------------------------------------------------------------------| 243.83/35.00 c (31,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 243.83/35.00 c (31,0) c |------------------------------------------------------------------------------------------------------------------------| 243.83/35.00 c (31,0) c | 0 | 197 | 196981 | 42359 | 172339 | 16265 | 6242 | 36878 | 3155 | 95 | 20 | 0.971 | 243.83/35.00 c (31,0) c | 1 | 231 | 226207 | 43684 | 174148 | 17591 | 6272 | 38559 | 3474 | 100 | 20 | 0.979 | 243.83/35.00 c (31,0) c | 2 | 229 | 218676 | 47150 | 179257 | 21048 | 7014 | 40083 | 3671 | 104 | 20 | 0.972 | 243.83/35.00 c (31,0) c | 3 | 228 | 206339 | 45941 | 173250 | 19844 | 6771 | 40277 | 3635 | 105 | 20 | 0.976 | 243.83/35.00 c (31,0) c | 4 | 245 | 222466 | 48862 | 179260 | 22769 | 6840 | 41486 | 4173 | 107 | 20 | 0.978 | 243.83/35.00 c (31,0) c | 5 | 203 | 220333 | 50130 | 188689 | 24043 | 7213 | 41112 | 3970 | 107 | 20 | 0.977 | 243.83/35.00 c (31,0) c | 6 | 248 | 209295 | 45806 | 178127 | 19706 | 6243 | 39826 | 3702 | 102 | 20 | 0.972 | 243.83/35.00 c (31,0) c | 7 | 229 | 210780 | 47120 | 184526 | 21021 | 7017 | 40569 | 3777 | 106 | 20 | 0.974 | 243.83/35.00 c (31,0) c 243.83/35.00 c (31,0) c synthesis 371053 conflicts 900171160 propagations 1561 conflicts/sec 3787834 propagations/sec 243.83/35.00 c (31,0) c real: 31.1517 s, cpu: 237.648 s, memory: 1133.40 Mb 475.09/64.02 c (60,0) c 475.09/64.02 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 475.09/64.02 c (60,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 475.09/64.02 c (60,0) c |------------------------------------------------------------------------------------------------------------------------| 475.09/64.02 c (60,0) c | 0 | 377 | 331740 | 73874 | 209423 | 20310 | 9871 | 64794 | 7110 | 186 | 20 | 1.007 | 475.09/64.02 c (60,0) c | 1 | 385 | 357824 | 75037 | 211107 | 21470 | 9844 | 66317 | 7450 | 190 | 20 | 1.012 | 475.09/64.02 c (60,0) c | 2 | 408 | 369558 | 80675 | 217922 | 27103 | 10717 | 68078 | 7734 | 199 | 20 | 1.007 | 475.09/64.02 c (60,0) c | 3 | 415 | 357416 | 78169 | 212536 | 24617 | 10352 | 68055 | 7501 | 198 | 20 | 1.007 | 475.09/64.02 c (60,0) c | 4 | 417 | 369122 | 84507 | 211436 | 30942 | 10735 | 69548 | 8415 | 204 | 20 | 1.012 | 475.09/64.03 c (60,0) c | 5 | 373 | 350822 | 82726 | 215037 | 29161 | 11063 | 68286 | 8232 | 201 | 20 | 1.007 | 475.09/64.03 c (60,0) c | 6 | 471 | 353562 | 80543 | 217551 | 26977 | 9963 | 68544 | 8131 | 198 | 20 | 1.007 | 475.09/64.03 c (60,0) c | 7 | 384 | 332530 | 79920 | 211719 | 26355 | 10838 | 68347 | 7928 | 200 | 20 | 1.014 | 475.09/64.03 c (60,0) c 475.09/64.03 c (60,0) c synthesis 635451 conflicts 1729777541 propagations 1356 conflicts/sec 3690231 propagations/sec 475.09/64.03 c (60,0) c real: 60.1517 s, cpu: 468.745 s, memory: 1581.40 Mb 704.48/93.00 c (89,0) c 704.48/93.00 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 704.48/93.00 c (89,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 704.48/93.00 c (89,0) c |------------------------------------------------------------------------------------------------------------------------| 704.48/93.00 c (89,0) c | 0 | 542 | 441571 | 102808 | 224342 | 31640 | 12768 | 86448 | 10593 | 273 | 20 | 1.026 | 704.48/93.00 c (89,0) c | 1 | 558 | 476978 | 105733 | 230121 | 34563 | 12701 | 88306 | 11015 | 279 | 20 | 1.026 | 704.48/93.00 c (89,0) c | 2 | 587 | 487019 | 110947 | 235581 | 39768 | 13727 | 90447 | 11534 | 293 | 20 | 1.029 | 704.48/93.00 c (89,0) c | 3 | 597 | 490782 | 110148 | 232308 | 38982 | 13583 | 90384 | 11112 | 292 | 20 | 1.029 | 704.48/93.00 c (89,0) c | 4 | 537 | 453297 | 108676 | 226291 | 37509 | 13365 | 87608 | 11209 | 280 | 20 | 1.026 | 704.48/93.00 c (89,0) c | 5 | 561 | 485282 | 114244 | 233791 | 22859 | 14105 | 90114 | 11854 | 292 | 20 | 1.029 | 704.48/93.00 c (89,0) c | 6 | 618 | 444979 | 105934 | 232166 | 34783 | 12556 | 87274 | 11189 | 274 | 20 | 1.026 | 704.48/93.00 c (89,0) c | 7 | 597 | 458652 | 111319 | 230354 | 40164 | 13909 | 90283 | 11705 | 292 | 20 | 1.029 | 704.48/93.00 c (89,0) c 704.48/93.00 c (89,0) c synthesis 869810 conflicts 2505279150 propagations 1246 conflicts/sec 3588933 propagations/sec 704.48/93.00 c (89,0) c real: 89.1517 s, cpu: 698.057 s, memory: 1261.40 Mb 932.18/122.00 c (118,0) c 932.18/122.00 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 932.18/122.00 c (118,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 932.18/122.00 c (118,0) c |------------------------------------------------------------------------------------------------------------------------| 932.18/122.00 c (118,0) c | 0 | 705 | 552463 | 131251 | 237124 | 39866 | 15468 | 103933 | 13584 | 360 | 20 | 1.033 | 932.18/122.00 c (118,0) c | 1 | 689 | 582002 | 134608 | 240937 | 43242 | 15304 | 106824 | 14134 | 368 | 20 | 1.036 | 932.18/122.00 c (118,0) c | 2 | 719 | 580404 | 138692 | 245922 | 24526 | 16346 | 108357 | 14648 | 380 | 20 | 1.040 | 932.18/122.00 c (118,0) c | 3 | 748 | 587093 | 138159 | 242508 | 24010 | 16082 | 108811 | 14095 | 380 | 20 | 1.040 | 932.18/122.00 c (118,0) c | 4 | 689 | 569297 | 138618 | 240530 | 24443 | 16017 | 107584 | 14364 | 375 | 20 | 1.040 | 932.18/122.00 c (118,0) c | 5 | 702 | 587336 | 142283 | 245537 | 28103 | 16644 | 108060 | 14668 | 380 | 20 | 1.042 | 932.18/122.00 c (118,0) c | 6 | 813 | 568605 | 136263 | 245609 | 44913 | 15342 | 106711 | 14496 | 367 | 20 | 1.036 | 932.18/122.00 c (118,0) c | 7 | 766 | 558692 | 137694 | 239469 | 23531 | 16305 | 108750 | 14684 | 380 | 20 | 1.040 | 932.18/122.00 c (118,0) c 932.18/122.00 c (118,0) c synthesis 1097568 conflicts 3278904857 propagations 1186 conflicts/sec 3542378 propagations/sec 932.18/122.00 c (118,0) c real: 118.152 s, cpu: 925.622 s, memory: 1453.40 Mb 1170.90/152.00 c (148,0) c 1170.90/152.00 c (148,0) c |------------------------------------------------------------------------------------------------------------------------| 1170.90/152.00 c (148,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1170.90/152.00 c (148,0) c |------------------------------------------------------------------------------------------------------------------------| 1170.90/152.00 c (148,0) c | 0 | 831 | 668020 | 163304 | 248201 | 49124 | 18120 | 122453 | 16454 | 455 | 20 | 1.105 | 1170.90/152.00 c (148,0) c | 1 | 856 | 690394 | 163867 | 249706 | 49697 | 17642 | 124743 | 17096 | 463 | 20 | 1.105 | 1170.90/152.00 c (148,0) c | 2 | 821 | 673399 | 166020 | 253449 | 26451 | 19070 | 125815 | 17252 | 475 | 20 | 1.106 | 1170.90/152.00 c (148,0) c | 3 | 916 | 693305 | 164688 | 249982 | 50537 | 18275 | 124131 | 16718 | 462 | 20 | 1.105 | 1170.90/152.00 c (148,0) c | 4 | 851 | 674544 | 168885 | 247923 | 29307 | 18568 | 126260 | 17555 | 473 | 20 | 1.106 | 1170.90/152.00 c (148,0) c | 5 | 861 | 700836 | 171349 | 253282 | 31759 | 19081 | 126035 | 17653 | 475 | 20 | 1.106 | 1170.90/152.00 c (148,0) c | 6 | 984 | 689831 | 166973 | 257867 | 27408 | 17988 | 124892 | 17461 | 465 | 20 | 1.106 | 1170.90/152.00 c (148,0) c | 7 | 890 | 648164 | 162988 | 248889 | 48819 | 18507 | 123159 | 16954 | 463 | 20 | 1.105 | 1170.90/152.00 c (148,0) c 1170.90/152.00 c (148,0) c synthesis 1328074 conflicts 4068436415 propagations 1141 conflicts/sec 3494460 propagations/sec 1170.90/152.00 c (148,0) c real: 148.152 s, cpu: 1164.25 s, memory: 1419.15 Mb 1400.96/181.00 c (177,0) c 1400.96/181.00 c (177,0) c |------------------------------------------------------------------------------------------------------------------------| 1400.96/181.00 c (177,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1400.96/181.00 c (177,0) c |------------------------------------------------------------------------------------------------------------------------| 1400.96/181.00 c (177,0) c | 0 | 964 | 766395 | 190984 | 255026 | 51401 | 20355 | 138683 | 19198 | 546 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 1 | 963 | 796575 | 193017 | 258715 | 53439 | 19998 | 141455 | 19598 | 556 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 2 | 958 | 776680 | 192575 | 260041 | 53005 | 21152 | 141573 | 19751 | 563 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 3 | 1024 | 791894 | 190549 | 255843 | 50985 | 20552 | 139278 | 19246 | 549 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 4 | 992 | 769582 | 195603 | 254495 | 28018 | 20694 | 142044 | 20140 | 563 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 5 | 979 | 793099 | 197815 | 259564 | 30230 | 21348 | 141921 | 20253 | 566 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 6 | 1163 | 795125 | 194606 | 264707 | 55040 | 20029 | 140960 | 20147 | 554 | 20 | 1.115 | 1400.96/181.00 c (177,0) c | 7 | 1016 | 748014 | 192288 | 255980 | 52702 | 20921 | 141030 | 19604 | 559 | 20 | 1.115 | 1400.96/181.00 c (177,0) c 1400.96/181.00 c (177,0) c synthesis 1547437 conflicts 4820550681 propagations 1110 conflicts/sec 3458065 propagations/sec 1400.96/181.00 c (177,0) c real: 177.152 s, cpu: 1394 s, memory: 1291.15 Mb 1637.78/211.00 c (207,0) c 1637.78/211.00 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1637.78/211.00 c (207,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1637.78/211.00 c (207,0) c |------------------------------------------------------------------------------------------------------------------------| 1637.78/211.00 c (207,0) c | 0 | 1114 | 879121 | 218995 | 261583 | 51423 | 22503 | 153875 | 21703 | 637 | 20 | 1.117 | 1637.78/211.00 c (207,0) c | 1 | 1088 | 917562 | 221802 | 266159 | 54234 | 22184 | 156308 | 22110 | 650 | 20 | 1.120 | 1637.78/211.00 c (207,0) c | 2 | 1082 | 875308 | 220357 | 265471 | 52772 | 23179 | 156527 | 22136 | 657 | 20 | 1.121 | 1637.78/211.00 c (207,0) c | 3 | 1142 | 895756 | 219720 | 262016 | 52140 | 22669 | 155168 | 21677 | 646 | 20 | 1.120 | 1637.78/211.00 c (207,0) c | 4 | 1108 | 858541 | 223606 | 259838 | 56019 | 22844 | 156714 | 22441 | 657 | 20 | 1.121 | 1637.78/211.00 c (207,0) c | 5 | 1135 | 892805 | 225182 | 264443 | 57591 | 23378 | 156316 | 22665 | 656 | 20 | 1.124 | 1637.78/211.00 c (207,0) c | 6 | 1328 | 903319 | 221840 | 269508 | 54261 | 21848 | 155402 | 22468 | 642 | 20 | 1.117 | 1637.78/211.00 c (207,0) c | 7 | 1138 | 840073 | 220342 | 260784 | 52754 | 23079 | 156411 | 21999 | 656 | 20 | 1.121 | 1637.78/211.00 c (207,0) c 1637.78/211.00 c (207,0) c synthesis 1771844 conflicts 5595380312 propagations 1087 conflicts/sec 3431909 propagations/sec 1637.78/211.00 c (207,0) c real: 207.152 s, cpu: 1630.4 s, memory: 1163.15 Mb 1859.29/240.00 c (236,0) c 1859.29/240.00 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1859.29/240.00 c (236,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 1859.29/240.00 c (236,0) c |------------------------------------------------------------------------------------------------------------------------| 1859.29/240.00 c (236,0) c | 0 | 1255 | 963878 | 242893 | 265494 | 44707 | 24303 | 166125 | 23800 | 721 | 20 | 1.124 | 1859.29/240.00 c (236,0) c | 1 | 1160 | 1000914 | 247401 | 270607 | 49248 | 24101 | 169618 | 24210 | 739 | 20 | 1.124 | 1859.29/240.00 c (236,0) c | 2 | 1157 | 954108 | 245215 | 268568 | 47026 | 25111 | 167131 | 24021 | 741 | 20 | 1.124 | 1859.29/240.00 c (236,0) c | 3 | 1260 | 997935 | 247256 | 267251 | 49074 | 24650 | 168921 | 24017 | 740 | 20 | 1.124 | 1859.29/240.00 c (236,0) c | 4 | 1215 | 933242 | 247834 | 264478 | 49648 | 24646 | 169318 | 24397 | 741 | 20 | 1.128 | 1859.29/240.00 c (236,0) c | 5 | 1234 | 993631 | 250437 | 268196 | 52251 | 25145 | 168732 | 24550 | 741 | 20 | 1.129 | 1859.29/240.00 c (236,0) c | 6 | 1436 | 1000337 | 249465 | 273668 | 51298 | 23802 | 168418 | 24689 | 735 | 20 | 1.124 | 1859.29/240.00 c (236,0) c | 7 | 1263 | 930431 | 245681 | 266443 | 47520 | 24684 | 169186 | 24256 | 741 | 20 | 1.124 | 1859.29/240.00 c (236,0) c 1859.29/240.00 c (236,0) c synthesis 1976182 conflicts 6322670466 propagations 1067 conflicts/sec 3414694 propagations/sec 1859.29/240.00 c (236,0) c real: 236.152 s, cpu: 1851.61 s, memory: 1163.15 Mb 2091.32/270.00 c (266,0) c 2091.32/270.00 c (266,0) c |------------------------------------------------------------------------------------------------------------------------| 2091.32/270.00 c (266,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2091.32/270.00 c (266,0) c |------------------------------------------------------------------------------------------------------------------------| 2091.32/270.00 c (266,0) c | 0 | 1362 | 1042100 | 268342 | 269924 | 36977 | 26308 | 178648 | 25926 | 812 | 20 | 1.133 | 2091.32/270.00 c (266,0) c | 1 | 1276 | 1108804 | 274348 | 274408 | 42981 | 25915 | 183477 | 26522 | 832 | 20 | 1.133 | 2091.32/270.00 c (266,0) c | 2 | 1267 | 1028222 | 269710 | 272738 | 38341 | 27250 | 182182 | 26016 | 832 | 20 | 1.133 | 2091.32/270.00 c (266,0) c | 3 | 1368 | 1087840 | 274809 | 272553 | 43419 | 26712 | 182120 | 26258 | 831 | 20 | 1.133 | 2091.32/270.00 c (266,0) c | 4 | 1312 | 1019476 | 273851 | 268153 | 42472 | 26445 | 182375 | 26400 | 832 | 20 | 1.133 | 2091.32/270.00 c (266,0) c | 5 | 1357 | 1081249 | 276407 | 272657 | 45019 | 27145 | 182238 | 26707 | 832 | 20 | 1.134 | 2091.32/270.00 c (266,0) c | 6 | 1516 | 1087377 | 279847 | 276882 | 48483 | 25862 | 183669 | 26684 | 832 | 20 | 1.133 | 2091.32/270.00 c (266,0) c | 7 | 1373 | 1016113 | 271798 | 271325 | 40433 | 26770 | 182545 | 26468 | 831 | 20 | 1.133 | 2091.32/270.00 c (266,0) c 2091.32/270.00 c (266,0) c synthesis 2189112 conflicts 7072873084 propagations 1051 conflicts/sec 3394791 propagations/sec 2091.32/270.00 c (266,0) c real: 266.152 s, cpu: 2083.45 s, memory: 1163.15 Mb 2318.33/299.00 c (295,0) c 2318.33/299.00 c (295,0) c |------------------------------------------------------------------------------------------------------------------------| 2318.33/299.00 c (295,0) c | id | starts | decisions | confls | Init T | learnts | exported | imported | promoted | period | mrg | % | 2318.33/299.00 c (295,0) c |------------------------------------------------------------------------------------------------------------------------| 2318.33/299.00 c (295,0) c | 0 | 1490 | 1136402 | 294587 | 272961 | 63220 | 28001 | 193656 | 28153 | 903 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 1 | 1367 | 1193545 | 300164 | 277428 | 68797 | 27774 | 195303 | 28457 | 923 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 2 | 1369 | 1118563 | 295497 | 276862 | 64128 | 29067 | 195994 | 28079 | 922 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 3 | 1467 | 1173521 | 299118 | 275063 | 67728 | 29056 | 195612 | 28030 | 920 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 4 | 1396 | 1096710 | 298756 | 272638 | 67377 | 28265 | 196379 | 28419 | 920 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 5 | 1473 | 1167355 | 301040 | 276125 | 69651 | 28761 | 195727 | 28853 | 919 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 6 | 1607 | 1167597 | 302618 | 279390 | 71253 | 27373 | 195466 | 28796 | 915 | 20 | 1.134 | 2318.33/299.00 c (295,0) c | 7 | 1500 | 1106344 | 298655 | 275365 | 67291 | 29182 | 196017 | 28520 | 922 | 20 | 1.134 | 2318.33/299.00 c (295,0) c 2318.33/299.00 c (295,0) c synthesis 2390435 conflicts 7793142234 propagations 1035 conflicts/sec 3373526 propagations/sec 2318.33/299.00 c (295,0) c real: 295.152 s, cpu: 2310.09 s, memory: 1163.15 Mb 2468.96/321.36 c (317,0) c 2468.96/321.36 c (317,0) c real time : 317.511 s 2468.96/321.36 c (317,0) c cpu time : 2459.87 s 2468.96/321.36 c (317,0) c 2468.96/321.36 c (317,0) c 2468.96/321.37 c (317,0) c 2468.96/321.37 c (317,0) c |---------------------------------------- FINAL STATS --------------------------------------------------| 2468.96/321.37 c (317,0) c 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c | Threads | Total | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c | Conflicts | 2521129 | 314640 | 314462 | 311182 | 315594 | 314591 | 316661 | 319738 | 314261 | 2468.96/321.37 c (317,0) c | Decisions | 9638940 | 1203592 | 1236863 | 1213769 | 1226949 | 1154836 | 1216734 | 1226858 | 1159339 | 2468.96/321.37 c (317,0) c | Propagations | 8259622333 | 1037063293 | 1027118358 | 1035670307 | 1031772329 | 1029099761 | 1027017060 | 1037675932 | 1034205293 | 2468.96/321.37 c (317,0) c | ReduceDBs | 120 | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 15 | 2468.96/321.37 c (317,0) c | SimpDBs | 651 | 80 | 86 | 77 | 83 | 82 | 83 | 81 | 79 | 2468.96/321.37 c (317,0) c | Restarts | 12159 | 1584 | 1393 | 1445 | 1546 | 1436 | 1526 | 1681 | 1548 | 2468.96/321.37 c (317,0) c | ForcedImports | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2468.96/321.37 c (317,0) c | PropBinClauses| 3243806072 | 411432240 | 394365176 | 406409009 | 401814478 | 401905106 | 408923657 | 412598827 | 406357579 | 2468.96/321.37 c (317,0) c | PropPreBlocker| 20406710171 | 2553872375 | 2547805576 | 2560210085 | 2549671309 | 2547925340 | 2547342906 | 2548329315 | 2551553265 | 2468.96/321.37 c (317,0) c | PropNotBlocker| 9710521685 | 1219046327 | 1206485652 | 1217317244 | 1211806463 | 1209487213 | 1215097019 | 1215621782 | 1215659985 | 2468.96/321.37 c (317,0) c | LitFullScans | 46818771702 | 5851095578 | 5857374506 | 5852342109 | 5850946315 | 5850860740 | 5851461181 | 5850992088 | 5853699185 | 2468.96/321.37 c (317,0) c | LitScanFracts | 8665213 | 1059378 | 1372306 | 1142948 | 941785 | 858750 | 1455500 | 947788 | 886758 | 2468.96/321.37 c (317,0) c | DecisionLevel0| 12403 | 1614 | 1426 | 1468 | 1573 | 1470 | 1565 | 1707 | 1580 | 2468.96/321.37 c (317,0) c | Periods | 7801 | 975 | 976 | 975 | 975 | 975 | 975 | 975 | 975 | 2468.96/321.37 c (317,0) c | Margin | 160 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 20 | 2468.96/321.37 c (317,0) c | Avg_Trail | | 36651 | 38217 | 37146 | 37461 | 37083 | 36442 | 36501 | 37105 | 2468.96/321.37 c (317,0) c | Avg_DL | | 52 | 58 | 54 | 55 | 54 | 55 | 55 | 53 | 2468.96/321.37 c (317,0) c | Avg_Res | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2468.96/321.37 c (317,0) c | Avg_Res_Seen | | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c | Exported | 236282 | 29316 | 28765 | 30000 | 30111 | 29206 | 29903 | 28634 | 30347 | 2468.96/321.37 c (317,0) c | Imported | 1629311 | 203595 | 204045 | 203212 | 203098 | 204152 | 203231 | 204878 | 203100 | 2468.96/321.37 c (317,0) c | Good | 20889 | 2624 | 2647 | 2604 | 2627 | 2658 | 2588 | 2551 | 2590 | 2468.96/321.37 c (317,0) c | Purge | 1608422 | 200971 | 201398 | 200608 | 200471 | 201494 | 200643 | 202327 | 200510 | 2468.96/321.37 c (317,0) c | Promoted | 236592 | 29661 | 29437 | 29256 | 29258 | 29478 | 29877 | 30026 | 29599 | 2468.96/321.37 c (317,0) c | Remove_Imp | 993984 | 125476 | 122633 | 126857 | 124831 | 123820 | 124021 | 122560 | 123786 | 2468.96/321.37 c (317,0) c | Blocked_Reuse | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c | Unaries | | 30 | 33 | 23 | 27 | 34 | 39 | 26 | 32 | 2468.96/321.37 c (317,0) c | Binaries | | 360 | 336 | 382 | 358 | 331 | 396 | 435 | 395 | 2468.96/321.37 c (317,0) c | Glues | | 1703 | 1640 | 1694 | 1713 | 1713 | 1789 | 1942 | 1713 | 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c | Orig_Seen | 62 % | 274800 | 278661 | 279506 | 276995 | 274081 | 277696 | 281389 | 276831 | 2468.96/321.37 c (317,0) c | Diff Orig seen| | - 4706 | - 845 | X | - 2511 | - 5425 | - 1810 | 1883 | - 2675 | 2468.96/321.37 c (317,0) c | Hamming | 10 % | 19953 | 20292 | X | 19631 | 19983 | 19980 | 20390 | 20362 | 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c | RunningTime | | 315.1 100%| 309.3 100%| 303.3 98%| 312.8 99%| 307.4 98%| 303.6 98%| 315.5 100%| 303.8 98%| 2468.96/321.37 c (317,0) c | WaitingTime | | 0.0 0%| 0.7 0%| 6.6 2%| 1.5 0%| 6.5 2%| 7.2 2%| 0.5 0%| 6.3 2%| 2468.96/321.37 c (317,0) c | ExchangingTime| | 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 0.1 0%| 2468.96/321.37 c (317,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%| 2468.96/321.37 c (317,0) c | SolvingTime | | 315.2 | 310.2 | 310.1 | 314.4 | 314.0 | 311.0 | 316.2 | 310.2 | 2468.96/321.37 c (317,0) c | PropagationTim| | 273.5 87%| 266.9 86%| 266.3 86%| 270.0 86%| 269.2 86%| 267.5 86%| 269.1 85%| 266.9 86%| 2468.96/321.37 c (317,0) c | AnalysisTime | | 21.7 7%| 23.2 7%| 23.5 8%| 23.3 7%| 24.2 8%| 22.7 7%| 25.7 8%| 22.8 7%| 2468.96/321.37 c (317,0) c | ReductionTime | | 0.9 0%| 0.9 0%| 0.9 0%| 0.9 0%| 0.9 0%| 0.9 0%| 0.9 0%| 0.9 0%| 2468.96/321.37 c (317,0) c | SimplifyTime | | 1.3 0%| 1.7 1%| 1.7 1%| 1.5 0%| 1.5 0%| 1.9 1%| 1.5 0%| 1.6 1%| 2468.96/321.37 c (317,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%| 2468.96/321.37 c (317,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%| 2468.96/321.37 c (317,0) c |---------------|-----------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.37 c (317,0) c 2468.96/321.37 c (317,0) c 2468.96/321.37 c (317,0) c Threads : 8 2468.96/321.37 c (317,0) c Winner : 2 2468.96/321.37 c (317,0) c Conflicts_0 : 314640 2468.96/321.37 c (317,0) c Conflicts_1 : 314462 2468.96/321.38 c (317,0) c Conflicts_2 : 311182 2468.96/321.38 c (317,0) c Conflicts_3 : 315594 2468.96/321.38 c (317,0) c Conflicts_4 : 314591 2468.96/321.38 c (317,0) c Conflicts_5 : 316661 2468.96/321.38 c (317,0) c Conflicts_6 : 319738 2468.96/321.38 c (317,0) c Conflicts_7 : 314261 2468.96/321.38 c (317,0) c Conflicts_total : 2521129 2468.96/321.38 c (317,0) c Conflicts_winner : 311182 2468.96/321.38 c (317,0) c Decisions_0 : 1203592 2468.96/321.38 c (317,0) c Decisions_1 : 1236863 2468.96/321.38 c (317,0) c Decisions_2 : 1213769 2468.96/321.38 c (317,0) c Decisions_3 : 1226949 2468.96/321.38 c (317,0) c Decisions_4 : 1154836 2468.96/321.38 c (317,0) c Decisions_5 : 1216734 2468.96/321.38 c (317,0) c Decisions_6 : 1226858 2468.96/321.38 c (317,0) c Decisions_7 : 1159339 2468.96/321.38 c (317,0) c Decisions_total : 9638940 2468.96/321.38 c (317,0) c Decisions_winner : 1213769 2468.96/321.38 c (317,0) c Propagations_0 : 1037063293 2468.96/321.38 c (317,0) c Propagations_1 : 1027118358 2468.96/321.38 c (317,0) c Propagations_2 : 1035670307 2468.96/321.38 c (317,0) c Propagations_3 : 1031772329 2468.96/321.38 c (317,0) c Propagations_4 : 1029099761 2468.96/321.38 c (317,0) c Propagations_5 : 1027017060 2468.96/321.38 c (317,0) c Propagations_6 : 1037675932 2468.96/321.38 c (317,0) c Propagations_7 : 1034205293 2468.96/321.38 c (317,0) c Propagations_total : 8259622333 2468.96/321.38 c (317,0) c Propagations_winner : 1035670307 2468.96/321.38 c (317,0) c ReduceDBs_0 : 15 2468.96/321.38 c (317,0) c ReduceDBs_1 : 15 2468.96/321.38 c (317,0) c ReduceDBs_2 : 15 2468.96/321.38 c (317,0) c ReduceDBs_3 : 15 2468.96/321.38 c (317,0) c ReduceDBs_4 : 15 2468.96/321.38 c (317,0) c ReduceDBs_5 : 15 2468.96/321.38 c (317,0) c ReduceDBs_6 : 15 2468.96/321.38 c (317,0) c ReduceDBs_7 : 15 2468.96/321.38 c (317,0) c ReduceDBs_total : 120 2468.96/321.38 c (317,0) c ReduceDBs_winner : 15 2468.96/321.38 c (317,0) c SimpDBs_0 : 80 2468.96/321.38 c (317,0) c SimpDBs_1 : 86 2468.96/321.38 c (317,0) c SimpDBs_2 : 77 2468.96/321.38 c (317,0) c SimpDBs_3 : 83 2468.96/321.38 c (317,0) c SimpDBs_4 : 82 2468.96/321.38 c (317,0) c SimpDBs_5 : 83 2468.96/321.38 c (317,0) c SimpDBs_6 : 81 2468.96/321.38 c (317,0) c SimpDBs_7 : 79 2468.96/321.38 c (317,0) c SimpDBs_total : 651 2468.96/321.38 c (317,0) c SimpDBs_winner : 77 2468.96/321.38 c (317,0) c Restarts_0 : 1584 2468.96/321.38 c (317,0) c Restarts_1 : 1393 2468.96/321.38 c (317,0) c Restarts_2 : 1445 2468.96/321.38 c (317,0) c Restarts_3 : 1546 2468.96/321.38 c (317,0) c Restarts_4 : 1436 2468.96/321.38 c (317,0) c Restarts_5 : 1526 2468.96/321.38 c (317,0) c Restarts_6 : 1681 2468.96/321.38 c (317,0) c Restarts_7 : 1548 2468.96/321.38 c (317,0) c Restarts_total : 12159 2468.96/321.38 c (317,0) c Restarts_winner : 1445 2468.96/321.38 c (317,0) c ForcedImports_0 : 0 2468.96/321.38 c (317,0) c ForcedImports_1 : 0 2468.96/321.38 c (317,0) c ForcedImports_2 : 0 2468.96/321.38 c (317,0) c ForcedImports_3 : 0 2468.96/321.38 c (317,0) c ForcedImports_4 : 0 2468.96/321.38 c (317,0) c ForcedImports_5 : 0 2468.96/321.38 c (317,0) c ForcedImports_6 : 0 2468.96/321.38 c (317,0) c ForcedImports_7 : 0 2468.96/321.38 c (317,0) c ForcedImports_total : 0 2468.96/321.38 c (317,0) c ForcedImports_winner : 0 2468.96/321.38 c (317,0) c PropsBinClauses_0 : 411432240 2468.96/321.38 c (317,0) c PropsBinClauses_1 : 394365176 2468.96/321.38 c (317,0) c PropsBinClauses_2 : 406409009 2468.96/321.38 c (317,0) c PropsBinClauses_3 : 401814478 2468.96/321.38 c (317,0) c PropsBinClauses_4 : 401905106 2468.96/321.38 c (317,0) c PropsBinClauses_5 : 408923657 2468.96/321.38 c (317,0) c PropsBinClauses_6 : 412598827 2468.96/321.38 c (317,0) c PropsBinClauses_7 : 406357579 2468.96/321.38 c (317,0) c PropsBinClauses_total : 3243806072 2468.96/321.38 c (317,0) c PropsBinClauses_winner : 406409009 2468.96/321.38 c (317,0) c PropsPreBlocker_0 : 2553872375 2468.96/321.38 c (317,0) c PropsPreBlocker_1 : 2547805576 2468.96/321.38 c (317,0) c PropsPreBlocker_2 : 2560210085 2468.96/321.38 c (317,0) c PropsPreBlocker_3 : 2549671309 2468.96/321.38 c (317,0) c PropsPreBlocker_4 : 2547925340 2468.96/321.38 c (317,0) c PropsPreBlocker_5 : 2547342906 2468.96/321.38 c (317,0) c PropsPreBlocker_6 : 2548329315 2468.96/321.38 c (317,0) c PropsPreBlocker_7 : 2551553265 2468.96/321.38 c (317,0) c PropsPreBlocker_total : 20406710171 2468.96/321.38 c (317,0) c PropsPreBlocker_winner : 2560210085 2468.96/321.38 c (317,0) c PropsNotBlocker_0 : 1219046327 2468.96/321.38 c (317,0) c PropsNotBlocker_1 : 1206485652 2468.96/321.38 c (317,0) c PropsNotBlocker_2 : 1217317244 2468.96/321.38 c (317,0) c PropsNotBlocker_3 : 1211806463 2468.96/321.38 c (317,0) c PropsNotBlocker_4 : 1209487213 2468.96/321.38 c (317,0) c PropsNotBlocker_5 : 1215097019 2468.96/321.38 c (317,0) c PropsNotBlocker_6 : 1215621782 2468.96/321.38 c (317,0) c PropsNotBlocker_7 : 1215659985 2468.96/321.38 c (317,0) c PropsNotBlocker_total : 9710521685 2468.96/321.38 c (317,0) c PropsNotBlocker_winner : 1217317244 2468.96/321.38 c (317,0) c PropsLitFullScans_0 : 5851095578 2468.96/321.38 c (317,0) c PropsLitFullScans_1 : 5857374506 2468.96/321.38 c (317,0) c PropsLitFullScans_2 : 5852342109 2468.96/321.38 c (317,0) c PropsLitFullScans_3 : 5850946315 2468.96/321.38 c (317,0) c PropsLitFullScans_4 : 5850860740 2468.96/321.38 c (317,0) c PropsLitFullScans_5 : 5851461181 2468.96/321.38 c (317,0) c PropsLitFullScans_6 : 5850992088 2468.96/321.38 c (317,0) c PropsLitFullScans_7 : 5853699185 2468.96/321.38 c (317,0) c PropsLitFullScans_total : 46818771702 2468.96/321.38 c (317,0) c PropsLitFullScans_winner : 5852342109 2468.96/321.38 c (317,0) c LitScanFractions_0 : 1059378 2468.96/321.38 c (317,0) c LitScanFractions_1 : 1372306 2468.96/321.38 c (317,0) c LitScanFractions_2 : 1142948 2468.96/321.38 c (317,0) c LitScanFractions_3 : 941785 2468.96/321.38 c (317,0) c LitScanFractions_4 : 858750 2468.96/321.38 c (317,0) c LitScanFractions_5 : 1455500 2468.96/321.38 c (317,0) c LitScanFractions_6 : 947788 2468.96/321.38 c (317,0) c LitScanFractions_7 : 886758 2468.96/321.38 c (317,0) c LitScanFractions_total : 8665213 2468.96/321.38 c (317,0) c LitScanFractions_winner : 1142948 2468.96/321.38 c (317,0) c DecisionLevel0_0 : 1614 2468.96/321.38 c (317,0) c DecisionLevel0_1 : 1426 2468.96/321.38 c (317,0) c DecisionLevel0_2 : 1468 2468.96/321.38 c (317,0) c DecisionLevel0_3 : 1573 2468.96/321.38 c (317,0) c DecisionLevel0_4 : 1470 2468.96/321.38 c (317,0) c DecisionLevel0_5 : 1565 2468.96/321.38 c (317,0) c DecisionLevel0_6 : 1707 2468.96/321.38 c (317,0) c DecisionLevel0_7 : 1580 2468.96/321.38 c (317,0) c DecisionLevel0_total : 12403 2468.96/321.38 c (317,0) c DecisionLevel0_winner : 1468 2468.96/321.38 c (317,0) c Periods_0 : 975 2468.96/321.38 c (317,0) c Periods_1 : 976 2468.96/321.38 c (317,0) c Periods_2 : 975 2468.96/321.38 c (317,0) c Periods_3 : 975 2468.96/321.38 c (317,0) c Periods_4 : 975 2468.96/321.38 c (317,0) c Periods_5 : 975 2468.96/321.38 c (317,0) c Periods_6 : 975 2468.96/321.38 c (317,0) c Periods_7 : 975 2468.96/321.38 c (317,0) c Periods_total : 7801 2468.96/321.38 c (317,0) c Periods_winner : 975 2468.96/321.38 c (317,0) c Margin_0 : 20 2468.96/321.38 c (317,0) c Margin_1 : 20 2468.96/321.38 c (317,0) c Margin_2 : 20 2468.96/321.38 c (317,0) c Margin_3 : 20 2468.96/321.38 c (317,0) c Margin_4 : 20 2468.96/321.38 c (317,0) c Margin_5 : 20 2468.96/321.38 c (317,0) c Margin_6 : 20 2468.96/321.38 c (317,0) c Margin_7 : 20 2468.96/321.38 c (317,0) c Margin_total : 160 2468.96/321.38 c (317,0) c Margin_winner : 20 2468.96/321.38 c (317,0) c Exported_0 : 29316 2468.96/321.38 c (317,0) c Exported_1 : 28765 2468.96/321.38 c (317,0) c Exported_2 : 30000 2468.96/321.38 c (317,0) c Exported_3 : 30111 2468.96/321.38 c (317,0) c Exported_4 : 29206 2468.96/321.38 c (317,0) c Exported_5 : 29903 2468.96/321.38 c (317,0) c Exported_6 : 28634 2468.96/321.38 c (317,0) c Exported_7 : 30347 2468.96/321.38 c (317,0) c Exported_total : 236282 2468.96/321.38 c (317,0) c Exported_winner : 30000 2468.96/321.38 c (317,0) c Imported_0 : 203595 2468.96/321.38 c (317,0) c Imported_1 : 204045 2468.96/321.38 c (317,0) c Imported_2 : 203212 2468.96/321.38 c (317,0) c Imported_3 : 203098 2468.96/321.38 c (317,0) c Imported_4 : 204152 2468.96/321.38 c (317,0) c Imported_5 : 203231 2468.96/321.38 c (317,0) c Imported_6 : 204878 2468.96/321.38 c (317,0) c Imported_7 : 203100 2468.96/321.38 c (317,0) c Imported_total : 1629311 2468.96/321.38 c (317,0) c Imported_winner : 203212 2468.96/321.38 c (317,0) c Good_0 : 2624 2468.96/321.38 c (317,0) c Good_1 : 2647 2468.96/321.38 c (317,0) c Good_2 : 2604 2468.96/321.38 c (317,0) c Good_3 : 2627 2468.96/321.38 c (317,0) c Good_4 : 2658 2468.96/321.38 c (317,0) c Good_5 : 2588 2468.96/321.38 c (317,0) c Good_6 : 2551 2468.96/321.38 c (317,0) c Good_7 : 2590 2468.96/321.38 c (317,0) c Good_total : 20889 2468.96/321.38 c (317,0) c Good_winner : 2604 2468.96/321.38 c (317,0) c Purge_0 : 200971 2468.96/321.38 c (317,0) c Purge_1 : 201398 2468.96/321.38 c (317,0) c Purge_2 : 200608 2468.96/321.38 c (317,0) c Purge_3 : 200471 2468.96/321.38 c (317,0) c Purge_4 : 201494 2468.96/321.38 c (317,0) c Purge_5 : 200643 2468.96/321.38 c (317,0) c Purge_6 : 202327 2468.96/321.38 c (317,0) c Purge_7 : 200510 2468.96/321.38 c (317,0) c Purge_total : 1608422 2468.96/321.38 c (317,0) c Purge_winner : 200608 2468.96/321.38 c (317,0) c Promoted_0 : 29661 2468.96/321.38 c (317,0) c Promoted_1 : 29437 2468.96/321.38 c (317,0) c Promoted_2 : 29256 2468.96/321.38 c (317,0) c Promoted_3 : 29258 2468.96/321.38 c (317,0) c Promoted_4 : 29478 2468.96/321.38 c (317,0) c Promoted_5 : 29877 2468.96/321.38 c (317,0) c Promoted_6 : 30026 2468.96/321.38 c (317,0) c Promoted_7 : 29599 2468.96/321.38 c (317,0) c Promoted_total : 236592 2468.96/321.38 c (317,0) c Promoted_winner : 29256 2468.96/321.38 c (317,0) c Remove_Imp_0 : 125476 2468.96/321.38 c (317,0) c Remove_Imp_1 : 122633 2468.96/321.38 c (317,0) c Remove_Imp_2 : 126857 2468.96/321.38 c (317,0) c Remove_Imp_3 : 124831 2468.96/321.38 c (317,0) c Remove_Imp_4 : 123820 2468.96/321.38 c (317,0) c Remove_Imp_5 : 124021 2468.96/321.38 c (317,0) c Remove_Imp_6 : 122560 2468.96/321.38 c (317,0) c Remove_Imp_7 : 123786 2468.96/321.38 c (317,0) c Remove_Imp_total : 993984 2468.96/321.38 c (317,0) c Remove_Imp_winner : 126857 2468.96/321.38 c (317,0) c Blocked_Reuse_0 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_1 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_2 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_3 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_4 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_5 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_6 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_7 : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_total : 0 2468.96/321.38 c (317,0) c Blocked_Reuse_winner : 0 2468.96/321.38 c (317,0) c Unaries_0 : 30 2468.96/321.38 c (317,0) c Unaries_1 : 33 2468.96/321.38 c (317,0) c Unaries_2 : 23 2468.96/321.38 c (317,0) c Unaries_3 : 27 2468.96/321.38 c (317,0) c Unaries_4 : 34 2468.96/321.38 c (317,0) c Unaries_5 : 39 2468.96/321.38 c (317,0) c Unaries_6 : 26 2468.96/321.38 c (317,0) c Unaries_7 : 32 2468.96/321.38 c (317,0) c Unaries_total : 244 2468.96/321.38 c (317,0) c Unaries_winner : 23 2468.96/321.38 c (317,0) c Binaries_0 : 360 2468.96/321.38 c (317,0) c Binaries_1 : 336 2468.96/321.38 c (317,0) c Binaries_2 : 382 2468.96/321.38 c (317,0) c Binaries_3 : 358 2468.96/321.38 c (317,0) c Binaries_4 : 331 2468.96/321.38 c (317,0) c Binaries_5 : 396 2468.96/321.38 c (317,0) c Binaries_6 : 435 2468.96/321.38 c (317,0) c Binaries_7 : 395 2468.96/321.38 c (317,0) c Binaries_total : 2993 2468.96/321.38 c (317,0) c Binaries_winner : 382 2468.96/321.38 c (317,0) c Glues_0 : 1703 2468.96/321.38 c (317,0) c Glues_1 : 1640 2468.96/321.38 c (317,0) c Glues_2 : 1694 2468.96/321.38 c (317,0) c Glues_3 : 1713 2468.96/321.38 c (317,0) c Glues_4 : 1713 2468.96/321.38 c (317,0) c Glues_5 : 1789 2468.96/321.38 c (317,0) c Glues_6 : 1942 2468.96/321.38 c (317,0) c Glues_7 : 1713 2468.96/321.38 c (317,0) c Glues_total : 13907 2468.96/321.38 c (317,0) c Glues_winner : 1694 2468.96/321.38 c (317,0) c RunningTime_0 : 315.107523 2468.96/321.38 c (317,0) c RunningTime_1 : 309.323170 2468.96/321.38 c (317,0) c RunningTime_2 : 303.331916 2468.96/321.38 c (317,0) c RunningTime_3 : 312.790962 2468.96/321.38 c (317,0) c RunningTime_4 : 307.376719 2468.96/321.38 c (317,0) c RunningTime_5 : 303.610168 2468.96/321.38 c (317,0) c RunningTime_6 : 315.536001 2468.96/321.38 c (317,0) c RunningTime_7 : 303.778587 2468.96/321.38 c (317,0) c RunningTime_total : 2470.855046 2468.96/321.38 c (317,0) c RunningTime_winner : 303.331916 2468.96/321.38 c (317,0) c WaitingTime_0 : 0.001136 2468.96/321.38 c (317,0) c WaitingTime_1 : 0.742250 2468.96/321.38 c (317,0) c WaitingTime_2 : 6.641108 2468.96/321.38 c (317,0) c WaitingTime_3 : 1.465806 2468.96/321.38 c (317,0) c WaitingTime_4 : 6.498730 2468.96/321.38 c (317,0) c WaitingTime_5 : 7.201971 2468.96/321.38 c (317,0) c WaitingTime_6 : 0.509915 2468.96/321.38 c (317,0) c WaitingTime_7 : 6.263102 2468.96/321.38 c (317,0) c WaitingTime_total : 29.324018 2468.96/321.38 c (317,0) c WaitingTime_winner : 6.641108 2468.96/321.38 c (317,0) c ExchangingTime_0 : 0.122052 2468.96/321.38 c (317,0) c ExchangingTime_1 : 0.117867 2468.96/321.38 c (317,0) c ExchangingTime_2 : 0.121665 2468.96/321.38 c (317,0) c ExchangingTime_3 : 0.119317 2468.96/321.38 c (317,0) c ExchangingTime_4 : 0.109814 2468.96/321.38 c (317,0) c ExchangingTime_5 : 0.130858 2468.96/321.38 c (317,0) c ExchangingTime_6 : 0.123679 2468.96/321.38 c (317,0) c ExchangingTime_7 : 0.114469 2468.96/321.38 c (317,0) c ExchangingTime_total : 0.959720 2468.96/321.38 c (317,0) c ExchangingTime_winner : 0.121665 2468.96/321.38 c (317,0) c PeriodProcTime_0 : 0.013397 2468.96/321.38 c (317,0) c PeriodProcTime_1 : 0.010160 2468.96/321.38 c (317,0) c PeriodProcTime_2 : 0.008468 2468.96/321.38 c (317,0) c PeriodProcTime_3 : 0.010364 2468.96/321.38 c (317,0) c PeriodProcTime_4 : 0.008607 2468.96/321.38 c (317,0) c PeriodProcTime_5 : 0.008416 2468.96/321.38 c (317,0) c PeriodProcTime_6 : 0.010539 2468.96/321.38 c (317,0) c PeriodProcTime_7 : 0.008255 2468.96/321.38 c (317,0) c PeriodProcTime_total : 0.078206 2468.96/321.38 c (317,0) c PeriodProcTime_winner : 0.008468 2468.96/321.38 c (317,0) c SolvingTime_0 : 315.244108 2468.96/321.38 c (317,0) c SolvingTime_1 : 310.193448 2468.96/321.38 c (317,0) c SolvingTime_2 : 310.103157 2468.96/321.38 c (317,0) c SolvingTime_3 : 314.386449 2468.96/321.38 c (317,0) c SolvingTime_4 : 313.993869 2468.96/321.38 c (317,0) c SolvingTime_5 : 310.951413 2468.96/321.38 c (317,0) c SolvingTime_6 : 316.180134 2468.96/321.38 c (317,0) c SolvingTime_7 : 310.164412 2468.96/321.38 c (317,0) c SolvingTime_total : 2501.216989 2468.96/321.38 c (317,0) c SolvingTime_winner : 310.103157 2468.96/321.38 c (317,0) c PropagationTime_0 : 273.535291 2468.96/321.38 c (317,0) c PropagationTime_1 : 266.898190 2468.96/321.38 c (317,0) c PropagationTime_2 : 266.304131 2468.96/321.38 c (317,0) c PropagationTime_3 : 270.026851 2468.96/321.38 c (317,0) c PropagationTime_4 : 269.164623 2468.96/321.38 c (317,0) c PropagationTime_5 : 267.510872 2468.96/321.38 c (317,0) c PropagationTime_6 : 269.092972 2468.96/321.38 c (317,0) c PropagationTime_7 : 266.883110 2468.96/321.38 c (317,0) c PropagationTime_total : 2149.416041 2468.96/321.38 c (317,0) c PropagationTime_winner : 266.304131 2468.96/321.38 c (317,0) c AnalysisTime_0 : 21.688510 2468.96/321.38 c (317,0) c AnalysisTime_1 : 23.191599 2468.96/321.38 c (317,0) c AnalysisTime_2 : 23.477360 2468.96/321.38 c (317,0) c AnalysisTime_3 : 23.296385 2468.96/321.38 c (317,0) c AnalysisTime_4 : 24.196029 2468.96/321.38 c (317,0) c AnalysisTime_5 : 22.732305 2468.96/321.38 c (317,0) c AnalysisTime_6 : 25.658569 2468.96/321.38 c (317,0) c AnalysisTime_7 : 22.842207 2468.96/321.38 c (317,0) c AnalysisTime_total : 187.082965 2468.96/321.38 c (317,0) c AnalysisTime_winner : 23.477360 2468.96/321.38 c (317,0) c ReductionTime_0 : 0.862333 2468.96/321.38 c (317,0) c ReductionTime_1 : 0.941399 2468.96/321.38 c (317,0) c ReductionTime_2 : 0.913836 2468.96/321.38 c (317,0) c ReductionTime_3 : 0.923404 2468.96/321.38 c (317,0) c ReductionTime_4 : 0.938700 2468.96/321.38 c (317,0) c ReductionTime_5 : 0.911366 2468.96/321.38 c (317,0) c ReductionTime_6 : 0.915901 2468.96/321.38 c (317,0) c ReductionTime_7 : 0.907199 2468.96/321.38 c (317,0) c ReductionTime_total : 7.314138 2468.96/321.38 c (317,0) c ReductionTime_winner : 0.913836 2468.96/321.38 c (317,0) c SimplifyTime_0 : 1.313696 2468.96/321.38 c (317,0) c SimplifyTime_1 : 1.653575 2468.96/321.38 c (317,0) c SimplifyTime_2 : 1.670701 2468.96/321.38 c (317,0) c SimplifyTime_3 : 1.498692 2468.96/321.38 c (317,0) c SimplifyTime_4 : 1.493292 2468.96/321.38 c (317,0) c SimplifyTime_5 : 1.883608 2468.96/321.38 c (317,0) c SimplifyTime_6 : 1.532972 2468.96/321.38 c (317,0) c SimplifyTime_7 : 1.632158 2468.96/321.38 c (317,0) c SimplifyTime_total : 12.678694 2468.96/321.38 c (317,0) c SimplifyTime_winner : 1.670701 2468.96/321.38 c (317,0) c UsedRateTime_0 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_1 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_2 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_3 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_4 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_5 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_6 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_7 : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_total : 0.000000 2468.96/321.38 c (317,0) c UsedRateTime_winner : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_0 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_1 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_2 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_3 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_4 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_5 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_6 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_7 : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_total : 0.000000 2468.96/321.38 c (317,0) c OverlapRateTime_winner : 0.000000 2468.96/321.38 c (317,0) c 2468.96/321.38 c (317,0) c |------------------------------------------ THREAD PARAMETERS ------------------------------------------| 2468.96/321.38 c (317,0) c 2468.96/321.38 c (317,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.38 c (317,0) c | Threads | 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 2468.96/321.38 c (317,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.38 c (317,0) c | randomizeFirstDescent | False | True | True | True | True | True | True | True | 2468.96/321.38 c (317,0) c | adaptStrategeis | False | False | False | False | False | False | False | False | 2468.96/321.38 c (317,0) c | forceUnsatOnNewDescent| True | True | False | False | True | True | False | False | 2468.96/321.38 c (317,0) c | Initial random_seed | 1274961507 | 657037484 | 412159162 | 2065659971 | 1167199853 | 873709014 | 646662482 | 336567686 | 2468.96/321.38 c (317,0) c | chanseokStrategy | False | False | False | False | False | False | False | False | 2468.96/321.38 c (317,0) c | coLBDBound | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 5 | 2468.96/321.38 c (317,0) c | glureduce | True | True | True | True | True | True | True | True | 2468.96/321.38 c (317,0) c | firstReduceDB | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2000 | 2468.96/321.38 c (317,0) c | incReduceDB | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 300 | 2468.96/321.38 c (317,0) c | luby_restart | False | False | False | False | False | False | False | False | 2468.96/321.38 c (317,0) c | luby_restart_factor | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 100 | 2468.96/321.38 c (317,0) c | var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2468.96/321.38 c (317,0) c | max_var_decay | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 0.9500 | 2468.96/321.38 c (317,0) c | randomize_on_restarts | False | False | False | False | False | False | False | False | 2468.96/321.38 c (317,0) c | remove_satisfied | True | True | True | True | True | True | True | True | 2468.96/321.38 c (317,0) c |-----------------------|------------|------------|------------|------------|------------|------------|------------|------------| 2468.96/321.38 c (317,0) 2468.96/321.38 c (317,0) s SATISFIABLE 2469.41/321.52 c (318,0) SatSolver.solve End 2469.41/321.52 c (318,0) Heap : 146 MiB used (max 3925 MiB), NonHeap : 17 MiB used (max 0 MiB) 2469.41/321.52 c (318,0) Show results Begin 2469.61/321.62 c (318,0) x[0] = 6 2469.61/321.62 c (318,0) x[2] = 21 2469.61/321.62 c (318,0) x[3] = 10 2469.61/321.62 c (318,0) x[4] = 10 2469.61/321.62 c (318,0) x[5] = 13 2469.61/321.62 c (318,0) x[6] = 8 2469.61/321.62 c (318,0) x[7] = 7 2469.61/321.62 c (318,0) x[8] = 29 2469.61/321.62 c (318,0) x[9] = 2 2469.61/321.62 c (318,0) x[10] = 9 2469.61/321.62 c (318,0) x[11] = 18 2469.61/321.62 c (318,0) x[12] = 4 2469.61/321.62 c (318,0) x[13] = 4 2469.61/321.62 c (318,0) x[14] = 4 2469.61/321.62 c (318,0) x[15] = 17 2469.61/321.62 c (318,0) x[17] = 28 2469.61/321.62 c (318,0) x[18] = 13 2469.61/321.62 c (318,0) x[19] = 11 2469.61/321.62 c (318,0) x[20] = 8 2469.61/321.62 c (318,0) x[21] = 21 2469.61/321.62 c (318,0) x[23] = 25 2469.61/321.62 c (318,0) x[24] = 11 2469.61/321.62 c (318,0) x[25] = 9 2469.61/321.62 c (318,0) x[26] = 13 2469.61/321.62 c (318,0) x[27] = 13 2469.61/321.62 c (318,0) x[28] = 16 2469.61/321.62 c (318,0) x[29] = 22 2469.61/321.62 c (318,0) x[30] = 12 2469.61/321.62 c (318,0) x[31] = 28 2469.61/321.62 c (318,0) x[32] = 5 2469.61/321.62 c (318,0) x[33] = 19 2469.61/321.62 c (318,0) x[34] = 26 2469.61/321.62 c (318,0) x[35] = 19 2469.61/321.62 c (318,0) x[36] = 8 2469.61/321.62 c (318,0) x[37] = 22 2469.61/321.62 c (318,0) x[38] = 10 2469.61/321.62 c (318,0) x[39] = 5 2469.61/321.62 c (318,0) x[40] = 28 2469.61/321.62 c (318,0) x[41] = 26 2469.61/321.62 c (318,0) x[42] = 20 2469.61/321.62 c (318,0) x[43] = 17 2469.61/321.62 c (318,0) x[44] = 17 2469.61/321.62 c (318,0) x[45] = 23 2469.61/321.62 c (318,0) x[46] = 28 2469.61/321.62 c (318,0) x[47] = 11 2469.61/321.62 c (318,0) x[48] = 8 2469.61/321.62 c (318,0) x[49] = 9 2469.61/321.62 c (318,0) x[50] = 7 2469.61/321.62 c (318,0) x[51] = 20 2469.61/321.62 c (318,0) x[53] = 7 2469.61/321.62 c (318,0) x[54] = 27 2469.61/321.62 c (318,0) x[55] = 13 2469.61/321.62 c (318,0) x[56] = 9 2469.61/321.62 c (318,0) x[57] = 14 2469.61/321.62 c (318,0) x[59] = 16 2469.61/321.62 c (318,0) x[60] = 3 2469.61/321.62 c (318,0) x[61] = 29 2469.61/321.62 c (318,0) x[63] = 24 2469.61/321.62 c (318,0) x[64] = 20 2469.61/321.62 c (318,0) x[65] = 17 2469.61/321.62 c (318,0) x[66] = 5 2469.61/321.62 c (318,0) x[67] = 26 2469.61/321.62 c (318,0) x[68] = 7 2469.61/321.62 c (318,0) x[69] = 15 2469.61/321.62 c (318,0) x[71] = 16 2469.61/321.62 c (318,0) x[72] = 6 2469.61/321.62 c (318,0) x[73] = 9 2469.61/321.62 c (318,0) x[74] = 10 2469.61/321.62 c (318,0) x[75] = 14 2469.61/321.62 c (318,0) x[79] = 20 2469.61/321.62 c (318,0) x[81] = 26 2469.61/321.62 c (318,0) x[82] = 27 2469.61/321.62 c (318,0) x[83] = 21 2469.61/321.62 c (318,0) x[84] = 20 2469.61/321.62 c (318,0) x[85] = 11 2469.61/321.62 c (318,0) x[86] = 8 2469.61/321.62 c (318,0) x[87] = 2 2469.61/321.62 c (318,0) x[88] = 4 2469.61/321.62 c (318,0) x[89] = 26 2469.61/321.62 c (318,0) x[90] = 12 2469.61/321.62 c (318,0) x[91] = 9 2469.61/321.62 c (318,0) x[92] = 17 2469.61/321.62 c (318,0) x[93] = 23 2469.61/321.62 c (318,0) x[94] = 26 2469.61/321.62 c (318,0) x[95] = 4 2469.61/321.62 c (318,0) x[97] = 16 2469.61/321.62 c (318,0) x[98] = 11 2469.61/321.62 c (318,0) x[99] = 13 2469.61/321.62 s SATISFIABLE 2469.61/321.62 v <instantiation> 2469.61/321.62 v <list>x[0] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[17] x[18] x[19] x[20] x[21] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[53] x[54] x[55] x[56] x[57] x[59] x[60] x[61] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[71] x[72] x[73] x[74] x[75] x[79] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[97] x[98] x[99]</list> 2469.61/321.62 v <values>6 21 10 10 13 8 7 29 2 9 18 4 4 4 17 28 13 11 8 21 25 11 9 13 13 16 22 12 28 5 19 26 19 8 22 10 5 28 26 20 17 17 23 28 11 8 9 7 20 7 27 13 9 14 16 3 29 24 20 17 5 26 7 15 16 6 9 10 14 20 26 27 21 20 11 8 2 4 26 12 9 17 23 26 4 16 11 13</values> 2469.61/321.62 v </instantiation> 2469.61/321.62 c (318,0) Show results End 2469.61/321.62 c (318,0) Heap : 166 MiB used (max 3925 MiB), NonHeap : 18 MiB used (max 0 MiB) 2469.61/321.62 c (318,0) 318,318,STOP-AFTER(ALL) 2469.61/321.62 c END-Prog: Sat Sep 14 06:02:48 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 (14571 MiB free) memory of node 1: 16384 MiB (15637 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392685-1568433489/watcher-4392685-1568433489 -o /tmp/evaluation-result-4392685-1568433489/solver-4392685-1568433489 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392685-1568433489.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 Current StackSize limit: 8192 KiB solver pid=24837, runsolver pid=24834 [startup+0.100132 s]* /proc/loadavg: 3.15 1.60 2.54 2/211 24859 /proc/meminfo: memFree=30840808/32770624 swapFree=66947748/67108860 [pid=24837] ppid=24834 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/24837/stat : 24837 (scop.sh) S 24834 24837 15751 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419290814 115843072 349 33554432000 4194304 5098028 140728675308080 140728675305336 139647602872956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32772096 140728675316516 140728675316844 140728675316844 140728675319757 0 /proc/24837/statm: 28282 349 296 221 0 87 0 [pid=24840] ppid=24837 vsize=27314120 memory=106444 CPUtime=0.1 cores=0-7 /proc/24840/stat : 24840 (java) S 24837 24837 15751 0 -1 1077944320 6209 0 0 0 8 2 0 0 20 0 20 0 419290814 27969658880 26611 33554432000 4194304 4196468 140732339121520 140732339104064 140427087654647 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 /proc/24840/statm: 6828530 26611 2799 1 0 6790935 0 [pid=24840/tid=24841] ppid=24837 vsize=27314120 memory=8317482817917895235 CPUtime=0.09 cores=0-7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24837 15751 0 -1 4202560 4292 0 0 0 7 2 0 0 20 0 20 0 419290815 27969658880 26611 33554432000 4194304 4196468 140732339121520 140427059480976 140427071735134 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24842] ppid=24837 vsize=27314120 memory=4872558044660077418 CPUtime=0 cores=0-7 /proc/24840/task/24842/stat : 24842 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140427091897488 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24843] ppid=24837 vsize=27314120 memory=140126926759552 CPUtime=0 cores=0-7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426909985808 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24844] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426508925840 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24845] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426507873040 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24846] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426506820240 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24847] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426505767440 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24848] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426504714640 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24849] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 26611 33554432000 4194304 4196468 140732339121520 140426503661840 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24850] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 26611 33554432000 4194304 4196468 140732339121520 140425609247600 140427087665794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24851] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24837 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 26611 33554432000 4194304 4196468 140732339121520 140424693933600 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24852] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24837 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 26611 33554432000 4194304 4196468 140732339121520 140424559711600 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24853] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140424185207120 140427087673243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24854] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24837 15751 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140425608194416 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24855] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24855/stat : 24855 (java) R 24837 24837 15751 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140425607141616 140427087665794 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24856] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140425606088816 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24857] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24837 15751 0 -1 1077944384 262 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140425605036016 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24858] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140423687302240 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24859] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24859/stat : 24859 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 26611 33554432000 4194304 4196468 140732339121520 140425603984432 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 107840 KiB [startup+0.214888 s]* /proc/loadavg: 3.15 1.60 2.54 2/211 24859 /proc/meminfo: memFree=30822360/32770624 swapFree=66947748/67108860 [pid=24837] ppid=24834 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/24837/stat : 24837 (scop.sh) S 24834 24837 15751 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419290814 115843072 349 33554432000 4194304 5098028 140728675308080 140728675305336 139647602872956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32772096 140728675316516 140728675316844 140728675316844 140728675319757 0 /proc/24837/statm: 28282 349 296 221 0 87 0 [pid=24840] ppid=24837 vsize=27314120 memory=120992 CPUtime=0.24 cores=0-7 /proc/24840/stat : 24840 (java) S 24837 24837 15751 0 -1 1077944320 11205 0 0 0 21 3 0 0 20 0 20 0 419290814 27969658880 30248 33554432000 4194304 4196468 140732339121520 140732339104064 140427087654647 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 /proc/24840/statm: 6828530 30248 2893 1 0 6790935 0 [pid=24840/tid=24841] ppid=24837 vsize=27314120 memory=8318255677412212789 CPUtime=0.2 cores=0-7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24837 15751 0 -1 4202560 8897 0 0 0 17 3 0 0 20 0 20 0 419290815 27969658880 30248 33554432000 4194304 4196468 140732339121520 140427059438208 140427087676573 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24842] ppid=24837 vsize=27314120 memory=328 CPUtime=0 cores=0-7 /proc/24840/task/24842/stat : 24842 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140427091897488 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24843] ppid=24837 vsize=27314120 memory=140126929725437 CPUtime=0 cores=0-7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426909985808 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24844] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426508925840 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24845] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426507873040 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24846] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426506820240 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24847] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426505767440 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24848] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426504714640 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24849] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 30248 33554432000 4194304 4196468 140732339121520 140426503661840 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24850] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 30248 33554432000 4194304 4196468 140732339121520 140425609247600 140427087665794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24851] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24837 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 30248 33554432000 4194304 4196468 140732339121520 140424693933600 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24852] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24837 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 30248 33554432000 4194304 4196468 140732339121520 140424559711600 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24853] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140424185207120 140427087673243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24854] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24837 15751 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140425608194416 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24855] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24837 15751 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140425607141616 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24856] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24856/stat : 24856 (java) S 24837 24837 15751 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140425606088816 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24857] ppid=24837 vsize=27314120 memory=-1 CPUtime=0.02 cores=0-7 /proc/24840/task/24857/stat : 24857 (java) R 24837 24837 15751 0 -1 4202560 480 0 0 0 2 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140425605036016 140427087666582 0 4 2 16800973 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24858] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140423687302240 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24859] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24859/stat : 24859 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 30248 33554432000 4194304 4196468 140732339121520 140425603984432 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 Current children cumulated CPU time: 0.24 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 122388 KiB [startup+0.310307 s]* /proc/loadavg: 3.14 1.62 2.54 2/211 24859 /proc/meminfo: memFree=30819172/32770624 swapFree=66947748/67108860 [pid=24837] ppid=24834 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/24837/stat : 24837 (scop.sh) S 24834 24837 15751 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419290814 115843072 349 33554432000 4194304 5098028 140728675308080 140728675305336 139647602872956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32772096 140728675316516 140728675316844 140728675316844 140728675319757 0 /proc/24837/statm: 28282 349 296 221 0 87 0 [pid=24840] ppid=24837 vsize=27314120 memory=125400 CPUtime=0.42 cores=0-7 /proc/24840/stat : 24840 (java) S 24837 24837 15751 0 -1 1077944320 12254 0 0 0 38 4 0 0 20 0 20 0 419290814 27969658880 31350 33554432000 4194304 4196468 140732339121520 140732339104064 140427087654647 0 0 2 16800973 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 /proc/24840/statm: 6828530 31350 3042 1 0 6790935 0 [pid=24840/tid=24841] ppid=24837 vsize=27314120 memory=8317482817917895235 CPUtime=0.29 cores=0-7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24837 15751 0 -1 4202560 9768 0 0 0 26 3 0 0 20 0 20 0 419290815 27969658880 31350 33554432000 4194304 4196468 140732339121520 140427059484720 140427087666582 0 4 2 16800973 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24842] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24842/stat : 24842 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140427091897488 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24843] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426909985808 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24844] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426508925840 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24845] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24845/stat : 24845 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426507873040 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24846] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24846/stat : 24846 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426506820240 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24847] ppid=24837 vsize=27314120 memory=140126797785775 CPUtime=0 cores=0-7 /proc/24840/task/24847/stat : 24847 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426505767440 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24848] ppid=24837 vsize=27314120 memory=140126797788080 CPUtime=0 cores=0-7 /proc/24840/task/24848/stat : 24848 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426504714640 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24849] ppid=24837 vsize=27314120 memory=140126797790384 CPUtime=0 cores=0-7 /proc/24840/task/24849/stat : 24849 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27969658880 31350 33554432000 4194304 4196468 140732339121520 140426503661840 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24850] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24850/stat : 24850 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 31350 33554432000 4194304 4196468 140732339121520 140425609247600 140427087665794 0 0 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24851] ppid=24837 vsize=27314120 memory=280253595594640 CPUtime=0 cores=0-7 /proc/24840/task/24851/stat : 24851 (java) S 24837 24837 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 31350 33554432000 4194304 4196468 140732339121520 140424693933600 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24852] ppid=24837 vsize=27314120 memory=280253595592336 CPUtime=0 cores=0-7 /proc/24840/task/24852/stat : 24852 (java) S 24837 24837 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 419290819 27969658880 31350 33554432000 4194304 4196468 140732339121520 140424559711600 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24853] ppid=24837 vsize=27314120 memory=280253595599248 CPUtime=0 cores=0-7 /proc/24840/task/24853/stat : 24853 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140424185207120 140427087673243 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24854] ppid=24837 vsize=27314120 memory=280253595540528 CPUtime=0 cores=0-7 /proc/24840/task/24854/stat : 24854 (java) S 24837 24837 15751 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140425608194416 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24855] ppid=24837 vsize=27314120 memory=280253595613072 CPUtime=0.01 cores=0-7 /proc/24840/task/24855/stat : 24855 (java) S 24837 24837 15751 0 -1 1077944384 203 0 0 0 1 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140425607141616 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24856] ppid=24837 vsize=27314120 memory=280253595619984 CPUtime=0.02 cores=0-7 /proc/24840/task/24856/stat : 24856 (java) R 24837 24837 15751 0 -1 4202560 91 0 0 0 2 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140425606088816 140427072043488 0 4 2 16800973 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24857] ppid=24837 vsize=27314120 memory=280253595617680 CPUtime=0.07 cores=0-7 /proc/24840/task/24857/stat : 24857 (java) S 24837 24837 15751 0 -1 1077944384 522 0 0 0 7 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140425605036016 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24858] ppid=24837 vsize=27314120 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24858/stat : 24858 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140423687302240 140427087664853 0 4 2 16800973 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24859] ppid=24837 vsize=27314120 memory=-1 CPUtime=0 cores=0-7 /proc/24840/task/24859/stat : 24859 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290822 27969658880 31350 33554432000 4194304 4196468 140732339121520 140425603984432 140427087665794 0 4 2 16800973 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 Current children cumulated CPU time: 0.42 s Current children cumulated vsize: 27427248 KiB Current children cumulated memory: 126796 KiB [startup+0.70095 s] /proc/loadavg: 3.14 1.62 2.54 3/211 24859 /proc/meminfo: memFree=30795856/32770624 swapFree=66947748/67108860 [pid=24837] ppid=24834 vsize=113128 memory=1396 CPUtime=0 cores=0-7 /proc/24837/stat : 24837 (scop.sh) S 24834 24837 15751 0 -1 4202496 556 319 0 0 0 0 0 0 20 0 1 0 419290814 115843072 349 33554432000 4194304 5098028 140728675308080 140728675305336 139647602872956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32772096 140728675316516 140728675316844 140728675316844 140728675319757 0 /proc/24837/statm: 28282 349 296 221 0 87 0 [pid=24840] ppid=24837 vsize=27320392 memory=163260 CPUtime=0.99 cores=0-7 /proc/24840/stat : 24840 (java) S 24837 24837 15751 0 -1 1077944320 19934 0 0 0 92 7 0 0 20 0 20 0 419290814 27976081408 40815 33554432000 4194304 4196468 140732339121520 140732339104064 140427087654647 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 /proc/24840/statm: 6830098 40815 3176 1 0 6791447 0 [pid=24840/tid=24841] ppid=24837 vsize=27320392 memory=0 CPUtime=0.67 cores=0-7 /proc/24840/task/24841/stat : 24841 (java) R 24837 24837 15751 0 -1 4202560 16888 0 0 0 62 5 0 0 20 0 20 0 419290815 27976081408 40815 33554432000 4194304 4196468 140732339121520 140427059490704 140427087676573 0 4 2 25189581 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24842] ppid=24837 vsize=27320392 memory=140126797996912 CPUtime=0 cores=0-7 /proc/24840/task/24842/stat : 24842 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27976081408 40815 33554432000 4194304 4196468 140732339121520 140427091897488 140427087664853 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24843] ppid=24837 vsize=27320392 memory=0 CPUtime=0 cores=0-7 /proc/24840/task/24843/stat : 24843 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 419290817 27976081408 40815 33554432000 4194304 4196468 140732339121520 140426909985808 140427087664853 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 [pid=24840/tid=24844] ppid=24837 vsize=27320392 memory=1200 CPUtime=0 cores=0-7 /proc/24840/task/24844/stat : 24844 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 419290817 27976081408 40815 33554432000 4194304 4196468 140732339121520 140426508925840 140427087664853 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35774464 140732339127018 140732339127446 140732339127446 140732339130319 0 ################ # More data... # ################ /proc/24860/task/24865/stat : 24865 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733019683088 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24866] ppid=24837 vsize=8414124 memory=2044 CPUtime=0 cores=0-7 /proc/24860/task/24866/stat : 24866 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733018631312 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24867] ppid=24837 vsize=8414124 memory=24 CPUtime=0 cores=0-7 /proc/24860/task/24867/stat : 24867 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733017578512 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24868] ppid=24837 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/24860/task/24868/stat : 24868 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733016525712 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24869] ppid=24837 vsize=8414124 memory=16 CPUtime=0 cores=0-7 /proc/24860/task/24869/stat : 24869 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733015472912 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24870] ppid=24837 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/24860/task/24870/stat : 24870 (java) S 24837 24837 15751 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419291125 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732444948848 139733217389186 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24871] ppid=24837 vsize=8414124 memory=1 CPUtime=0 cores=0-7 /proc/24860/task/24871/stat : 24871 (java) S 24837 24837 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419291126 8616062976 30179 33554432000 4194304 4196468 140721344903216 139731526476832 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24872] ppid=24837 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/24860/task/24872/stat : 24872 (java) S 24837 24837 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419291126 8616062976 30179 33554432000 4194304 4196468 140721344903216 139731392254832 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24873] ppid=24837 vsize=8414124 memory=0 CPUtime=0 cores=0-7 /proc/24860/task/24873/stat : 24873 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139731017750352 139733217396635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24874] ppid=24837 vsize=8414124 memory=780 CPUtime=0.07 cores=0-7 /proc/24860/task/24874/stat : 24874 (java) S 24837 24837 15751 0 -1 1077944384 336 0 0 0 7 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732443896688 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24875] ppid=24837 vsize=8414124 memory=2832 CPUtime=0.06 cores=0-7 /proc/24860/task/24875/stat : 24875 (java) S 24837 24837 15751 0 -1 1077944384 162 0 0 0 6 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732442843888 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24876] ppid=24837 vsize=8414124 memory=1720 CPUtime=0.14 cores=0-7 /proc/24860/task/24876/stat : 24876 (java) S 24837 24837 15751 0 -1 1077944384 962 0 0 0 14 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732441791088 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24877] ppid=24837 vsize=8414124 memory=1200 CPUtime=0.24 cores=0-7 /proc/24860/task/24877/stat : 24877 (java) S 24837 24837 15751 0 -1 1077944384 827 0 0 0 24 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732440738288 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24878] ppid=24837 vsize=8414124 memory=5964 CPUtime=0 cores=0-7 /proc/24860/task/24878/stat : 24878 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419291129 8616062976 30179 33554432000 4194304 4196468 140721344903216 139730519845472 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24879] ppid=24837 vsize=8414124 memory=14012 CPUtime=0.34 cores=0-7 /proc/24860/task/24879/stat : 24879 (java) S 24837 24837 15751 0 -1 1077944384 23 0 0 0 17 17 0 0 20 0 24 0 419291129 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732439685680 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24881] ppid=24837 vsize=8414124 memory=10992 CPUtime=0 cores=0-7 /proc/24860/task/24881/stat : 24881 (java) S 24837 24837 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419291199 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732431651904 139733217402649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24883] ppid=24837 vsize=8414124 memory=-9175910966427414930 CPUtime=0.01 cores=0-7 /proc/24860/task/24883/stat : 24883 (java) S 24837 24837 15751 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 419291199 8616062976 30179 33554432000 4194304 4196468 140721344903216 139729848746160 139733217399965 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24884] ppid=24837 vsize=8414124 memory=740 CPUtime=0 cores=0-7 /proc/24860/task/24884/stat : 24884 (java) S 24837 24837 15751 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419291200 8616062976 30179 33554432000 4194304 4196468 140721344903216 139730117181488 139733217399965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24885] ppid=24837 vsize=8414124 memory=1056 CPUtime=0 cores=0-7 /proc/24860/task/24885/stat : 24885 (java) S 24837 24837 15751 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419291202 8616062976 30179 33554432000 4194304 4196468 140721344903216 139729580318256 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 Current children cumulated CPU time: 2468.46 s Current children cumulated vsize: 10160672 KiB Current children cumulated memory: 1273468 KiB [startup+321.201 s] /proc/loadavg: 7.47 5.74 4.11 2/218 24943 /proc/meminfo: memFree=29664212/32770624 swapFree=66947792/67108860 [pid=24837] ppid=24834 vsize=113128 memory=1476 CPUtime=4.53 cores=0-7 /proc/24837/stat : 24837 (scop.sh) S 24834 24837 15751 0 -1 4202496 582 24941 0 0 0 0 426 27 20 0 1 0 419290814 115843072 369 33554432000 4194304 5098028 140728675308080 140728675304824 139647602872956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32772096 140728675316516 140728675316844 140728675316844 140728675319757 0 /proc/24837/statm: 28282 369 311 221 0 87 0 [pid=24860] ppid=24837 vsize=8414124 memory=120716 CPUtime=1.55 cores=0-7 /proc/24860/stat : 24860 (java) S 24837 24837 15751 0 -1 1077944320 21200 0 0 0 145 10 0 0 20 0 24 0 419291122 8616062976 30179 33554432000 4194304 4196468 140721344903216 140721344885760 139733217378039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 /proc/24860/statm: 2103531 30179 3213 1 0 2064875 0 [pid=24880] ppid=24860 vsize=1633420 memory=1151276 CPUtime=2462.78 cores=0-7 /proc/24880/stat : 24880 (manyglucose-4.1) S 24860 24837 15751 0 -1 1077944320 2285868 0 0 0 245970 308 0 0 20 0 2 0 419291199 1672622080 287819 33554432000 4194304 4454172 140733168136704 140733168135088 140582550392567 0 4 0 8388610 18446744073709551615 0 0 17 2 0 0 0 0 0 6552832 6554400 26271744 140733168141161 140733168141360 140733168141360 140733168144314 0 /proc/24880/statm: 408355 287819 422 64 0 404023 0 [pid=24880/tid=24892] ppid=24860 vsize=1633420 memory=120716 CPUtime=313.66 cores=0-7 /proc/24880/task/24892/stat : 24892 (manyglucose-4.1) R 24860 24837 15751 0 -1 4202560 253814 0 0 0 31321 45 0 0 20 0 2 0 419291327 1672622080 287819 33554432000 4194304 4454172 140733168136704 140582430698632 4351209 0 4 0 8388610 0 0 0 -1 5 0 0 0 0 0 6552832 6554400 26271744 140733168141161 140733168141360 140733168141360 140733168144314 0 [pid=24860/tid=24861] ppid=24837 vsize=8414124 memory=1151276 CPUtime=0.79 cores=0-7 /proc/24860/task/24861/stat : 24861 (java) S 24837 24837 15751 0 -1 1077944384 17466 0 0 0 73 6 0 0 20 0 24 0 419291122 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733189218208 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24862] ppid=24837 vsize=8414124 memory=1556 CPUtime=0 cores=0-7 /proc/24860/task/24862/stat : 24862 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733221620368 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24863] ppid=24837 vsize=8414124 memory=288230574492221466 CPUtime=0 cores=0-7 /proc/24860/task/24863/stat : 24863 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733021788688 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24864] ppid=24837 vsize=8414124 memory=288230617509003574 CPUtime=0 cores=0-7 /proc/24860/task/24864/stat : 24864 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733020735888 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24865] ppid=24837 vsize=8414124 memory=15534115864709562 CPUtime=0 cores=0-7 /proc/24860/task/24865/stat : 24865 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733019683088 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24866] ppid=24837 vsize=8414124 memory=1149244 CPUtime=0 cores=0-7 /proc/24860/task/24866/stat : 24866 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733018631312 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24867] ppid=24837 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/24860/task/24867/stat : 24867 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733017578512 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24868] ppid=24837 vsize=8414124 memory=120716 CPUtime=0 cores=0-7 /proc/24860/task/24868/stat : 24868 (java) S 24837 24837 15751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733016525712 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24869] ppid=24837 vsize=8414124 memory=1147144 CPUtime=0 cores=0-7 /proc/24860/task/24869/stat : 24869 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291124 8616062976 30179 33554432000 4194304 4196468 140721344903216 139733015472912 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24870] ppid=24837 vsize=8414124 memory=1732 CPUtime=0 cores=0-7 /proc/24860/task/24870/stat : 24870 (java) S 24837 24837 15751 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 24 0 419291125 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732444948848 139733217389186 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24871] ppid=24837 vsize=8414124 memory=8317482817917895235 CPUtime=0 cores=0-7 /proc/24860/task/24871/stat : 24871 (java) S 24837 24837 15751 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 24 0 419291126 8616062976 30179 33554432000 4194304 4196468 140721344903216 139731526476832 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24872] ppid=24837 vsize=8414124 memory=1984 CPUtime=0 cores=0-7 /proc/24860/task/24872/stat : 24872 (java) S 24837 24837 15751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 24 0 419291126 8616062976 30179 33554432000 4194304 4196468 140721344903216 139731392254832 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24873] ppid=24837 vsize=8414124 memory=2424 CPUtime=0 cores=0-7 /proc/24860/task/24873/stat : 24873 (java) S 24837 24837 15751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139731017750352 139733217396635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24874] ppid=24837 vsize=8414124 memory=1764 CPUtime=0.07 cores=0-7 /proc/24860/task/24874/stat : 24874 (java) S 24837 24837 15751 0 -1 1077944384 336 0 0 0 7 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732443896688 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24875] ppid=24837 vsize=8414124 memory=111636 CPUtime=0.06 cores=0-7 /proc/24860/task/24875/stat : 24875 (java) S 24837 24837 15751 0 -1 1077944384 162 0 0 0 6 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732442843888 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24876] ppid=24837 vsize=8414124 memory=804 CPUtime=0.14 cores=0-7 /proc/24860/task/24876/stat : 24876 (java) S 24837 24837 15751 0 -1 1077944384 962 0 0 0 14 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732441791088 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24877] ppid=24837 vsize=8414124 memory=1808 CPUtime=0.24 cores=0-7 /proc/24860/task/24877/stat : 24877 (java) S 24837 24837 15751 0 -1 1077944384 827 0 0 0 24 0 0 0 20 0 24 0 419291128 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732440738288 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24878] ppid=24837 vsize=8414124 memory=924 CPUtime=0 cores=0-7 /proc/24860/task/24878/stat : 24878 (java) S 24837 24837 15751 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 24 0 419291129 8616062976 30179 33554432000 4194304 4196468 140721344903216 139730519845472 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24879] ppid=24837 vsize=8414124 memory=4916 CPUtime=0.34 cores=0-7 /proc/24860/task/24879/stat : 24879 (java) S 24837 24837 15751 0 -1 1077944384 23 0 0 0 17 17 0 0 20 0 24 0 419291129 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732439685680 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24881] ppid=24837 vsize=8414124 memory=4104 CPUtime=0 cores=0-7 /proc/24860/task/24881/stat : 24881 (java) S 24837 24837 15751 0 -1 4202560 21 0 0 0 0 0 0 0 20 0 24 0 419291199 8616062976 30179 33554432000 4194304 4196468 140721344903216 139732431651904 139733217402649 0 4 2 25189581 18446744071579417331 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24883] ppid=24837 vsize=8414124 memory=1412 CPUtime=0.01 cores=0-7 /proc/24860/task/24883/stat : 24883 (java) S 24837 24837 15751 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 24 0 419291199 8616062976 30179 33554432000 4194304 4196468 140721344903216 139729848746160 139733217399965 0 4 2 25189581 18446744071580971376 0 0 -1 6 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24884] ppid=24837 vsize=8414124 memory=3696 CPUtime=0 cores=0-7 /proc/24860/task/24884/stat : 24884 (java) S 24837 24837 15751 0 -1 4202560 22 0 0 0 0 0 0 0 20 0 24 0 419291200 8616062976 30179 33554432000 4194304 4196468 140721344903216 139730117181488 139733217399965 0 4 2 25189581 18446744071580971376 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24885] ppid=24837 vsize=8414124 memory=1476 CPUtime=0 cores=0-7 /proc/24860/task/24885/stat : 24885 (java) S 24837 24837 15751 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 24 0 419291202 8616062976 30179 33554432000 4194304 4196468 140721344903216 139729580318256 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 Current children cumulated CPU time: 2468.86 s Current children cumulated vsize: 10160672 KiB Current children cumulated memory: 1273468 KiB [startup+321.606 s] /proc/loadavg: 7.47 5.74 4.11 2/218 24943 /proc/meminfo: memFree=29664212/32770624 swapFree=66947792/67108860 [pid=24837] ppid=24834 vsize=113128 memory=1476 CPUtime=4.53 cores=0-7 /proc/24837/stat : 24837 (scop.sh) S 24834 24837 15751 0 -1 4202496 582 24941 0 0 0 0 426 27 20 0 1 0 419290814 115843072 369 33554432000 4194304 5098028 140728675308080 140728675304824 139647602872956 0 65536 4100 81923 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 32772096 140728675316516 140728675316844 140728675316844 140728675319757 0 /proc/24837/statm: 28282 369 311 221 0 87 0 [pid=24860] ppid=24837 vsize=8283048 memory=170072 CPUtime=2465.08 cores=0-7 /proc/24860/stat : 24860 (java) S 24837 24837 15751 0 -1 1077944320 23917 2285880 0 0 193 12 245991 312 20 0 22 0 419291122 8481841152 42518 33554432000 4194304 4196468 140721344903216 140721344885760 139733217378039 0 0 2 25189581 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 /proc/24860/statm: 2070762 42518 3229 1 0 2032106 0 [pid=24860/tid=24861] ppid=24837 vsize=8283048 memory=1147144 CPUtime=2463.9 cores=0-7 /proc/24860/task/24861/stat : 24861 (java) R 24837 24837 15751 0 -1 4202560 17707 2285880 0 0 81 6 245991 312 20 0 22 0 419291122 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733189216368 139733217389974 0 4 2 25189581 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24862] ppid=24837 vsize=8283048 memory=1476 CPUtime=2463.03 cores=0-7 /proc/24860/task/24862/stat : 24862 (java) S 24837 24837 15751 0 -1 1077944384 1 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733221620368 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24863] ppid=24837 vsize=8283048 memory=120716 CPUtime=2463.03 cores=0-7 /proc/24860/task/24863/stat : 24863 (java) S 24837 24837 15751 0 -1 1077944384 1 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733021788688 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24864] ppid=24837 vsize=8283048 memory=1151292 CPUtime=2463.03 cores=0-7 /proc/24860/task/24864/stat : 24864 (java) S 24837 24837 15751 0 -1 1077944384 1 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733020735888 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24865] ppid=24837 vsize=8283048 memory=796 CPUtime=2463.03 cores=0-7 /proc/24860/task/24865/stat : 24865 (java) S 24837 24837 15751 0 -1 1077944384 3 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733019683088 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24866] ppid=24837 vsize=8283048 memory=1436 CPUtime=2463.03 cores=0-7 /proc/24860/task/24866/stat : 24866 (java) S 24837 24837 15751 0 -1 1077944384 1 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733018631312 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24867] ppid=24837 vsize=8283048 memory=22668 CPUtime=2463.03 cores=0-7 /proc/24860/task/24867/stat : 24867 (java) S 24837 24837 15751 0 -1 1077944384 2 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733017578512 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24868] ppid=24837 vsize=8283048 memory=992 CPUtime=2463.03 cores=0-7 /proc/24860/task/24868/stat : 24868 (java) S 24837 24837 15751 0 -1 1077944384 2 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733016525712 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24869] ppid=24837 vsize=8283048 memory=2044 CPUtime=2463.03 cores=0-7 /proc/24860/task/24869/stat : 24869 (java) S 24837 24837 15751 0 -1 1077944384 1 2285880 0 0 0 0 245991 312 20 0 22 0 419291124 8481841152 42518 33554432000 4194304 4196468 140721344903216 139733015472912 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24870] ppid=24837 vsize=8283048 memory=1428 CPUtime=2463.03 cores=0-7 /proc/24860/task/24870/stat : 24870 (java) S 24837 24837 15751 0 -1 1077944384 9 2285880 0 0 0 0 245991 312 20 0 22 0 419291125 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732444948848 139733217389186 0 0 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24871] ppid=24837 vsize=8283048 memory=1476 CPUtime=2463.03 cores=0-7 /proc/24860/task/24871/stat : 24871 (java) S 24837 24837 15751 0 -1 1077944384 13 2285880 0 0 0 0 245991 312 20 0 22 0 419291126 8481841152 42518 33554432000 4194304 4196468 140721344903216 139731526476832 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24872] ppid=24837 vsize=8283048 memory=120716 CPUtime=2463.03 cores=0-7 /proc/24860/task/24872/stat : 24872 (java) S 24837 24837 15751 0 -1 1077944384 21 2285880 0 0 0 0 245991 312 20 0 22 0 419291126 8481841152 42518 33554432000 4194304 4196468 140721344903216 139731392254832 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24873] ppid=24837 vsize=8283048 memory=1151292 CPUtime=2463.03 cores=0-7 /proc/24860/task/24873/stat : 24873 (java) S 24837 24837 15751 0 -1 1077944384 1 2285880 0 0 0 0 245991 312 20 0 22 0 419291128 8481841152 42518 33554432000 4194304 4196468 140721344903216 139731017750352 139733217396635 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24874] ppid=24837 vsize=8283048 memory=10992 CPUtime=2463.17 cores=0-7 /proc/24860/task/24874/stat : 24874 (java) S 24837 24837 15751 0 -1 1077944384 570 2285880 0 0 14 0 245991 312 20 0 22 0 419291128 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732443896688 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24875] ppid=24837 vsize=8283048 memory=12024 CPUtime=2463.16 cores=0-7 /proc/24860/task/24875/stat : 24875 (java) S 24837 24837 15751 0 -1 1077944384 225 2285880 0 0 13 0 245991 312 20 0 22 0 419291128 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732442843888 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24876] ppid=24837 vsize=8283048 memory=8322837506187033486 CPUtime=2463.22 cores=0-7 /proc/24860/task/24876/stat : 24876 (java) S 24837 24837 15751 0 -1 1077944384 988 2285880 0 0 19 0 245991 312 20 0 22 0 419291128 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732441791088 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24877] ppid=24837 vsize=8283048 memory=-7023579799431922829 CPUtime=2463.36 cores=0-7 /proc/24860/task/24877/stat : 24877 (java) R 24837 24837 15751 0 -1 4202560 1187 2285880 0 0 33 0 245991 312 20 0 22 0 419291128 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732440738288 139733197092812 0 4 2 25189581 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24878] ppid=24837 vsize=8283048 memory=804 CPUtime=2463.03 cores=0-7 /proc/24860/task/24878/stat : 24878 (java) S 24837 24837 15751 0 -1 1077944384 3 2285880 0 0 0 0 245991 312 20 0 22 0 419291129 8481841152 42518 33554432000 4194304 4196468 140721344903216 139730519845472 139733217388245 0 4 2 25189581 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24879] ppid=24837 vsize=8283048 memory=1808 CPUtime=2463.37 cores=0-7 /proc/24860/task/24879/stat : 24879 (java) S 24837 24837 15751 0 -1 1077944384 23 2285880 0 0 17 17 245991 312 20 0 22 0 419291129 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732439685680 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24881] ppid=24837 vsize=8283048 memory=924 CPUtime=2463.03 cores=0-7 /proc/24860/task/24881/stat : 24881 (java) S 24837 24837 15751 0 -1 1077944384 25 2285880 0 0 0 0 245991 312 20 0 22 0 419291199 8481841152 42518 33554432000 4194304 4196468 140721344903216 139732431651088 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 [pid=24860/tid=24885] ppid=24837 vsize=8283048 memory=740 CPUtime=2463.03 cores=0-7 /proc/24860/task/24885/stat : 24885 (java) S 24837 24837 15751 0 -1 1077944384 16 2285880 0 0 0 0 245991 312 20 0 22 0 419291202 8481841152 42518 33554432000 4194304 4196468 140721344903216 139729580320048 139733217389186 0 4 2 25189581 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33333248 140721344910327 140721344910486 140721344910486 140721344913359 0 Current children cumulated CPU time: 2469.61 s Current children cumulated vsize: 8396176 KiB Current children cumulated memory: 171548 KiB Child status: 0 Real time (s): 321.639 CPU time (s): 2469.71 CPU user time (s): 2466.17 CPU system time (s): 3.54268 CPU usage (%): 767.85 Max. virtual memory (cumulated for all children) (KiB): 27441876 Max. memory (cumulated for all children) (KiB): 1279400 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2466.17 system time used= 3.54268 maximum resident set size= 1153340 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2335406 page faults= 0 swaps= 0 block input operations= 0 block output operations= 21248 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 25184 involuntary context switches= 25997 # summary of solver processes directly reported to runsolver: # pid: 24837 # total CPU time (s): 2469.71 # total CPU user time (s): 2466.17 # total CPU system time (s): 3.54268 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 2.82537 second user time and 4.58831 second system time The end
Begin job on node117 at 2019-09-14 05:57:26 IDJOB=4392685 IDBENCH=133410 IDSOLVER=2839 FILE ID=node117/4392685-1568433489 RUNJOBID= node117-1568427144-15778 PBS_JOBID= 21702295 Free space on /tmp= 61184 MiB SOLVER NAME= Fun-sCOP hybrid+ManyGlucose (2019-06-15) BENCH NAME= XCSP17/Primes/Primes-m1-p10/Primes-10-40-2-7.xml COMMAND LINE= DIR/scop.sh 22g DIR/scop.jar -hybrid DIR/manyglucose-4.1-27_release -model:-nthreads=NBCORE:-maxmemory=20000:-lit-scans=6000000 TMPDIR BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4392685-1568433489/watcher-4392685-1568433489 -o /tmp/evaluation-result-4392685-1568433489/solver-4392685-1568433489 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node117-1568427144-15778 --watchdog 2580 HOME/scop.sh 22g HOME/scop.jar -hybrid HOME/manyglucose-4.1-27_release -model:-nthreads=8:-maxmemory=20000:-lit-scans=6000000 HOME HOME/instance-4392685-1568433489.xml TIME LIMIT= 20160 seconds MEMORY LIMIT= 31000 MiB NBCORE= 8 MD5SUM BENCH= c03c7f5b7c3afa870e2bbdca7571e3a2 RANDOM SEED=367374541 node117.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.75 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.75 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.75 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.75 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: 30935376 kB MemAvailable: 31865144 kB Buffers: 148684 kB Cached: 1047484 kB SwapCached: 51692 kB Active: 771252 kB Inactive: 479820 kB Active(anon): 19996 kB Inactive(anon): 59292 kB Active(file): 751256 kB Inactive(file): 420528 kB Unevictable: 110108 kB Mlocked: 110108 kB SwapTotal: 67108860 kB SwapFree: 66947748 kB Dirty: 20688 kB Writeback: 0 kB AnonPages: 127892 kB Mapped: 33660 kB Shmem: 15668 kB Slab: 176460 kB SReclaimable: 147636 kB SUnreclaim: 28824 kB KernelStack: 3712 kB PageTables: 5616 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 498668 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: 118144 kB DirectMap2M: 33427456 kB Free space on /tmp at the end= 61164 MiB End job on node117 at 2019-09-14 06:02:48