Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.01 | 2399.9 |
Name | PseudoBoolean/PseudoBoolean-dec-sptate/ Pb-Tate-K097.xml |
MD5SUM | c736c64a10dc2dd55507b217b8552514 |
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 | 120.497 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 6596 |
Number of constraints | 6792 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":6596}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":174},{"degree":5,"count":1168},{"degree":6,"count":2582},{"degree":7,"count":1621},{"degree":8,"count":668},{"degree":9,"count":192},{"degree":10,"count":190}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 97 |
Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":1248},{"arity":3,"count":2592},{"arity":4,"count":1728},{"arity":5,"count":576},{"arity":6,"count":192},{"arity":7,"count":192},{"arity":68,"count":194},{"arity":97,"count":68}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":6792}] |
Optimization problem | NO |
Type of objective |
0.89/0.92 c root propagations : 362 0.89/0.92 c restarts enabled, print stats at every restarts 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c 0.89/0.92 c This is cosoco 2.00 -- 0.89/0.92 c 0.89/0.92 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397377-1568584955.xml 0.89/0.92 c ========================================[ Problem Statistics ]=========================================== 0.89/0.92 c | 0.89/0.92 c | Parse time : 0.74 s 0.89/0.92 c | 0.89/0.92 c | Variables: 6596 0.89/0.92 c | Domain Sizes: 2..2 0.89/0.92 c | 0.89/0.92 c | Constraints: 6792 0.89/0.92 c | Arity: 1..97 -- Unary: 2 -- Binary: 1248 -- Ternary: 2592 0.89/0.92 c | 0.89/0.92 c | Types: 0.89/0.92 c | Sum: 6792 0.89/0.92 c | 0.89/0.92 c ========================================================================================================= 0.89/0.92 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 2.00/2.02 c 101 3981 380299 139370 362 0 1163 3111 2774 3.29/3.35 c 211 6550 905504 316525 362 0 230 827 782 4.79/4.87 c 332 21735 1340293 466624 362 0 279 5973 1171 5.89/5.93 c 465 30079 1671515 588209 362 0 464 1333 915 7.00/7.05 c 611 36886 2086751 741124 362 0 744 921 829 8.69/8.76 c 771 41609 2848352 1034578 362 0 696 782 758 9.79/9.82 c 947 45471 3277748 1213388 362 0 762 817 792 11.29/11.30 c 1140 53888 3802626 1415861 362 0 680 897 807 12.00/12.09 c 1352 57872 4116462 1533932 362 0 676 730 710 13.49/13.50 c 1585 69864 4551481 1702859 362 0 514 1145 908 14.69/14.75 c 1841 79226 4984135 1869604 362 0 748 918 843 17.10/17.12 c 2122 98180 5761283 2181189 362 0 681 1421 1070 18.19/18.24 c 2431 106937 6151705 2332686 362 0 889 1072 985 19.69/19.77 c 2770 118427 6678907 2543798 362 0 885 1088 977 21.79/21.87 c 3142 135650 7377733 2823576 362 0 935 1436 1101 24.00/24.06 c 3551 151434 8209822 3144749 362 0 1205 1346 1293 26.79/26.80 c 4000 170815 9165786 3493016 362 0 1171 1474 1293 30.29/30.31 c 4493 190291 10438192 3959716 362 0 893 1326 1061 33.88/33.91 c 5035 227021 11520319 4411239 362 0 918 1592 1392 36.79/36.81 c 5631 247842 12644982 4938750 362 0 1092 1400 1219 40.68/40.79 c 6286 270136 14213241 5584772 362 0 670 1132 819 53.47/53.51 c 7006 316585 19024767 7271435 362 0 483 695 618 59.47/59.59 c 7798 359501 20969531 8022093 362 0 556 723 659 63.17/63.23 c 8669 382800 22303702 8593954 362 0 492 684 621 68.26/68.37 c 9627 427876 23815344 9266320 362 0 439 677 550 75.36/75.44 c 10680 474924 26250434 10306611 362 0 393 733 483 82.86/82.98 c 11838 501852 29356369 11603426 362 0 333 565 381 91.35/91.42 c 13111 524762 33232966 13153563 362 0 312 503 367 100.76/100.89 c 14511 614643 36145742 14324385 362 0 330 1544 1023 112.45/112.50 c 16051 727416 39406973 15789633 362 0 520 1499 802 120.84/120.98 c 17745 788109 42388241 17362757 362 0 512 754 626 128.84/128.90 c 19608 847255 45254290 18841741 362 0 555 829 667 142.83/142.99 c 21657 1023467 48597383 20242078 362 0 557 2034 1265 155.33/155.49 c 23910 1165429 52019770 21601604 362 0 908 1455 1231 163.52/163.61 c 26388 1244198 54650103 22725742 362 0 409 915 751 186.52/186.63 c 29113 1541736 60717603 25006111 362 0 627 2120 1818 216.31/216.44 c 32110 1878688 69065028 28122643 362 0 1023 2456 1524 230.92/231.06 c 35406 2046830 72917925 29595396 362 0 762 1229 1020 255.52/255.63 c 39031 2369643 78625097 31868423 362 0 789 2144 1304 283.72/283.80 c 43018 2662314 87380393 35689753 362 0 1069 1943 1341 314.32/314.46 c 47403 2879081 98916861 40777739 362 0 887 1433 1247 371.04/371.13 c 52226 3276421 120877890 49755523 362 0 949 1731 1347 419.63/419.70 c 57531 3609613 140221026 57826101 362 0 1170 1866 1445 485.05/485.19 c 63366 4024068 166314642 68059294 362 0 1114 1878 1600 523.44/523.55 c 69784 4289503 180099925 73773680 362 0 905 1618 1269 584.25/584.33 c 76843 4664582 205096378 82829540 362 0 1414 2034 1682 627.75/627.80 c 84607 4999632 222972753 90172647 362 0 1375 1872 1578 664.26/664.36 c 93147 5308419 237030854 95737339 362 0 1197 1798 1498 719.86/719.90 c 102541 5653610 260247714 104740782 362 0 1164 1542 1353 814.27/814.35 c 112874 6038336 304997156 122064565 362 0 1258 1442 1364 918.88/919.00 c 124240 6370012 353455733 139194906 362 0 1055 1459 1216 994.28/994.30 c 136742 6960770 382833383 151190900 362 0 928 1903 1323 1056.69/1056.73 c 150494 7626042 402011532 159842226 362 0 1274 1810 1499 1155.80/1155.81 c 165621 8460272 436999681 174000250 362 0 1300 1837 1582 1233.70/1233.78 c 182260 9114788 466348188 185782609 362 0 1158 1733 1592 1306.21/1306.29 c 200562 9637299 493575677 196629879 362 0 1097 1453 1230 1419.52/1419.51 c 220694 10393582 535605164 214251460 362 0 922 1465 1202 1556.44/1556.45 c 242839 11151380 592135404 236972475 362 0 939 1218 1104 1689.94/1689.92 c 267198 12310880 639240028 256660374 362 0 907 1415 1190 1878.26/1878.28 c 293992 13660986 714721130 287230196 362 0 1089 1779 1379 2071.67/2071.60 c 323465 15073540 789387306 315757127 362 0 1053 1674 1333 2225.88/2225.88 c 355885 15919610 857593726 339519475 362 0 1085 1475 1259 2380.40/2380.32 c 391547 16588094 931355439 365611825 362 0 995 1212 1128 2400.00/2399.90 2400.00/2399.90 c *** INTERRUPTED *** 2400.00/2399.90 c restarts : 63 2400.00/2399.90 c conflicts : 396107 (165 /sec) 2400.00/2399.90 c decisions : 16704454 (6961 /sec) 2400.00/2399.90 c propagations : 368461667 (153540 /sec) 2400.00/2399.90 c root propagations : 362 2400.00/2399.90 c filter calls : 939730620 (391592 /sec) 2400.00/2399.90 c useless filter calls : 834721486 (88 %) 2400.00/2399.90 c Memory used : 335.88 MB 2400.00/2399.90 c CPU time : 2399.77 s 2400.00/2399.90 c real time : 2399.9 s 2400.00/2399.90 2400.00/2399.90 s UNKNOWN
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: 16375 MiB (14433 MiB free) memory of node 1: 16384 MiB (15560 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397377-1568584955/watcher-4397377-1568584955 -o /tmp/evaluation-result-4397377-1568584955/solver-4397377-1568584955 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397377-1568584955.xml running on 4 cores: 4-7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Linux 3.10.0-514.16.1.el7.x86_64 Starting watchdog thread Current StackSize limit: 8192 KiB solver pid=19258, runsolver pid=19255 [startup+0.100167 s]* /proc/loadavg: 2.07 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30704520/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=36720 memory=13148 CPUtime=0.1 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 3470 0 0 0 10 0 0 0 20 0 1 0 434437124 37601280 3287 33554432000 4194304 6211092 140731105267360 140731105263896 140338892960288 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 9180 3287 837 493 0 2485 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 36720 KiB Current children cumulated memory: 13148 KiB [startup+0.211085 s]* /proc/loadavg: 2.07 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30680340/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=64168 memory=40576 CPUtime=0.21 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 10312 0 0 0 20 1 0 0 20 0 1 0 434437124 65708032 10144 33554432000 4194304 6211092 140731105267360 140731105263896 140338892127205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 16042 10144 837 493 0 9347 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 64168 KiB Current children cumulated memory: 40576 KiB [startup+0.311117 s]* /proc/loadavg: 2.07 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30653928/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=90352 memory=66612 CPUtime=0.31 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 16874 0 0 0 29 2 0 0 20 0 1 0 434437124 92520448 16653 33554432000 4194304 6211092 140731105267360 140731105263896 140338892127205 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 22588 16653 837 493 0 15893 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 90352 KiB Current children cumulated memory: 66612 KiB [startup+0.700444 s] /proc/loadavg: 2.07 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30607080/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=189708 memory=165880 CPUtime=0.69 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 41687 0 0 0 63 6 0 0 20 0 1 0 434437124 194260992 41470 33554432000 4194304 6211092 140731105267360 140731105264632 140338892175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 47427 41470 837 493 0 40732 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 189708 KiB Current children cumulated memory: 165880 KiB [startup+1.50042 s] /proc/loadavg: 2.07 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30528108/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=269684 memory=245692 CPUtime=1.49 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 61596 0 0 0 141 8 0 0 20 0 1 0 434437124 276156416 61423 33554432000 4194304 6211092 140731105267360 140731105264952 5250272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 67421 61423 874 493 0 60726 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 269684 KiB Current children cumulated memory: 245692 KiB [startup+3.1109 s] /proc/loadavg: 2.06 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30461148/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=280060 memory=256076 CPUtime=3.1 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 84727 0 0 0 300 10 0 0 20 0 1 0 434437124 286781440 64019 33554432000 4194304 6211092 140731105267360 140731105264952 5155525 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 70015 64019 875 493 0 63320 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 280060 KiB Current children cumulated memory: 256076 KiB [startup+6.3003 s] /proc/loadavg: 2.06 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30400628/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=316188 CPUtime=6.29 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 125108 0 0 0 615 14 0 0 20 0 1 0 434437124 352186368 79047 33554432000 4194304 6211092 140731105267360 140731105265320 5250272 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 79047 875 493 0 79288 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 316188 KiB [startup+12.7003 s] /proc/loadavg: 2.06 2.03 2.05 3/201 19259 /proc/meminfo: memFree=30400348/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=316188 CPUtime=12.69 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 143413 0 0 0 1254 15 0 0 20 0 1 0 434437124 352186368 79047 33554432000 4194304 6211092 140731105267360 140731105265320 5409444 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 79047 875 493 0 79288 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 316188 KiB [startup+25.5003 s] /proc/loadavg: 2.13 2.04 2.05 3/201 19259 /proc/meminfo: memFree=30400380/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=316192 CPUtime=25.49 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 167141 0 0 0 2533 16 0 0 20 0 1 0 434437124 352186368 79048 33554432000 4194304 6211092 140731105267360 140731105265320 5409457 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 79048 875 493 0 79288 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 316192 KiB [startup+51.1109 s] /proc/loadavg: 2.16 2.06 2.06 3/201 19261 /proc/meminfo: memFree=30400040/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=316192 CPUtime=51.09 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 186567 0 0 0 5091 18 0 0 20 0 1 0 434437124 352186368 79048 33554432000 4194304 6211092 140731105267360 140731105265320 5157452 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 79048 875 493 0 79288 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 316192 KiB [startup+102.3 s] /proc/loadavg: 2.07 2.05 2.05 3/201 19265 /proc/meminfo: memFree=30399632/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=316196 CPUtime=102.26 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 204811 0 0 0 10207 19 0 0 20 0 1 0 434437124 352186368 79049 33554432000 4194304 6211092 140731105267360 140731105265320 5156256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 79049 875 493 0 79288 0 Current children cumulated CPU time: 102.26 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 316196 KiB [startup+162.3 s] /proc/loadavg: 2.03 2.04 2.05 3/201 19269 /proc/meminfo: memFree=30399436/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=316252 CPUtime=162.22 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 219764 0 0 0 16202 20 0 0 20 0 1 0 434437124 352186368 79063 33554432000 4194304 6211092 140731105267360 140731105265320 5396287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 79063 875 493 0 79288 0 Current children cumulated CPU time: 162.22 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 316252 KiB [startup+222.3 s] /proc/loadavg: 2.08 2.05 2.05 3/199 19275 /proc/meminfo: memFree=30395152/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320448 CPUtime=222.21 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 223424 0 0 0 22201 20 0 0 20 0 1 0 434437124 352186368 80112 33554432000 4194304 6211092 140731105267360 140731105265320 5397352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80112 875 493 0 79288 0 Current children cumulated CPU time: 222.21 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320448 KiB [startup+282.3 s] /proc/loadavg: 2.03 2.04 2.05 3/199 19279 /proc/meminfo: memFree=30395812/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320448 CPUtime=282.22 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 224404 0 0 0 28201 21 0 0 20 0 1 0 434437124 352186368 80112 33554432000 4194304 6211092 140731105267360 140731105265320 5156256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80112 875 493 0 79288 0 Current children cumulated CPU time: 282.22 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320448 KiB [startup+342.3 s] /proc/loadavg: 2.01 2.04 2.05 3/199 19283 /proc/meminfo: memFree=30395892/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320448 CPUtime=342.23 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 225070 0 0 0 34202 21 0 0 20 0 1 0 434437124 352186368 80112 33554432000 4194304 6211092 140731105267360 140731105265320 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80112 875 493 0 79288 0 Current children cumulated CPU time: 342.23 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320448 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 19290 /proc/meminfo: memFree=30395332/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320448 CPUtime=402.23 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 225284 0 0 0 40202 21 0 0 20 0 1 0 434437124 352186368 80112 33554432000 4194304 6211092 140731105267360 140731105265320 5156931 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80112 875 493 0 79288 0 Current children cumulated CPU time: 402.23 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320448 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 19294 /proc/meminfo: memFree=30395628/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320448 CPUtime=462.23 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 226139 0 0 0 46202 21 0 0 20 0 1 0 434437124 352186368 80112 33554432000 4194304 6211092 140731105267360 140731105265320 5155777 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80112 875 493 0 79288 0 Current children cumulated CPU time: 462.23 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320448 KiB ################ # More data... # ################ /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 1662.34 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+1722.3 s] /proc/loadavg: 2.14 2.05 2.06 3/199 19418 /proc/meminfo: memFree=30396000/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=1722.35 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 236990 0 0 0 172212 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 1722.35 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+1782.3 s] /proc/loadavg: 2.05 2.04 2.05 3/199 19422 /proc/meminfo: memFree=30395608/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=1782.35 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 237313 0 0 0 178212 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5250272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 1782.35 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+1842.3 s] /proc/loadavg: 2.02 2.03 2.05 3/199 19428 /proc/meminfo: memFree=30396060/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=1842.36 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 237358 0 0 0 184213 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5250251 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 1842.36 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+1902.3 s] /proc/loadavg: 2.01 2.03 2.05 3/199 19432 /proc/meminfo: memFree=30396004/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=1902.36 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 238119 0 0 0 190213 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5397223 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 1902.36 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 19436 /proc/meminfo: memFree=30395860/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=1962.36 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 238182 0 0 0 196213 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 1962.36 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 19442 /proc/meminfo: memFree=30394992/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2022.37 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 238611 0 0 0 202214 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5409457 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2022.37 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 19446 /proc/meminfo: memFree=30395384/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2082.37 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 239338 0 0 0 208214 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5155800 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2082.37 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2142.3 s] /proc/loadavg: 2.13 2.04 2.05 3/199 19572 /proc/meminfo: memFree=30448712/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2142.38 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 239394 0 0 0 214215 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5155668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2142.38 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2202.3 s] /proc/loadavg: 2.05 2.04 2.05 3/199 19578 /proc/meminfo: memFree=30447444/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2202.38 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 239715 0 0 0 220215 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5250467 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2202.38 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2262.3 s] /proc/loadavg: 2.05 2.04 2.05 3/199 19582 /proc/meminfo: memFree=30447520/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2262.39 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 240437 0 0 0 226216 23 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5155337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2262.39 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2322.3 s] /proc/loadavg: 2.02 2.04 2.05 3/200 19594 /proc/meminfo: memFree=30448688/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2322.4 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 240492 0 0 0 232216 24 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5250467 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2322.4 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB [startup+2382.3 s] /proc/loadavg: 2.01 2.03 2.05 3/200 19600 /proc/meminfo: memFree=30447880/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2382.4 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 241181 0 0 0 238216 24 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5250272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2382.4 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.01 2.03 2.05 3/200 19600 /proc/meminfo: memFree=30448312/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2400 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 241232 0 0 0 239976 24 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5409439 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 19258 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.77 s, system=0.243017 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.01 2.03 2.05 3/200 19600 /proc/meminfo: memFree=30448312/32770688 swapFree=66961176/67108860 [pid=19258] ppid=19255 vsize=343932 memory=320452 CPUtime=2400 cores=4-7 /proc/19258/stat : 19258 (cosoco) R 19255 19258 16726 0 -1 4202496 241232 0 0 0 239976 24 0 0 20 0 1 0 434437124 352186368 80113 33554432000 4194304 6211092 140731105267360 140731105265320 5409439 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 29880320 140731105272843 140731105272945 140731105272945 140731105275854 0 /proc/19258/statm: 85983 80113 875 493 0 79288 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 343932 KiB Current children cumulated memory: 320452 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.01 CPU user time (s): 2399.77 CPU system time (s): 0.243017 CPU usage (%): 100.005 Max. virtual memory (cumulated for all children) (KiB): 343932 Max. memory (cumulated for all children) (KiB): 320452 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.77 system time used= 0.243017 maximum resident set size= 320516 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 241283 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 110 involuntary context switches= 902 # summary of solver processes directly reported to runsolver: # pid: 19258 # total CPU time (s): 2400.01 # total CPU user time (s): 2399.77 # total CPU system time (s): 0.243017 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 8.30814 second user time and 20.176 second system time The end
Begin job on node116 at 2019-09-16 00:01:54 IDJOB=4397377 IDBENCH=135026 IDSOLVER=2849 FILE ID=node116/4397377-1568584955 RUNJOBID= node116-1568572744-16758 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K097.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397377-1568584955/watcher-4397377-1568584955 -o /tmp/evaluation-result-4397377-1568584955/solver-4397377-1568584955 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16758 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397377-1568584955.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c736c64a10dc2dd55507b217b8552514 RANDOM SEED=1112019617 node116.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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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.12 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB MemFree: 30713736 kB MemAvailable: 31793912 kB Buffers: 110492 kB Cached: 1264408 kB SwapCached: 46620 kB Active: 981284 kB Inactive: 496868 kB Active(anon): 57544 kB Inactive(anon): 94976 kB Active(file): 923740 kB Inactive(file): 401892 kB Unevictable: 110612 kB Mlocked: 110612 kB SwapTotal: 67108860 kB SwapFree: 66961176 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 168216 kB Mapped: 48000 kB Shmem: 40260 kB Slab: 169012 kB SReclaimable: 140756 kB SUnreclaim: 28256 kB KernelStack: 3552 kB PageTables: 5812 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 588360 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 120832 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 116160 kB DirectMap2M: 33429504 kB Free space on /tmp at the end= 61228 MiB End job on node116 at 2019-09-16 00:41:54