Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2.0 | ? (TO) | 2519.51 | 2520.01 |
Name | PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army12-21ls.xml |
MD5SUM | 23e4294b931acf98fdd35eb0662a4341 |
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 | 470.531 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 428 |
Number of constraints | 644 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":428}] |
Minimum variable degree | 3 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":296},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":52}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":296},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":52},{"arity":144,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":644}] |
Optimization problem | NO |
Type of objective |
0.00/0.07 c root propagations : 0 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396932-1568588289.xml 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.06 s 0.00/0.07 c | 0.00/0.07 c | Variables: 428 0.00/0.07 c | Domain Sizes: 2..2 0.00/0.07 c | 0.00/0.07 c | Constraints: 644 0.00/0.07 c | Arity: 2..144 -- Binary: 222 -- Ternary: 8 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | Sum: 644 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.11 c 101 1150 56359 16067 0 0 276 309 289 0.10/0.15 c 211 2674 124717 33540 0 0 215 257 247 0.10/0.20 c 332 4168 195288 51415 0 0 228 260 250 0.21/0.26 c 465 5741 276901 73262 0 0 234 255 247 0.21/0.30 c 611 7129 338804 89960 0 0 217 259 251 0.31/0.34 c 771 8537 403610 106785 0 0 238 261 253 0.31/0.40 c 947 10410 494263 130650 0 0 232 257 250 0.41/0.46 c 1140 12194 581556 153153 0 0 215 259 251 0.51/0.52 c 1352 14160 678724 178197 0 0 229 261 252 0.60/0.62 c 1585 17555 815800 213318 0 0 191 260 250 0.69/0.71 c 1841 20441 942142 245807 0 0 218 261 251 0.69/0.79 c 2122 23053 1065469 277461 0 0 236 259 253 0.89/0.90 c 2431 26551 1216726 318529 0 0 214 258 249 0.89/1.00 c 2770 29938 1367093 357697 0 0 228 260 252 1.00/1.10 c 3142 33167 1520569 400482 0 0 236 260 252 1.19/1.24 c 3551 37256 1722778 454088 0 0 225 259 251 1.39/1.43 c 4000 43539 1986227 526851 0 0 190 260 249 1.59/1.60 c 4493 49319 2221560 593395 0 0 203 259 250 1.69/1.77 c 5035 54774 2477958 663258 0 0 209 260 252 1.89/1.97 c 5631 60942 2776705 743333 0 0 208 259 250 2.10/2.15 c 6286 66590 3063304 821870 0 0 229 260 252 2.29/2.35 c 7006 72783 3363170 903704 0 0 238 260 254 2.59/2.69 c 7798 84192 3832168 1027431 0 0 157 259 249 3.00/3.06 c 8669 96273 4353371 1162179 0 0 162 260 250 3.28/3.36 c 9627 105635 4804365 1282836 0 0 207 260 251 3.58/3.67 c 10680 115204 5286322 1409823 0 0 223 259 252 3.99/4.01 c 11838 125795 5797166 1546563 0 0 207 261 252 4.38/4.45 c 13111 139920 6446616 1720578 0 0 184 258 250 4.78/4.84 c 14511 151115 7061564 1882189 0 0 232 261 254 5.18/5.28 c 16051 164235 7757241 2066744 0 0 212 260 253 5.78/5.85 c 17745 181672 8606396 2289349 0 0 206 261 252 6.28/6.38 c 19608 198332 9421325 2508507 0 0 212 263 254 6.99/7.07 c 21657 218753 10471016 2786791 0 0 215 259 251 7.68/7.79 c 23910 240523 11568436 3080803 0 0 187 259 250 8.38/8.41 c 26388 259520 12522418 3354978 0 0 225 261 252 9.09/9.17 c 29113 281866 13706473 3675307 0 0 219 263 252 10.09/10.12 c 32110 310955 15144360 4070758 0 0 202 259 251 11.09/11.19 c 35406 344309 16734783 4510124 0 0 201 258 250 12.18/12.26 c 39031 377005 18361899 4949993 0 0 224 260 252 13.58/13.60 c 43018 418094 20382008 5493890 0 0 212 259 250 15.09/15.13 c 47403 463947 22684336 6100993 0 0 179 261 251 16.58/16.67 c 52226 509957 25081219 6734287 0 0 204 260 251 18.28/18.37 c 57531 562859 27660129 7426465 0 0 178 260 252 20.38/20.48 c 63366 626528 30822266 8276552 0 0 159 263 253 23.18/23.23 c 69784 713453 34792394 9312189 0 0 143 264 251 25.78/25.88 c 76843 798215 38635829 10331531 0 0 146 263 252 27.88/27.90 c 84607 861594 41745663 11155715 0 0 212 264 255 30.68/30.73 c 93147 952247 45945680 12253000 0 0 193 262 252 33.78/33.88 c 102541 1051008 50656435 13497867 0 0 172 260 250 36.88/36.93 c 112874 1143966 55337007 14746223 0 0 202 260 252 40.09/40.15 c 124240 1238940 60340856 16098527 0 0 211 262 253 43.88/43.94 c 136742 1355313 66116360 17665872 0 0 207 261 252 48.09/48.19 c 150494 1484543 72673273 19423507 0 0 156 259 250 52.77/52.85 c 165621 1622535 79940661 21327247 0 0 199 261 251 57.67/57.72 c 182260 1765611 87593891 23383534 0 0 195 260 252 63.57/63.61 c 200562 1949111 96516064 25725563 0 0 179 262 251 69.98/70.02 c 220694 2141505 106298011 28367205 0 0 178 261 251 78.27/78.32 c 242839 2401415 118490597 31573122 0 0 142 261 250 85.77/85.83 c 267198 2630380 129991448 34626174 0 0 179 262 253 95.08/95.18 c 293992 2923618 143777658 38382216 0 0 147 263 250 103.98/104.06 c 323465 3199742 157111759 41988221 0 0 176 263 252 114.27/114.39 c 355885 3526348 172626833 46040761 0 0 196 263 253 125.76/125.83 c 391547 3875785 189977862 50632539 0 0 147 263 252 138.67/138.76 c 430775 4278314 209375512 55755262 0 0 147 264 252 152.98/153.03 c 473925 4722244 230911117 61431535 0 0 193 261 251 168.86/168.91 c 521390 5194293 255086842 67879646 0 0 156 263 251 184.46/184.54 c 573601 5671960 278913348 74210426 0 0 175 262 252 200.26/200.30 c 631033 6145353 303295601 80837602 0 0 203 263 253 219.16/219.22 c 694208 6704017 332901222 88515438 0 0 207 264 253 244.15/244.25 c 763700 7489201 370080527 98274898 0 0 168 263 251 270.45/270.50 c 840141 8320794 409103638 108508046 0 0 151 264 252 293.55/293.63 c 924226 9012889 445138720 118403902 0 0 199 264 253 325.54/325.62 c 1016719 10004166 492965421 130902105 0 0 158 264 252 355.24/355.30 c 1118461 10855754 539904834 143354483 0 0 204 265 255 390.43/390.57 c 1230377 11923992 594922486 157541664 0 0 176 265 254 428.23/428.36 c 1353484 13014617 655095223 173141638 0 0 164 266 254 485.32/485.41 c 1488901 14903907 735577875 193996841 0 0 140 264 249 542.41/542.54 c 1637859 16757332 817734898 215564000 0 0 144 265 251 594.50/594.64 c 1801712 18387795 895953239 236306021 0 0 156 267 253 659.00/659.17 c 1981950 20444786 990316581 261335592 0 0 142 265 252 726.68/726.81 c 2180211 22576612 1090179522 288249618 0 0 138 264 252 801.77/801.91 c 2398298 24936843 1201383289 318262339 0 0 144 263 251 880.06/880.28 c 2638193 27421273 1317731629 349971281 0 0 135 265 252 992.95/993.13 c 2902077 31128876 1476570161 390613552 0 0 131 265 249 1107.73/1107.95 c 3192349 34904602 1640147083 432784570 0 0 133 266 250 1203.71/1203.99 c 3511648 37979740 1784438843 470458712 0 0 168 266 253 1313.80/1314.02 c 3862876 41417943 1950496874 513572540 0 0 162 266 253 1433.28/1433.58 c 4249226 44736162 2140306426 566241216 0 0 168 262 251 1550.66/1550.98 c 4674211 48136155 2325155973 617006370 0 0 175 266 254 1683.63/1683.97 c 5141694 51937752 2538370953 674576566 0 0 198 265 253 1846.79/1847.15 c 5655925 56580186 2797006423 745041863 0 0 180 261 250 2026.53/2026.92 c 6221579 61973812 3073042924 820355852 0 0 150 262 250 2231.47/2231.92 c 6843798 68058531 3389831733 904861190 0 0 136 264 250 2432.21/2432.76 c 7528238 73954465 3707051736 989525187 0 0 170 262 252 2519.49/2520.01 2519.49/2520.01 c *** INTERRUPTED *** 2519.49/2520.01 c restarts : 94 2519.49/2520.01 c conflicts : 7790728 (3092 /sec) 2519.49/2520.01 c decisions : 76575415 (30393 /sec) 2519.49/2520.01 c propagations : 1025437666 (407004 /sec) 2519.49/2520.01 c root propagations : 0 2519.49/2520.01 c filter calls : 3841679919 (1524791 /sec) 2519.49/2520.01 c useless filter calls : 3302803361 (85 %) 2519.49/2520.01 c Memory used : 28.98 MB 2519.49/2520.01 c CPU time : 2519.48 s 2519.49/2520.01 c real time : 2520.01 s 2519.49/2520.01 2519.49/2520.01 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 (13971 MiB free) memory of node 1: 16384 MiB (14334 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396932-1568588289/watcher-4396932-1568588289 -o /tmp/evaluation-result-4396932-1568588289/solver-4396932-1568588289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28529 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396932-1568588289.xml running on 4 cores: 0-3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=31449, runsolver pid=31446 Current StackSize limit: 8192 KiB [startup+0.100794 s]* /proc/loadavg: 2.02 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28983204/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29404 memory=5812 CPUtime=0.1 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 1681 0 0 0 10 0 0 0 20 0 1 0 434835208 30109696 1453 33554432000 4194304 6211092 140735119269312 140735119266744 5186242 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7351 1453 874 493 0 656 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29404 KiB Current children cumulated memory: 5812 KiB [startup+0.210645 s]* /proc/loadavg: 2.02 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28983204/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6076 CPUtime=0.21 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 1725 0 0 0 21 0 0 0 20 0 1 0 434835208 30380032 1519 33554432000 4194304 6211092 140735119269312 140735119266744 140208613481445 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1519 875 493 0 722 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6076 KiB [startup+0.310081 s]* /proc/loadavg: 2.02 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28983204/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6076 CPUtime=0.31 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 1728 0 0 0 31 0 0 0 20 0 1 0 434835208 30380032 1519 33554432000 4194304 6211092 140735119269312 140735119266744 5156256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1519 875 493 0 722 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6076 KiB [startup+0.70024 s] /proc/loadavg: 2.02 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28983204/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6076 CPUtime=0.69 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 1731 0 0 0 69 0 0 0 20 0 1 0 434835208 30380032 1519 33554432000 4194304 6211092 140735119269312 140735119267272 5250284 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1519 875 493 0 722 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6076 KiB [startup+1.50024 s] /proc/loadavg: 2.02 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28982972/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6076 CPUtime=1.49 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 1731 0 0 0 149 0 0 0 20 0 1 0 434835208 30380032 1519 33554432000 4194304 6211092 140735119269312 140735119267272 5156465 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1519 875 493 0 722 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6076 KiB [startup+3.11038 s] /proc/loadavg: 2.01 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28982976/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6272 CPUtime=3.1 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 2353 0 0 0 310 0 0 0 20 0 1 0 434835208 30380032 1568 33554432000 4194304 6211092 140735119269312 140735119267272 5155944 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1568 875 493 0 722 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6272 KiB [startup+6.30023 s] /proc/loadavg: 2.01 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28982976/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=6.28 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 2975 0 0 0 628 0 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5250284 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 6.28 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+12.7002 s] /proc/loadavg: 2.01 2.06 2.06 3/199 31450 /proc/meminfo: memFree=28982852/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=12.68 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 3597 0 0 0 1268 0 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5250241 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 12.68 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+25.5002 s] /proc/loadavg: 2.01 2.05 2.06 3/199 31452 /proc/meminfo: memFree=28981952/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=25.48 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 4841 0 0 0 2548 0 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5155337 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+51.1102 s] /proc/loadavg: 2.01 2.05 2.06 3/199 31452 /proc/meminfo: memFree=28982012/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=51.08 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 5463 0 0 0 5108 0 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5250459 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 51.08 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+102.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 31464 /proc/meminfo: memFree=28981736/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=102.27 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 6085 0 0 0 10227 0 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156240 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+162.3 s] /proc/loadavg: 2.00 2.04 2.05 3/201 31470 /proc/meminfo: memFree=28981808/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=162.27 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 6707 0 0 0 16226 1 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5155345 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.03 2.05 3/200 31474 /proc/meminfo: memFree=28981400/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=222.26 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 7329 0 0 0 22225 1 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 222.26 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 31478 /proc/meminfo: memFree=28981260/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=282.25 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 7951 0 0 0 28224 1 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5158176 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 282.25 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.02 2.05 3/201 31484 /proc/meminfo: memFree=28981176/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=342.24 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 8573 0 0 0 34223 1 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5155348 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 342.24 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31489 /proc/meminfo: memFree=28980924/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=402.23 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 9195 0 0 0 40222 1 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156256 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 402.23 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 31493 /proc/meminfo: memFree=28981360/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=462.22 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 9817 0 0 0 46221 1 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156476 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 462.22 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB ################ # More data... # ################ /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 1722.01 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+1782.3 s] /proc/loadavg: 2.50 2.15 2.08 3/200 31675 /proc/meminfo: memFree=28981916/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=1782 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 23037 0 0 0 178198 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5397429 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 1782 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+1842.3 s] /proc/loadavg: 2.29 2.17 2.10 3/199 31679 /proc/meminfo: memFree=28981580/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=1841.98 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 23609 0 0 0 184196 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 1841.98 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+1902.3 s] /proc/loadavg: 2.10 2.14 2.09 3/199 31690 /proc/meminfo: memFree=28980948/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=1901.96 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 24236 0 0 0 190194 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5155517 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 1901.96 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+1962.3 s] /proc/loadavg: 2.04 2.11 2.08 3/200 31696 /proc/meminfo: memFree=28981052/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=1961.94 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 24811 0 0 0 196192 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5396676 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 1961.94 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2022.3 s] /proc/loadavg: 2.01 2.09 2.08 3/199 31700 /proc/meminfo: memFree=28981208/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2021.93 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 25389 0 0 0 202191 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5380267 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2021.93 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2082.3 s] /proc/loadavg: 2.01 2.07 2.07 3/199 31704 /proc/meminfo: memFree=28980884/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2081.91 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 26029 0 0 0 208189 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2081.91 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.06 2.07 3/200 31710 /proc/meminfo: memFree=28981140/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2141.89 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 26623 0 0 0 214187 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5155525 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2141.89 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.05 2.06 3/198 31715 /proc/meminfo: memFree=28982312/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2201.88 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 27218 0 0 0 220186 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2201.88 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.04 2.05 3/199 31720 /proc/meminfo: memFree=28981320/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2261.86 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 27840 0 0 0 226184 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5397375 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2261.86 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.04 2.05 3/200 31726 /proc/meminfo: memFree=28980800/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2321.84 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 28421 0 0 0 232182 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2321.84 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.03 2.05 3/199 31731 /proc/meminfo: memFree=28981584/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2381.82 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 28997 0 0 0 238180 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5156465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2381.82 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.02 2.05 3/199 31735 /proc/meminfo: memFree=28981560/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2441.81 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 29619 0 0 0 244179 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5158041 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2441.81 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.02 2.05 3/200 31748 /proc/meminfo: memFree=28980644/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2501.79 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 30202 0 0 0 250177 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5409457 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2501.79 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.02 2.05 3/199 31749 /proc/meminfo: memFree=28980872/32770688 swapFree=66919992/67108860 [pid=31449] ppid=31446 vsize=29668 memory=6276 CPUtime=2519.49 cores=0-3 /proc/31449/stat : 31449 (cosoco) R 31446 31449 28498 0 -1 4202496 30786 0 0 0 251947 2 0 0 20 0 1 0 434835208 30380032 1569 33554432000 4194304 6211092 140735119269312 140735119267272 5250279 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 37933056 140735119270923 140735119271025 140735119271025 140735119273934 0 /proc/31449/statm: 7417 1569 875 493 0 722 0 Current children cumulated CPU time: 2519.49 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6276 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 31449 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.48 s, system=0.028994 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 1 Real time (s): 2520.01 CPU time (s): 2519.51 CPU user time (s): 2519.48 CPU system time (s): 0.028994 CPU usage (%): 99.98 Max. virtual memory (cumulated for all children) (KiB): 29668 Max. memory (cumulated for all children) (KiB): 6276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.48 system time used= 0.028994 maximum resident set size= 6340 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30838 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= 7737 # summary of solver processes directly reported to runsolver: # pid: 31449 # total CPU time (s): 2519.51 # total CPU user time (s): 2519.48 # total CPU system time (s): 0.028994 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 10.1827 second user time and 17.9106 second system time The end
Begin job on node120 at 2011-12-17 07:18:31 IDJOB=4396932 IDBENCH=134846 IDSOLVER=2848 FILE ID=node120/4396932-1568588289 RUNJOBID= node120-1324087207-28529 PBS_JOBID= 21703329 Free space on /tmp= 61652 MiB SOLVER NAME= cosoco 2.0 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army12-21ls.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396932-1568588289/watcher-4396932-1568588289 -o /tmp/evaluation-result-4396932-1568588289/solver-4396932-1568588289 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1324087207-28529 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396932-1568588289.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 23e4294b931acf98fdd35eb0662a4341 RANDOM SEED=190110393 node120.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.49 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.49 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.49 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.49 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 : 5329.69 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 : 5329.69 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 : 5329.69 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 : 5329.69 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770688 kB MemFree: 28985040 kB MemAvailable: 31825692 kB Buffers: 194376 kB Cached: 2950516 kB SwapCached: 77548 kB Active: 1340884 kB Inactive: 1889132 kB Active(anon): 5632 kB Inactive(anon): 129020 kB Active(file): 1335252 kB Inactive(file): 1760112 kB Unevictable: 107628 kB Mlocked: 107628 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 2700 kB Writeback: 0 kB AnonPages: 120104 kB Mapped: 53280 kB Shmem: 41008 kB Slab: 151208 kB SReclaimable: 122244 kB SUnreclaim: 28964 kB KernelStack: 3760 kB PageTables: 6000 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 546484 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 71680 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 146880 kB DirectMap2M: 33398784 kB Free space on /tmp at the end= 61648 MiB End job on node120 at 2011-12-17 08:00:32