Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2400.01 | 2399.8 |
Name | Random/Random-RB-2-50-23/ rand-2-50-23-587-230-39.xml |
MD5SUM | 6ed171dcccdb92ebb130c3872609e61b |
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 | 2044.77 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 50 |
Number of constraints | 462 |
Number of domains | 1 |
Minimum domain size | 23 |
Maximum domain size | 23 |
Distribution of domain sizes | [{"size":23,"count":50}] |
Minimum variable degree | 11 |
Maximum variable degree | 27 |
Distribution of variable degrees | [{"degree":11,"count":2},{"degree":13,"count":4},{"degree":14,"count":2},{"degree":15,"count":4},{"degree":16,"count":5},{"degree":17,"count":1},{"degree":18,"count":6},{"degree":19,"count":4},{"degree":20,"count":9},{"degree":21,"count":2},{"degree":22,"count":4},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":25,"count":2},{"degree":27,"count":1}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 2 |
Distribution of constraint arities | [{"arity":2,"count":462}] |
Number of extensional constraints | 462 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"extension","count":462}] |
Optimization problem | NO |
Type of objective |
0.10/0.20 c root propagations : 0 0.10/0.20 c restarts enabled, print stats at every restarts 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c 0.10/0.20 c This is cosoco 2.00 -- 0.10/0.20 c 0.10/0.20 c command line: cosoco -lc -model -restarts -stick HOME/instance-4397403-1568573665.xml 0.10/0.20 c ========================================[ Problem Statistics ]=========================================== 0.10/0.20 c | 0.10/0.20 c | Parse time : 0.20 s 0.10/0.20 c | 0.10/0.20 c | Variables: 50 0.10/0.20 c | Domain Sizes: 23..23 0.10/0.20 c | 0.10/0.20 c | Constraints: 462 0.10/0.20 c | Arity: 2..2 -- Binary: 462 0.10/0.20 c | 0.10/0.20 c | Types: 0.10/0.20 c | Extension: 462 (nb tuples: 121..254) -- (shared: 0) 0.10/0.20 c | 0.10/0.20 c ========================================================================================================= 0.10/0.20 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.21 c 101 215 71367 24088 0 0 8 16 11 0.21/0.22 c 211 485 156232 52523 0 0 7 16 11 0.21/0.24 c 332 853 260734 85751 0 0 8 17 11 0.21/0.25 c 465 1250 371926 120942 0 0 7 15 12 0.21/0.27 c 611 1660 495319 163880 0 0 8 16 12 0.21/0.29 c 771 2053 617503 204941 0 0 8 15 11 0.21/0.31 c 947 2529 756893 247933 0 0 8 17 12 0.31/0.32 c 1140 2994 895377 288656 0 0 10 17 12 0.31/0.35 c 1352 3623 1076726 353756 0 0 7 16 10 0.31/0.37 c 1585 4348 1268964 411350 0 0 8 19 13 0.31/0.40 c 1841 5043 1471299 481018 0 0 7 17 11 0.41/0.43 c 2122 5825 1701897 564443 0 0 6 16 11 0.41/0.47 c 2431 6725 1955192 638821 0 0 8 18 12 0.41/0.51 c 2770 7654 2233658 734075 0 0 7 16 11 0.51/0.55 c 3142 8826 2567317 845324 0 0 7 17 11 0.51/0.60 c 3551 9938 2914586 968025 0 0 7 18 11 0.60/0.64 c 4000 10978 3241440 1075387 0 0 9 16 12 0.60/0.69 c 4493 12331 3617722 1190600 0 0 9 18 13 0.69/0.75 c 5035 13980 4064983 1326280 0 0 7 18 12 0.79/0.81 c 5631 15638 4524303 1467314 0 0 8 18 12 0.79/0.87 c 6286 17459 5021427 1626218 0 0 8 18 12 0.89/0.94 c 7006 19250 5563847 1814370 0 0 6 16 10 1.00/1.03 c 7798 21372 6187324 2011574 0 0 9 18 13 1.10/1.12 c 8669 23686 6879417 2232389 0 0 8 18 12 1.19/1.22 c 9627 26296 7623630 2476186 0 0 8 19 12 1.29/1.33 c 10680 29049 8472538 2771893 0 0 8 18 11 1.39/1.46 c 11838 32032 9365022 3089722 0 0 7 18 11 1.49/1.58 c 13111 35609 10363623 3397008 0 0 8 19 13 1.69/1.73 c 14511 39499 11485844 3744320 0 0 8 19 12 1.79/1.89 c 16051 43684 12703118 4139939 0 0 8 19 13 2.00/2.07 c 17745 48319 14051306 4564090 0 0 8 19 12 2.19/2.27 c 19608 53735 15578552 5058036 0 0 7 20 12 2.49/2.50 c 21657 59559 17247130 5656021 0 0 6 18 12 2.69/2.74 c 23910 66033 19091450 6246730 0 0 6 19 11 3.00/3.03 c 26388 72768 21145219 6944828 0 0 7 18 11 3.19/3.29 c 29113 79684 23171286 7600143 0 0 7 17 12 3.59/3.62 c 32110 88195 25607868 8400793 0 0 6 18 11 3.89/3.99 c 35406 97459 28350899 9297205 0 0 7 22 12 4.29/4.37 c 39031 107762 31218011 10265175 0 0 6 20 12 4.79/4.85 c 43018 119180 34561750 11461077 0 0 6 17 11 5.29/5.36 c 47403 131938 38243212 12756429 0 0 6 19 11 5.79/5.89 c 52226 145143 42156731 14038331 0 0 7 18 12 6.39/6.42 c 57531 159406 46299851 15332945 0 0 6 18 12 7.00/7.03 c 63366 175889 50985075 16814646 0 0 7 20 12 7.59/7.64 c 69784 192844 55786350 18319345 0 0 8 20 13 8.39/8.42 c 76843 214092 61666611 20269521 0 0 7 21 13 9.19/9.23 c 84607 236884 68046058 22216426 0 0 7 19 13 10.10/10.14 c 93147 260257 74825515 24450923 0 0 6 19 11 11.10/11.15 c 102541 286025 82345208 26951397 0 0 6 21 12 12.19/12.28 c 112874 315735 90881997 29676823 0 0 6 20 13 13.39/13.43 c 124240 347257 99780037 32490527 0 0 5 19 12 14.69/14.77 c 136742 382313 109821696 35823190 0 0 5 19 11 16.19/16.26 c 150494 420123 120822781 39531437 0 0 5 21 11 17.89/17.97 c 165621 463185 133321655 43743316 0 0 6 21 11 19.69/19.74 c 182260 509419 146697205 48111441 0 0 6 19 12 21.69/21.76 c 200562 560445 161565209 53115002 0 0 6 21 12 23.79/23.89 c 220694 615741 177775266 58339911 0 0 6 19 11 26.19/26.28 c 242839 677398 195405631 64303170 0 0 5 20 12 28.89/28.90 c 267198 743912 215132957 70676389 0 0 6 20 12 31.79/31.81 c 293992 820723 236937870 77863868 0 0 5 20 11 34.89/34.92 c 323465 904410 260662462 85332060 0 0 5 20 12 38.39/38.45 c 355885 992371 286868300 94040979 0 0 7 21 12 42.29/42.36 c 391547 1097210 316924587 103544250 0 0 5 21 12 46.59/46.60 c 430775 1210772 349392624 113861898 0 0 5 21 13 51.20/51.25 c 473925 1328087 384053303 125380050 0 0 5 19 12 56.40/56.43 c 521390 1452630 422294119 138054479 0 0 5 20 10 62.01/62.09 c 573601 1601640 465484297 151819583 0 0 5 22 12 67.90/67.95 c 631033 1762318 511382114 166115877 0 0 5 21 12 74.50/74.54 c 694208 1939578 562071085 182088563 0 0 4 22 12 82.01/82.09 c 763700 2142397 619003921 200499722 0 0 5 20 12 90.50/90.59 c 840141 2354187 681004224 221943953 0 0 5 22 11 99.60/99.60 c 924226 2596785 748982427 243885831 0 0 4 23 12 110.01/110.02 c 1016719 2860206 824768837 269738463 0 0 4 21 12 121.30/121.35 c 1118461 3145294 908410467 297625703 0 0 5 20 11 133.30/133.30 c 1230377 3466538 1000240928 326243156 0 0 4 21 12 145.80/145.88 c 1353484 3812317 1098299639 356704114 0 0 6 22 12 159.70/159.78 c 1488901 4183454 1204406735 390997154 0 0 5 22 12 175.41/175.40 c 1637859 4629462 1326079075 428665654 0 0 4 24 12 193.31/193.39 c 1801712 5089417 1460192900 472320460 0 0 5 21 11 213.81/213.86 c 1981950 5616067 1610725101 523098635 0 0 4 22 11 234.81/234.88 c 2180211 6170323 1767859155 574734103 0 0 5 21 12 259.02/259.08 c 2398298 6755113 1944697948 634423570 0 0 5 20 11 285.13/285.18 c 2638193 7410559 2137768537 698527742 0 0 5 22 12 315.13/315.18 c 2902077 8170937 2356208854 774133640 0 0 5 22 11 345.62/345.60 c 3192349 8987360 2591403806 847402669 0 0 5 22 12 378.42/378.41 c 3511648 9921307 2848623575 926873876 0 0 4 24 13 414.43/414.48 c 3862876 10901076 3131009006 1013310921 0 0 6 22 13 457.14/457.16 c 4249226 12019679 3448695235 1119929663 0 0 4 22 11 501.63/501.61 c 4674211 13208783 3791805767 1227140350 0 0 5 24 12 551.44/551.47 c 5141694 14544990 4170266256 1350572010 0 0 4 23 12 607.05/607.10 c 5655925 15967457 4586361944 1486856798 0 0 4 22 12 670.35/670.37 c 6221579 17604656 5055427094 1644417597 0 0 5 24 12 734.36/734.31 c 6843798 19387452 5555106592 1798717092 0 0 4 24 12 807.56/807.57 c 7528238 21362234 6108557411 1981352123 0 0 4 22 12 892.37/892.34 c 8281122 23537505 6733130967 2187313858 0 0 4 23 12 984.68/984.67 c 9109294 25812711 7414073101 2413300808 0 0 4 22 11 1085.10/1085.04 c 10020283 28341842 8151134511 2663168256 0 0 3 22 11 1195.30/1195.22 c 11022370 31110549 8971046281 2933068015 0 0 4 21 11 1314.31/1314.22 c 12124665 34208245 9872122704 3224092281 0 0 4 24 12 1447.72/1447.67 c 13337189 37759480 10871832306 3552207896 0 0 3 24 12 1591.03/1590.94 c 14670965 41559666 11967183262 3897736150 0 0 4 22 12 1755.95/1755.82 c 16138118 45506310 13156315265 4306613512 0 0 4 23 11 1938.56/1938.46 c 17751986 50314069 14510748019 4755895519 0 0 3 23 12 2138.58/2138.43 c 19527240 55413044 15987146873 5243853610 0 0 4 23 12 2358.21/2358.02 c 21480019 61126670 17610712080 5788084349 0 0 3 24 12 2400.00/2399.80 2400.00/2399.80 c *** INTERRUPTED *** 2400.00/2399.80 c restarts : 105 2400.00/2399.80 c conflicts : 21849090 (9104 /sec) 2400.00/2399.80 c decisions : 62188382 (25912 /sec) 2400.00/2399.80 c propagations : 5891683306 (2454860 /sec) 2400.00/2399.80 c root propagations : 0 2400.00/2399.80 c filter calls : 17914838530 (7464490 /sec) 2400.00/2399.80 c useless filter calls : 14614458576 (81 %) 2400.00/2399.80 c Memory used : 27.49 MB 2400.00/2399.80 c CPU time : 2400.01 s 2400.00/2399.80 c real time : 2399.8 s 2400.00/2399.80 2400.00/2399.80 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 (14493 MiB free) memory of node 1: 16384 MiB (15487 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397403-1568573665/watcher-4397403-1568573665 -o /tmp/evaluation-result-4397403-1568573665/solver-4397403-1568573665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397403-1568573665.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 solver pid=17362, runsolver pid=17359 Current StackSize limit: 8192 KiB [startup+0.100155 s]* /proc/loadavg: 2.01 1.91 1.26 3/199 17363 /proc/meminfo: memFree=30700344/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=27624 memory=3796 CPUtime=0.1 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1163 0 0 0 10 0 0 0 20 0 1 0 433308215 28286976 949 33554432000 4194304 6211092 140728373326528 140728373323064 140022662583424 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 6906 949 810 493 0 211 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 27624 KiB Current children cumulated memory: 3796 KiB [startup+0.210687 s]* /proc/loadavg: 2.01 1.91 1.26 3/199 17363 /proc/meminfo: memFree=30699848/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=0.21 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 21 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373323064 5008827 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1111 810 493 0 342 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4444 KiB [startup+0.310191 s]* /proc/loadavg: 2.01 1.91 1.26 3/199 17363 /proc/meminfo: memFree=30699848/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=0.31 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 31 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373323064 5017472 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1111 810 493 0 342 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4444 KiB [startup+0.700285 s] /proc/loadavg: 2.01 1.91 1.26 3/199 17363 /proc/meminfo: memFree=30699848/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=0.69 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 69 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373324488 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1111 810 493 0 342 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4444 KiB [startup+1.50029 s] /proc/loadavg: 2.01 1.91 1.26 3/199 17363 /proc/meminfo: memFree=30699672/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4444 CPUtime=1.49 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1322 0 0 0 149 0 0 0 20 0 1 0 433308215 28823552 1111 33554432000 4194304 6211092 140728373326528 140728373324488 5017476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1111 810 493 0 342 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4444 KiB [startup+3.11023 s] /proc/loadavg: 2.01 1.91 1.26 3/199 17363 /proc/meminfo: memFree=30699672/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=3.1 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1563 0 0 0 310 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+6.30028 s] /proc/loadavg: 1.85 1.88 1.25 3/199 17363 /proc/meminfo: memFree=30699816/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=6.29 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 1804 0 0 0 629 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+12.7003 s] /proc/loadavg: 1.86 1.88 1.26 3/199 17363 /proc/meminfo: memFree=30699600/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=12.69 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 2045 0 0 0 1269 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017564 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+25.5003 s] /proc/loadavg: 1.89 1.89 1.27 3/199 17363 /proc/meminfo: memFree=30699816/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=25.49 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 2515 0 0 0 2549 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017277 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+51.1103 s] /proc/loadavg: 1.93 1.90 1.29 3/199 17366 /proc/meminfo: memFree=30699568/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=51.11 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 2768 0 0 0 5111 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 51.11 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+102.3 s] /proc/loadavg: 1.97 1.91 1.33 3/199 17371 /proc/meminfo: memFree=30699396/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=102.3 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3009 0 0 0 10230 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017499 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+162.3 s] /proc/loadavg: 1.99 1.93 1.37 3/199 17375 /proc/meminfo: memFree=30699096/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=162.31 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3250 0 0 0 16231 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397387 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 162.31 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+222.3 s] /proc/loadavg: 2.00 1.94 1.41 3/199 17381 /proc/meminfo: memFree=30699180/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=222.31 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3491 0 0 0 22231 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017566 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+282.3 s] /proc/loadavg: 2.00 1.95 1.44 3/199 17386 /proc/meminfo: memFree=30698792/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=282.32 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3491 0 0 0 28232 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 282.32 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+342.3 s] /proc/loadavg: 2.00 1.96 1.48 3/199 17390 /proc/meminfo: memFree=30698000/32770688 swapFree=66961172/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=342.32 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3732 0 0 0 34232 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5207518 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+402.3 s] /proc/loadavg: 2.05 1.98 1.52 3/199 17403 /proc/meminfo: memFree=30697760/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=402.33 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3732 0 0 0 40233 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 402.33 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+462.3 s] /proc/loadavg: 2.02 1.99 1.54 3/201 17431 /proc/meminfo: memFree=30696764/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=462.33 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 3973 0 0 0 46233 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB ################ # More data... # ################ /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1602.43 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+1662.3 s] /proc/loadavg: 1.99 2.00 1.89 3/201 17602 /proc/meminfo: memFree=30775276/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1662.44 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6371 0 0 0 166244 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397352 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1662.44 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+1722.3 s] /proc/loadavg: 2.05 2.02 1.90 3/201 17669 /proc/meminfo: memFree=30575980/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1722.44 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6371 0 0 0 172244 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397387 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+1782.3 s] /proc/loadavg: 2.02 2.01 1.91 3/202 17674 /proc/meminfo: memFree=30566920/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1782.45 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6612 0 0 0 178245 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5397223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1782.45 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+1842.3 s] /proc/loadavg: 2.01 2.01 1.91 3/202 17680 /proc/meminfo: memFree=30563892/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1842.45 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6612 0 0 0 184245 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017569 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 1.92 3/200 17685 /proc/meminfo: memFree=30564024/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1902.46 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6841 0 0 0 190246 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1902.46 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 1.92 3/200 17689 /proc/meminfo: memFree=30564224/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=1962.46 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 6853 0 0 0 196246 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017221 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 1.93 3/200 17695 /proc/meminfo: memFree=30563660/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2022.47 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7082 0 0 0 202247 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017365 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2022.47 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 1.93 3/199 17700 /proc/meminfo: memFree=30563476/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2082.48 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7082 0 0 0 208248 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017564 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2082.48 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 1.94 3/199 17704 /proc/meminfo: memFree=30564312/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2142.48 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7323 0 0 0 214248 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017252 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2142.48 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 1.95 3/200 17718 /proc/meminfo: memFree=30563616/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2202.49 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7323 0 0 0 220249 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017466 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2202.49 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 1.95 3/200 17722 /proc/meminfo: memFree=30563816/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2262.49 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7552 0 0 0 226249 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2262.49 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 1.95 3/200 17726 /proc/meminfo: memFree=30563796/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2322.5 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7552 0 0 0 232250 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017540 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2322.5 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 1.95 3/200 17732 /proc/meminfo: memFree=30563248/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2382.5 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7793 0 0 0 238250 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017309 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2382.5 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2399.8 s] /proc/loadavg: 2.00 2.01 1.95 3/200 17732 /proc/meminfo: memFree=30563436/32770688 swapFree=66961176/67108860 [pid=17362] ppid=17359 vsize=28148 memory=4640 CPUtime=2400 cores=0-3 /proc/17362/stat : 17362 (cosoco) R 17359 17362 16726 0 -1 4202496 7793 0 0 0 240000 0 0 0 20 0 1 0 433308215 28823552 1160 33554432000 4194304 6211092 140728373326528 140728373324488 5017386 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 9240576 140728373330955 140728373331057 140728373331057 140728373333966 0 /proc/17362/statm: 7037 1160 853 493 0 342 0 Current children cumulated CPU time: 2400 s Current children cumulated vsize: 28148 KiB Current children cumulated memory: 4640 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2399.8 s] # the end of solver process 17362 was just reported to runsolver # cumulated CPU time of all completed processes: user=2400.01 s, system=0.006 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2399.8 CPU time (s): 2400.01 CPU user time (s): 2400.01 CPU system time (s): 0.006 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 28148 Max. memory (cumulated for all children) (KiB): 4640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2400.01 system time used= 0.006 maximum resident set size= 4704 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7831 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= 14 involuntary context switches= 603 # summary of solver processes directly reported to runsolver: # pid: 17362 # total CPU time (s): 2400.01 # total CPU user time (s): 2400.01 # total CPU system time (s): 0.006 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.2666 second user time and 16.7208 second system time The end
Begin job on node116 at 2019-09-15 20:53:44 IDJOB=4397403 IDBENCH=122171 IDSOLVER=2849 FILE ID=node116/4397403-1568573665 RUNJOBID= node116-1568572744-16757 PBS_JOBID= 21703332 Free space on /tmp= 61228 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/Random/Random-RB-2-50-23/rand-2-50-23-587-230-39.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397403-1568573665/watcher-4397403-1568573665 -o /tmp/evaluation-result-4397403-1568573665/solver-4397403-1568573665 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568572744-16757 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397403-1568573665.xml TIME LIMIT= 2400 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 6ed171dcccdb92ebb130c3872609e61b RANDOM SEED=2049076970 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: 30700840 kB MemAvailable: 31770808 kB Buffers: 105632 kB Cached: 1259076 kB SwapCached: 46624 kB Active: 1006048 kB Inactive: 487688 kB Active(anon): 83288 kB Inactive(anon): 94984 kB Active(file): 922760 kB Inactive(file): 392704 kB Unevictable: 110604 kB Mlocked: 110604 kB SwapTotal: 67108860 kB SwapFree: 66961172 kB Dirty: 3180 kB Writeback: 0 kB AnonPages: 196176 kB Mapped: 47612 kB Shmem: 40256 kB Slab: 169512 kB SReclaimable: 140680 kB SUnreclaim: 28832 kB KernelStack: 3632 kB PageTables: 5712 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 614320 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 147456 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= 61192 MiB End job on node116 at 2019-09-15 21:33:44