Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.04 | 2399.9 |
Name | PseudoBoolean/PseudoBoolean-dec-sptate/ Pb-Tate-K105.xml |
MD5SUM | 97ecf18ee478429776da5a0579fdf50d |
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 | 107.681 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 7140 |
Number of constraints | 7352 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":7140}] |
Minimum variable degree | 3 |
Maximum variable degree | 10 |
Distribution of variable degrees | [{"degree":3,"count":1},{"degree":4,"count":182},{"degree":5,"count":1264},{"degree":6,"count":2798},{"degree":7,"count":1757},{"degree":8,"count":724},{"degree":9,"count":208},{"degree":10,"count":206}] |
Minimum constraint arity | 1 |
Maximum constraint arity | 105 |
Distribution of constraint arities | [{"arity":1,"count":2},{"arity":2,"count":1352},{"arity":3,"count":2808},{"arity":4,"count":1872},{"arity":5,"count":624},{"arity":6,"count":208},{"arity":7,"count":208},{"arity":68,"count":210},{"arity":105,"count":68}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":7352}] |
Optimization problem | NO |
Type of objective |
1.00/1.03 c root propagations : 362 1.00/1.03 c restarts enabled, print stats at every restarts 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c 1.00/1.03 c This is cosoco 2.00 -- 1.00/1.03 c 1.00/1.03 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408645-1569804041.xml 1.00/1.03 c ========================================[ Problem Statistics ]=========================================== 1.00/1.03 c | 1.00/1.03 c | Parse time : 0.81 s 1.00/1.03 c | 1.00/1.03 c | Variables: 7140 1.00/1.03 c | Domain Sizes: 2..2 1.00/1.03 c | 1.00/1.03 c | Constraints: 7352 1.00/1.03 c | Arity: 1..105 -- Unary: 2 -- Binary: 1352 -- Ternary: 2808 1.00/1.03 c | 1.00/1.03 c | Types: 1.00/1.03 c | Sum: 7352 1.00/1.03 c | 1.00/1.03 c ========================================================================================================= 1.00/1.03 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 14.09/14.12 c 101 5083 4689550 1354357 362 0 1472 1798 1706 15.19/15.28 c 211 11911 5092197 1495174 362 0 287 5927 5529 15.89/15.96 c 332 15714 5326949 1586271 362 0 540 784 698 16.29/16.33 c 465 17550 5454573 1636960 362 0 372 410 388 17.19/17.21 c 611 27237 5627802 1704643 362 0 187 1917 1020 18.10/18.16 c 771 35557 5871256 1810867 362 0 857 1330 994 19.19/19.27 c 947 46197 6126346 1914266 362 0 1067 1529 1240 20.29/20.30 c 1140 53170 6442013 2029061 362 0 841 1308 1114 21.88/21.91 c 1352 65910 6886843 2223839 362 0 524 1556 1261 23.49/23.57 c 1585 74526 7495558 2480558 362 0 740 1385 1304 24.99/25.09 c 1841 81836 8063237 2711654 362 0 1118 1280 1173 26.69/26.75 c 2122 90688 8641480 2935892 362 0 952 1151 1023 28.59/28.62 c 2431 99601 9275263 3174436 362 0 899 1151 1065 31.69/31.72 c 2770 109368 10495150 3622627 362 0 973 1146 1047 34.18/34.27 c 3142 120042 11438904 3994334 362 0 909 1040 961 38.28/38.30 c 3551 139825 12845389 4504557 362 0 580 1594 1340 41.00/41.05 c 4000 157069 13787045 4850769 362 0 1271 1530 1398 45.10/45.19 c 4493 194940 14847364 5269301 362 0 789 2211 1796 48.09/48.18 c 5035 216702 15769336 5648639 362 0 1385 1749 1515 50.88/50.99 c 5631 231820 16773001 6071792 362 0 1221 1521 1303 54.18/54.25 c 6286 257013 17735991 6430603 362 0 912 1522 1371 57.38/57.45 c 7006 277111 18790118 6888519 362 0 900 1365 1106 60.38/60.45 c 7798 301286 19638405 7205512 362 0 1065 1302 1127 64.58/64.61 c 8669 328508 20967994 7773555 362 0 779 1184 1070 69.38/69.49 c 9627 354711 22630075 8385557 362 0 895 1059 967 78.00/78.04 c 10680 378473 25887670 9559366 362 0 856 995 920 89.78/89.83 c 11838 428214 30165007 11225684 362 0 820 1168 979 99.09/99.14 c 13111 460462 33690903 12596504 362 0 758 921 859 106.19/106.28 c 14511 495883 36236845 13669159 362 0 834 1053 929 118.29/118.33 c 16051 544644 40693097 15412502 362 0 731 1173 887 126.59/126.61 c 17745 592802 43965693 16742028 362 0 772 1006 919 138.48/138.59 c 19608 638245 48759798 18689181 362 0 726 916 805 153.88/153.93 c 21657 797459 52789488 20563461 362 0 636 1930 1236 164.09/164.14 c 23910 865534 56363076 22038598 362 0 1023 1429 1174 179.38/179.46 c 26388 965227 61669259 24290779 362 0 972 1236 1139 194.99/195.07 c 29113 1053827 67545389 26943647 362 0 1114 1236 1178 220.38/220.47 c 32110 1167461 77157930 30909114 362 0 858 1202 990 239.37/239.49 c 35406 1303929 83323146 33382664 362 0 794 1211 949 266.57/266.67 c 39031 1526169 91802805 36939614 362 0 624 1679 1294 293.27/293.36 c 43018 1687279 101363841 40599234 362 0 883 1357 1083 322.16/322.24 c 47403 1830006 111316295 44382696 362 0 467 991 659 347.07/347.19 c 52226 1997203 119441643 47887614 362 0 522 997 730 383.98/384.05 c 57531 2169148 133443264 53341614 362 0 441 913 581 422.37/422.40 c 63366 2400271 147133529 58173671 362 0 502 754 661 489.58/489.65 c 69784 2632980 175054473 68764199 362 0 477 728 603 553.48/553.56 c 76843 2945275 198986101 77364913 362 0 521 914 708 624.38/624.48 c 84607 3177254 228510693 88189009 362 0 478 716 597 708.89/708.95 c 93147 3382341 264702231 100944115 362 0 441 594 559 776.69/776.71 c 102541 3576064 293005020 111469346 362 0 464 607 546 887.51/887.59 c 112874 3839295 340740588 128335820 362 0 426 719 604 933.92/933.98 c 124240 4020829 360356750 135474935 362 0 611 735 681 1065.23/1065.27 c 136742 4350408 414042052 153700173 362 0 521 716 629 1180.24/1180.21 c 150494 4596931 466214482 173483028 362 0 519 697 599 1375.85/1375.86 c 165621 4885383 547589686 201475374 362 0 392 554 500 1540.66/1540.65 c 182260 5188525 617577238 226395467 362 0 474 594 552 1630.47/1630.42 c 200562 5465873 656026635 242065638 362 0 455 612 570 1786.98/1786.94 c 220694 6016843 720429062 265436721 362 0 442 916 671 1865.10/1865.10 c 242839 6506517 748571652 278184154 362 0 483 704 677 2222.61/2222.50 c 267198 8716177 871326951 321189781 362 0 508 2177 983 2400.03/2399.90 2400.03/2399.90 c *** INTERRUPTED *** 2400.03/2399.90 c restarts : 59 2400.03/2399.90 c conflicts : 283176 (118 /sec) 2400.03/2399.90 c decisions : 10141132 (4226 /sec) 2400.03/2399.90 c propagations : 341379762 (142254 /sec) 2400.03/2399.90 c root propagations : 362 2400.03/2399.90 c filter calls : 927309752 (386414 /sec) 2400.03/2399.90 c useless filter calls : 811976698 (87 %) 2400.03/2399.90 c Memory used : 357.30 MB 2400.03/2399.90 c CPU time : 2399.78 s 2400.03/2399.90 c real time : 2399.9 s 2400.03/2399.90 2400.03/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 (15424 MiB free) memory of node 1: 16384 MiB (15203 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408645-1569804041/watcher-4408645-1569804041 -o /tmp/evaluation-result-4408645-1569804041/solver-4408645-1569804041 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408645-1569804041.xml running on 4 cores: 0-3 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=29456, runsolver pid=29453 [startup+0.100148 s]* /proc/loadavg: 2.07 2.18 2.13 3/199 29457 /proc/meminfo: memFree=31353056/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=37828 memory=14120 CPUtime=0.1 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 3720 0 0 0 10 0 0 0 20 0 1 0 556345599 38735872 3530 33554432000 4194304 6211132 140725433277488 140725433271512 5522872 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 9457 3530 837 493 0 2762 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 37828 KiB Current children cumulated memory: 14120 KiB [startup+0.210807 s]* /proc/loadavg: 2.07 2.18 2.13 3/199 29457 /proc/meminfo: memFree=31330876/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=63068 memory=39464 CPUtime=0.21 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 10052 0 0 0 20 1 0 0 20 0 1 0 556345599 64581632 9866 33554432000 4194304 6211132 140725433277488 140725433271512 140716081327077 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 15767 9866 837 493 0 9072 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 63068 KiB Current children cumulated memory: 39464 KiB [startup+0.310774 s]* /proc/loadavg: 2.07 2.18 2.13 3/199 29457 /proc/meminfo: memFree=31299504/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=91004 memory=67184 CPUtime=0.31 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 17010 0 0 0 29 2 0 0 20 0 1 0 556345599 93188096 16796 33554432000 4194304 6211132 140725433277488 140725433271512 5452773 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 22751 16796 837 493 0 16056 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 91004 KiB Current children cumulated memory: 67184 KiB [startup+0.700332 s] /proc/loadavg: 2.07 2.18 2.13 3/199 29457 /proc/meminfo: memFree=31255112/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=199228 memory=175424 CPUtime=0.69 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 44063 0 0 0 62 7 0 0 20 0 1 0 556345599 204009472 43856 33554432000 4194304 6211132 140725433277488 140725433271512 140716081327077 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 49807 43856 837 493 0 43112 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 199228 KiB Current children cumulated memory: 175424 KiB [startup+1.50031 s] /proc/loadavg: 2.07 2.18 2.13 3/199 29457 /proc/meminfo: memFree=31147884/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=282300 memory=258584 CPUtime=1.49 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 64872 0 0 0 139 10 0 0 20 0 1 0 556345599 289075200 64646 33554432000 4194304 6211132 140725433277488 140725433275752 5157453 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 70575 64646 874 493 0 63880 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 282300 KiB Current children cumulated memory: 258584 KiB [startup+3.11085 s] /proc/loadavg: 2.07 2.17 2.13 3/200 29465 /proc/meminfo: memFree=31094408/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=294788 memory=271328 CPUtime=3.1 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 81586 0 0 0 299 11 0 0 20 0 1 0 556345599 301862912 67832 33554432000 4194304 6211132 140725433277488 140725433274920 5250266 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 73697 67832 874 493 0 67002 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 294788 KiB Current children cumulated memory: 271328 KiB [startup+6.30026 s] /proc/loadavg: 2.07 2.17 2.13 3/201 29467 /proc/meminfo: memFree=31093584/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=294788 memory=271328 CPUtime=6.28 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 87831 0 0 0 617 11 0 0 20 0 1 0 556345599 301862912 67832 33554432000 4194304 6211132 140725433277488 140725433274920 5155373 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 73697 67832 874 493 0 67002 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 294788 KiB Current children cumulated memory: 271328 KiB [startup+12.7003 s] /proc/loadavg: 2.06 2.17 2.12 3/200 29467 /proc/meminfo: memFree=31093660/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=294788 memory=271328 CPUtime=12.68 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 100373 0 0 0 1256 12 0 0 20 0 1 0 556345599 301862912 67832 33554432000 4194304 6211132 140725433277488 140725433274920 5155377 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 73697 67832 874 493 0 67002 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 294788 KiB Current children cumulated memory: 271328 KiB [startup+25.5003 s] /proc/loadavg: 2.05 2.16 2.12 3/200 29467 /proc/meminfo: memFree=31024380/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=341244 CPUtime=25.49 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 159340 0 0 0 2531 18 0 0 20 0 1 0 556345599 374657024 85311 33554432000 4194304 6211132 140725433277488 140725433275448 5409476 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85311 875 493 0 84774 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 341244 KiB [startup+51.1107 s] /proc/loadavg: 2.03 2.15 2.12 3/201 29470 /proc/meminfo: memFree=31024572/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=341244 CPUtime=51.09 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 188136 0 0 0 5090 19 0 0 20 0 1 0 556345599 374657024 85311 33554432000 4194304 6211132 140725433277488 140725433275448 5186256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85311 875 493 0 84774 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 341244 KiB [startup+102.3 s] /proc/loadavg: 1.97 2.11 2.11 3/200 29473 /proc/meminfo: memFree=31024864/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=341244 CPUtime=102.28 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 209926 0 0 0 10208 20 0 0 20 0 1 0 556345599 374657024 85311 33554432000 4194304 6211132 140725433277488 140725433275448 5250256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85311 875 493 0 84774 0 Current children cumulated CPU time: 102.28 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 341244 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.09 2.10 3/200 29477 /proc/meminfo: memFree=31023464/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=341244 CPUtime=162.28 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 232762 0 0 0 16206 22 0 0 20 0 1 0 556345599 374657024 85311 33554432000 4194304 6211132 140725433277488 140725433275448 5409493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85311 875 493 0 84774 0 Current children cumulated CPU time: 162.28 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 341244 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.07 2.10 3/200 29481 /proc/meminfo: memFree=31022000/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=341244 CPUtime=222.28 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 248568 0 0 0 22205 23 0 0 20 0 1 0 556345599 374657024 85311 33554432000 4194304 6211132 140725433277488 140725433275448 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85311 875 493 0 84774 0 Current children cumulated CPU time: 222.28 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 341244 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.06 2.09 3/200 29487 /proc/meminfo: memFree=31021940/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=341268 CPUtime=282.26 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 261032 0 0 0 28203 23 0 0 20 0 1 0 556345599 374657024 85317 33554432000 4194304 6211132 140725433277488 140725433275448 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85317 875 493 0 84774 0 Current children cumulated CPU time: 282.26 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 341268 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.05 2.09 3/199 29491 /proc/meminfo: memFree=31020740/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=342.27 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 262502 0 0 0 34203 24 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5397255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 342.27 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+402.3 s] /proc/loadavg: 1.97 2.03 2.08 3/199 29555 /proc/meminfo: memFree=30884612/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=402.27 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 262672 0 0 0 40203 24 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5155369 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 402.27 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+462.3 s] /proc/loadavg: 1.99 2.02 2.07 3/199 29561 /proc/meminfo: memFree=30884056/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=462.27 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 262809 0 0 0 46203 24 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5397248 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 462.27 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB ################ # More data... # ################ /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 1662.37 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.05 3/201 29699 /proc/meminfo: memFree=30878280/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=1722.38 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 265916 0 0 0 172213 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5155543 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 1722.38 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29703 /proc/meminfo: memFree=30878156/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=1782.38 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266079 0 0 0 178213 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5158107 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 1782.38 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29712 /proc/meminfo: memFree=30878084/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=1842.39 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266216 0 0 0 184214 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5250256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 1842.39 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 29718 /proc/meminfo: memFree=30877940/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=1902.39 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266419 0 0 0 190214 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5250256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 1902.39 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29722 /proc/meminfo: memFree=30877424/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=1962.4 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266514 0 0 0 196215 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5156288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 1962.4 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29726 /proc/meminfo: memFree=30877568/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2022.4 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266683 0 0 0 202215 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5250283 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2022.4 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/201 29732 /proc/meminfo: memFree=30877644/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2082.41 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266806 0 0 0 208216 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2082.41 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29736 /proc/meminfo: memFree=30877232/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2142.41 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 266983 0 0 0 214216 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2142.41 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29740 /proc/meminfo: memFree=30877492/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2202.41 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 267053 0 0 0 220216 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2202.41 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29746 /proc/meminfo: memFree=30877636/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2262.42 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 267312 0 0 0 226217 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5155543 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2262.42 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29750 /proc/meminfo: memFree=30878132/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2322.42 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 267420 0 0 0 232217 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2322.42 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29754 /proc/meminfo: memFree=30878280/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2382.43 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 267592 0 0 0 238218 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5250499 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2382.43 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29758 /proc/meminfo: memFree=30878248/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2400.03 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 267599 0 0 0 239978 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5397255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.9 s] # the end of solver process 29456 was just reported to runsolver # cumulated CPU time of all completed processes: user=2399.78 s, system=0.26002 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples [startup+2399.9 s] /proc/loadavg: 2.00 2.01 2.05 3/200 29758 /proc/meminfo: memFree=30878248/32770688 swapFree=67001380/67108860 [pid=29456] ppid=29453 vsize=365876 memory=342356 CPUtime=2400.03 cores=0-3 /proc/29456/stat : 29456 (cosoco) R 29453 29456 26332 0 -1 4202496 267599 0 0 0 239978 25 0 0 20 0 1 0 556345599 374657024 85589 33554432000 4194304 6211132 140725433277488 140725433275448 5397255 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 36757504 140725433279499 140725433279601 140725433279601 140725433282510 0 /proc/29456/statm: 91469 85589 875 493 0 84774 0 Current children cumulated CPU time: 2400.03 s Current children cumulated vsize: 365876 KiB Current children cumulated memory: 342356 KiB Child status: 1 Real time (s): 2399.9 CPU time (s): 2400.04 CPU user time (s): 2399.78 CPU system time (s): 0.26002 CPU usage (%): 100.006 Max. virtual memory (cumulated for all children) (KiB): 365876 Max. memory (cumulated for all children) (KiB): 342356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2399.78 system time used= 0.26002 maximum resident set size= 342420 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 267646 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= 102 involuntary context switches= 2025 # summary of solver processes directly reported to runsolver: # pid: 29456 # total CPU time (s): 2400.04 # total CPU user time (s): 2399.78 # total CPU system time (s): 0.26002 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.0354 second user time and 18.3008 second system time The end
Begin job on node116 at 2019-09-30 02:39:58 IDJOB=4408645 IDBENCH=135047 IDSOLVER=2875 FILE ID=node116/4408645-1569804041 RUNJOBID= node116-1569787351-26363 PBS_JOBID= 21705835 Free space on /tmp= 62028 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K105.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408645-1569804041/watcher-4408645-1569804041 -o /tmp/evaluation-result-4408645-1569804041/solver-4408645-1569804041 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26363 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408645-1569804041.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 97ecf18ee478429776da5a0579fdf50d RANDOM SEED=782495188 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: 31363036 kB MemAvailable: 31719776 kB Buffers: 193436 kB Cached: 483524 kB SwapCached: 3344 kB Active: 511364 kB Inactive: 308304 kB Active(anon): 160352 kB Inactive(anon): 63420 kB Active(file): 351012 kB Inactive(file): 244884 kB Unevictable: 108916 kB Mlocked: 108916 kB SwapTotal: 67108860 kB SwapFree: 67001380 kB Dirty: 3176 kB Writeback: 0 kB AnonPages: 261688 kB Mapped: 28312 kB Shmem: 72416 kB Slab: 183784 kB SReclaimable: 153360 kB SUnreclaim: 30424 kB KernelStack: 3760 kB PageTables: 6120 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 704840 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 212992 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= 62024 MiB End job on node116 at 2019-09-30 03:19:58