Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.02 | 2520.01 |
Name | XCSP19/ConsecutiveSquarePacking/ ConsecutiveSquarePacking-sp-29-092.xml |
MD5SUM | 04f92250339fffd6ef5beb9873d20792 |
Bench Category | CSP (decision problem) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 58 |
Number of constraints | 406 |
Number of domains | 29 |
Minimum domain size | 64 |
Maximum domain size | 92 |
Distribution of domain sizes | [{"size":64,"count":2},{"size":65,"count":2},{"size":66,"count":2},{"size":67,"count":2},{"size":68,"count":2},{"size":69,"count":2},{"size":70,"count":2},{"size":71,"count":2},{"size":72,"count":2},{"size":73,"count":2},{"size":74,"count":2},{"size":75,"count":2},{"size":76,"count":2},{"size":77,"count":2},{"size":78,"count":2},{"size":79,"count":2},{"size":80,"count":2},{"size":81,"count":2},{"size":82,"count":2},{"size":83,"count":2},{"size":84,"count":2},{"size":85,"count":2},{"size":86,"count":2},{"size":87,"count":2},{"size":88,"count":2},{"size":89,"count":2},{"size":90,"count":2},{"size":91,"count":2},{"size":92,"count":2}] |
Minimum variable degree | 28 |
Maximum variable degree | 28 |
Distribution of variable degrees | [{"degree":28,"count":58}] |
Minimum constraint arity | 4 |
Maximum constraint arity | 4 |
Distribution of constraint arities | [{"arity":4,"count":406}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 406 |
Distribution of constraint types | [{"type":"intension","count":406}] |
Optimization problem | NO |
Type of objective |
0.51/0.56 c root propagations : 0 0.51/0.56 c restarts enabled, print stats at every restarts 0.51/0.56 c 0.51/0.56 c 0.51/0.56 c 0.51/0.56 c This is cosoco 2.00 -- 0.51/0.56 c 0.51/0.56 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389604-1568360459.xml 0.51/0.56 c ========================================[ Problem Statistics ]=========================================== 0.51/0.56 c | 0.51/0.56 c | Parse time : 0.55 s 0.51/0.56 c | 0.51/0.56 c | Variables: 58 0.51/0.56 c | Domain Sizes: 64..92 0.51/0.56 c | 0.51/0.56 c | Constraints: 406 0.51/0.56 c | Arity: 4..4 0.51/0.56 c | 0.51/0.56 c | Types: 0.51/0.56 c | Intension: 406 0.51/0.56 c | 0.51/0.56 c ========================================================================================================= 0.51/0.56 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.89/0.92 c 101 113 6500 6858 0 0 7 13 9 6.89/6.93 c 211 237 23895 12732 0 0 7 7 6 7.39/7.46 c 332 372 31209 20872 0 0 7 15 10 7.79/7.86 c 465 519 39105 29941 0 0 6 15 9 8.10/8.12 c 611 678 47739 39865 0 0 6 14 9 8.49/8.52 c 771 854 57375 51285 0 0 6 17 10 8.89/8.93 c 947 1043 67521 61471 0 0 6 14 10 9.49/9.53 c 1140 1250 78743 73354 0 0 6 15 11 10.10/10.17 c 1352 1480 91140 85670 0 0 6 19 11 18.78/18.88 c 1585 1741 121186 95233 0 0 6 9 6 19.58/19.67 c 1841 2014 135846 110242 0 0 7 16 12 20.48/20.59 c 2122 2315 152253 127728 0 0 6 21 13 21.58/21.66 c 2431 2644 170171 148065 0 0 6 17 13 22.99/23.09 c 2770 3003 189832 169595 0 0 6 18 13 24.58/24.62 c 3142 3399 211070 191004 0 0 6 18 14 25.99/26.04 c 3551 3832 234513 215557 0 0 6 25 15 29.38/29.44 c 4000 4313 263505 243906 0 0 6 20 15 31.09/31.15 c 4493 4836 291857 273865 0 0 6 29 20 33.38/33.45 c 5035 5404 322514 304771 0 0 6 23 17 35.18/35.24 c 5631 6030 356838 342919 0 0 8 19 17 37.48/37.50 c 6286 6723 395031 377572 0 0 6 26 19 41.78/41.88 c 7006 7479 436535 418744 0 0 8 23 19 44.88/44.92 c 7798 8312 482295 462446 0 0 8 20 17 47.09/47.15 c 8669 9209 530597 501810 0 0 6 16 14 52.28/52.30 c 9627 10206 585877 555052 0 0 7 23 20 58.37/58.42 c 10680 11302 646087 608592 0 0 8 23 21 64.87/64.96 c 11838 12505 712238 667532 0 0 8 23 21 77.37/77.45 c 13111 14076 897524 751140 0 0 8 22 19 86.67/86.78 c 14511 15527 978205 828805 0 0 10 23 22 107.27/107.38 c 16051 17294 1172794 906074 0 0 6 20 18 118.27/118.36 c 17745 19046 1267562 1011438 0 0 9 21 20 142.57/142.64 c 19608 21234 1522045 1118850 0 0 8 20 19 156.67/156.79 c 21657 23350 1639581 1242475 0 0 15 21 20 188.58/188.63 c 23910 25950 1947655 1372478 0 0 7 19 18 200.37/200.47 c 26388 28508 2090034 1513299 0 0 12 20 19 215.18/215.21 c 29113 31321 2243805 1647352 0 0 11 20 19 261.09/261.17 c 32110 34806 2638087 1841525 0 0 12 19 18 284.58/284.67 c 35406 38214 2827347 2063221 0 0 12 23 22 331.88/331.94 c 39031 42401 3387090 2356825 0 0 13 20 19 351.09/351.18 c 43018 46698 3638687 2629258 0 0 9 21 20 411.48/411.50 c 47403 51801 4347117 2978934 0 0 12 15 13 443.18/443.20 c 52226 56767 4623472 3299653 0 0 12 23 22 517.48/517.55 c 57531 62928 5456270 3717698 0 0 13 16 14 543.78/543.89 c 63366 68949 5793844 4112165 0 0 9 22 21 598.28/598.30 c 69784 75968 6397213 4568551 0 0 11 22 17 709.88/709.95 c 76843 84120 7358955 5005055 0 0 14 16 15 741.78/741.81 c 84607 92094 7803022 5240807 0 0 13 21 20 818.38/818.47 c 93147 101122 8435821 5754064 0 0 11 21 19 883.78/883.80 c 102541 111296 9212543 6272259 0 0 12 21 18 948.09/948.11 c 112874 122271 10100753 6710739 0 0 13 21 19 1029.88/1030.00 c 124240 134201 10917956 7441100 0 0 16 23 21 1090.48/1090.59 c 136742 147270 11667892 8248955 0 0 21 23 22 1201.48/1201.56 c 150494 162129 12967197 9116195 0 0 18 22 21 1311.18/1311.25 c 165621 178041 14251173 9870881 0 0 13 20 19 1404.58/1404.69 c 182260 195260 15324237 10998461 0 0 10 27 25 1533.58/1533.64 c 200562 214693 16722412 12076307 0 0 11 23 22 1661.69/1661.73 c 220694 235336 17878549 13403355 0 0 12 23 22 1792.59/1792.67 c 242839 258016 19153493 14853205 0 0 15 23 22 1872.79/1872.88 c 267198 284161 20851041 16480507 0 0 17 19 18 1951.00/1951.09 c 293992 311845 22409439 17897044 0 0 16 27 19 2078.69/2078.76 c 323465 342127 24155760 19870651 0 0 11 24 23 2520.00/2520.01 2520.00/2520.01 c *** INTERRUPTED *** 2520.00/2520.01 c restarts : 61 2520.00/2520.01 c conflicts : 352125 (140 /sec) 2520.00/2520.01 c decisions : 373510 (148 /sec) 2520.00/2520.01 c propagations : 22137617 (8785 /sec) 2520.00/2520.01 c root propagations : 0 2520.00/2520.01 c filter calls : 28318270 (11237 /sec) 2520.00/2520.01 c useless filter calls : 26778613 (94 %) 2520.00/2520.01 c Memory used : 44.71 MB 2520.00/2520.01 c CPU time : 2519.99 s 2520.00/2520.01 c real time : 2520.01 s 2520.00/2520.01 2520.00/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 (13563 MiB free) memory of node 1: 16384 MiB (13564 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389604-1568360459/watcher-4389604-1568360459 -o /tmp/evaluation-result-4389604-1568360459/solver-4389604-1568360459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31074 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389604-1568360459.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 Current StackSize limit: 8192 KiB solver pid=31483, runsolver pid=31480 [startup+0.100155 s]* /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27773524/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=30224 memory=6576 CPUtime=0.1 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 1837 0 0 0 10 0 0 0 20 0 1 0 412052236 30949376 1644 33554432000 4194304 6210612 140730840633536 140730840628392 140339058551781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 7556 1644 822 493 0 861 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 30224 KiB Current children cumulated memory: 6576 KiB [startup+0.210635 s]* /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27770228/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=33492 memory=9712 CPUtime=0.21 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 2639 0 0 0 21 0 0 0 20 0 1 0 412052236 34295808 2428 33554432000 4194304 6210612 140730840633536 140730840628632 140339058551781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 8373 2428 822 493 0 1678 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 33492 KiB Current children cumulated memory: 9712 KiB [startup+0.310461 s]* /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27767252/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=36360 memory=12712 CPUtime=0.31 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 3365 0 0 0 31 0 0 0 20 0 1 0 412052236 37232640 3178 33554432000 4194304 6210612 140730840633536 140730840628632 140339058551781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 9090 3178 822 493 0 2395 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 36360 KiB Current children cumulated memory: 12712 KiB [startup+0.700305 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27760848/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=43408 memory=19756 CPUtime=0.69 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 5166 0 0 0 68 1 0 0 20 0 1 0 412052236 44449792 4939 33554432000 4194304 6210612 140730840633536 140730840631800 140339058551781 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 10852 4939 832 493 0 4157 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 43408 KiB Current children cumulated memory: 19756 KiB [startup+1.5003 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27758616/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=44068 memory=20548 CPUtime=1.49 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 5317 0 0 0 148 1 0 0 20 0 1 0 412052236 45125632 5137 33554432000 4194304 6210612 140730840633536 140730840631496 5452001 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11017 5137 860 493 0 4322 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 44068 KiB Current children cumulated memory: 20548 KiB [startup+3.11029 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27758384/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=44200 memory=20748 CPUtime=3.1 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 6326 0 0 0 309 1 0 0 20 0 1 0 412052236 45260800 5187 33554432000 4194304 6210612 140730840633536 140730840630936 5440657 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11050 5187 861 493 0 4355 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 44200 KiB Current children cumulated memory: 20748 KiB [startup+6.30028 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27758460/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=44200 memory=20780 CPUtime=6.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 7381 0 0 0 628 1 0 0 20 0 1 0 412052236 45260800 5195 33554432000 4194304 6210612 140730840633536 140730840630936 5439626 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11050 5195 861 493 0 4355 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 44200 KiB Current children cumulated memory: 20780 KiB [startup+12.7003 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27757204/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=44596 memory=21004 CPUtime=12.69 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 10612 0 0 0 1268 1 0 0 20 0 1 0 412052236 45666304 5251 33554432000 4194304 6210612 140730840633536 140730840631496 5480128 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11149 5251 861 493 0 4454 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 44596 KiB Current children cumulated memory: 21004 KiB [startup+25.5003 s] /proc/loadavg: 2.00 2.01 2.20 3/201 31484 /proc/meminfo: memFree=27757808/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=44728 memory=21304 CPUtime=25.48 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 11899 0 0 0 2547 1 0 0 20 0 1 0 412052236 45801472 5326 33554432000 4194304 6210612 140730840633536 140730840631496 5442812 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11182 5326 861 493 0 4487 0 Current children cumulated CPU time: 25.48 s Current children cumulated vsize: 44728 KiB Current children cumulated memory: 21304 KiB [startup+51.1102 s] /proc/loadavg: 2.06 2.03 2.20 3/201 31486 /proc/meminfo: memFree=27756988/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45388 memory=21932 CPUtime=51.09 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 12845 0 0 0 5108 1 0 0 20 0 1 0 412052236 46477312 5483 33554432000 4194304 6210612 140730840633536 140730840631496 5442822 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11347 5483 861 493 0 4652 0 Current children cumulated CPU time: 51.09 s Current children cumulated vsize: 45388 KiB Current children cumulated memory: 21932 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.01 2.18 3/201 31490 /proc/meminfo: memFree=27755520/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45520 memory=22028 CPUtime=102.27 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 13647 0 0 0 10226 1 0 0 20 0 1 0 412052236 46612480 5507 33554432000 4194304 6210612 140730840633536 140730840631496 5455482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11380 5507 861 493 0 4685 0 Current children cumulated CPU time: 102.27 s Current children cumulated vsize: 45520 KiB Current children cumulated memory: 22028 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.01 2.17 3/201 31494 /proc/meminfo: memFree=27754948/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45652 memory=22136 CPUtime=162.27 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 14422 0 0 0 16226 1 0 0 20 0 1 0 412052236 46747648 5534 33554432000 4194304 6210612 140730840633536 140730840631496 140339059475542 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11413 5534 861 493 0 4718 0 Current children cumulated CPU time: 162.27 s Current children cumulated vsize: 45652 KiB Current children cumulated memory: 22136 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.01 2.16 3/200 31500 /proc/meminfo: memFree=27755688/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45652 memory=22180 CPUtime=222.27 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 14721 0 0 0 22225 2 0 0 20 0 1 0 412052236 46747648 5545 33554432000 4194304 6210612 140730840633536 140730840631496 140339068496728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11413 5545 861 493 0 4718 0 Current children cumulated CPU time: 222.27 s Current children cumulated vsize: 45652 KiB Current children cumulated memory: 22180 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.01 2.15 3/199 31504 /proc/meminfo: memFree=27754592/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45652 memory=22196 CPUtime=282.28 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 15031 0 0 0 28226 2 0 0 20 0 1 0 412052236 46747648 5549 33554432000 4194304 6210612 140730840633536 140730840631496 140339059475554 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11413 5549 861 493 0 4718 0 Current children cumulated CPU time: 282.28 s Current children cumulated vsize: 45652 KiB Current children cumulated memory: 22196 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.01 2.14 3/199 31508 /proc/meminfo: memFree=27754332/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45652 memory=22224 CPUtime=342.28 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 15346 0 0 0 34226 2 0 0 20 0 1 0 412052236 46747648 5556 33554432000 4194304 6210612 140730840633536 140730840631496 5072048 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11413 5556 861 493 0 4718 0 Current children cumulated CPU time: 342.28 s Current children cumulated vsize: 45652 KiB Current children cumulated memory: 22224 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.01 2.13 3/199 31514 /proc/meminfo: memFree=27754116/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45652 memory=22240 CPUtime=402.28 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 15595 0 0 0 40226 2 0 0 20 0 1 0 412052236 46747648 5560 33554432000 4194304 6210612 140730840633536 140730840631496 5453752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11413 5560 861 493 0 4718 0 Current children cumulated CPU time: 402.28 s Current children cumulated vsize: 45652 KiB Current children cumulated memory: 22240 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.01 2.12 3/199 31518 /proc/meminfo: memFree=27754580/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45652 memory=22252 CPUtime=462.28 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 15958 0 0 0 46226 2 0 0 20 0 1 0 412052236 46747648 5563 33554432000 4194304 6210612 140730840633536 140730840631496 5440952 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11413 5563 861 493 0 4718 0 Current children cumulated CPU time: 462.28 s Current children cumulated vsize: 45652 KiB Current children cumulated memory: 22252 KiB ################ # More data... # ################ /proc/31483/statm: 11446 5593 861 493 0 4751 0 Current children cumulated CPU time: 1722.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22372 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 31646 /proc/meminfo: memFree=27753016/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22372 CPUtime=1782.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 22196 0 0 0 178227 2 0 0 20 0 1 0 412052236 46882816 5593 33554432000 4194304 6210612 140730840633536 140730840631496 5478158 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5593 861 493 0 4751 0 Current children cumulated CPU time: 1782.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22372 KiB [startup+1842.3 s] /proc/loadavg: 2.08 2.04 2.05 3/200 31652 /proc/meminfo: memFree=27753400/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22372 CPUtime=1842.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 22431 0 0 0 184227 2 0 0 20 0 1 0 412052236 46882816 5593 33554432000 4194304 6210612 140730840633536 140730840631496 5442833 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5593 861 493 0 4751 0 Current children cumulated CPU time: 1842.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22372 KiB [startup+1902.3 s] /proc/loadavg: 2.03 2.04 2.05 3/200 31656 /proc/meminfo: memFree=27753832/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22376 CPUtime=1902.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 22765 0 0 0 190227 2 0 0 20 0 1 0 412052236 46882816 5594 33554432000 4194304 6210612 140730840633536 140730840631496 5451412 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5594 861 493 0 4751 0 Current children cumulated CPU time: 1902.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22376 KiB [startup+1962.3 s] /proc/loadavg: 2.01 2.03 2.05 3/200 31660 /proc/meminfo: memFree=27753492/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22384 CPUtime=1962.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 23126 0 0 0 196227 2 0 0 20 0 1 0 412052236 46882816 5596 33554432000 4194304 6210612 140730840633536 140730840631496 5453766 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5596 861 493 0 4751 0 Current children cumulated CPU time: 1962.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22384 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.02 2.05 3/198 31666 /proc/meminfo: memFree=27754636/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22384 CPUtime=2022.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 23312 0 0 0 202227 2 0 0 20 0 1 0 412052236 46882816 5596 33554432000 4194304 6210612 140730840633536 140730840631496 5478214 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5596 861 493 0 4751 0 Current children cumulated CPU time: 2022.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22384 KiB [startup+2082.3 s] /proc/loadavg: 2.66 2.20 2.10 3/199 31671 /proc/meminfo: memFree=27753768/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22388 CPUtime=2082.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 23625 0 0 0 208227 2 0 0 20 0 1 0 412052236 46882816 5597 33554432000 4194304 6210612 140730840633536 140730840631496 140339068496728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5597 861 493 0 4751 0 Current children cumulated CPU time: 2082.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22388 KiB [startup+2142.3 s] /proc/loadavg: 2.26 2.17 2.10 3/199 31675 /proc/meminfo: memFree=27753360/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22388 CPUtime=2142.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 23845 0 0 0 214227 2 0 0 20 0 1 0 412052236 46882816 5597 33554432000 4194304 6210612 140730840633536 140730840631496 5446066 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5597 861 493 0 4751 0 Current children cumulated CPU time: 2142.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22388 KiB [startup+2202.3 s] /proc/loadavg: 2.74 2.31 2.15 3/199 31681 /proc/meminfo: memFree=27753512/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22388 CPUtime=2202.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 24046 0 0 0 220227 2 0 0 20 0 1 0 412052236 46882816 5597 33554432000 4194304 6210612 140730840633536 140730840631496 5451450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5597 861 493 0 4751 0 Current children cumulated CPU time: 2202.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22388 KiB [startup+2262.3 s] /proc/loadavg: 2.27 2.25 2.14 3/199 31685 /proc/meminfo: memFree=27753260/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22392 CPUtime=2262.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 24270 0 0 0 226227 2 0 0 20 0 1 0 412052236 46882816 5598 33554432000 4194304 6210612 140730840633536 140730840631496 5452071 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5598 861 493 0 4751 0 Current children cumulated CPU time: 2262.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22392 KiB [startup+2322.3 s] /proc/loadavg: 2.10 2.21 2.13 3/200 31697 /proc/meminfo: memFree=27752896/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22396 CPUtime=2322.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 24489 0 0 0 232227 2 0 0 20 0 1 0 412052236 46882816 5599 33554432000 4194304 6210612 140730840633536 140730840631496 5440971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5599 861 493 0 4751 0 Current children cumulated CPU time: 2322.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22396 KiB [startup+2382.3 s] /proc/loadavg: 2.04 2.17 2.13 3/200 31703 /proc/meminfo: memFree=27753276/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22396 CPUtime=2382.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 24718 0 0 0 238227 2 0 0 20 0 1 0 412052236 46882816 5599 33554432000 4194304 6210612 140730840633536 140730840631496 5442840 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5599 861 493 0 4751 0 Current children cumulated CPU time: 2382.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22396 KiB [startup+2442.3 s] /proc/loadavg: 2.01 2.14 2.12 3/200 31707 /proc/meminfo: memFree=27753336/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22396 CPUtime=2442.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 24922 0 0 0 244227 2 0 0 20 0 1 0 412052236 46882816 5599 33554432000 4194304 6210612 140730840633536 140730840631496 5446014 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5599 861 493 0 4751 0 Current children cumulated CPU time: 2442.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22396 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.11 2.11 3/200 31711 /proc/meminfo: memFree=27753184/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22396 CPUtime=2502.29 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 25143 0 0 0 250227 2 0 0 20 0 1 0 412052236 46882816 5599 33554432000 4194304 6210612 140730840633536 140730840631496 5451264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5599 861 493 0 4751 0 Current children cumulated CPU time: 2502.29 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22396 KiB Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+2520 s]* /proc/loadavg: 2.00 2.11 2.11 2/198 31713 /proc/meminfo: memFree=27757068/32770688 swapFree=66919992/67108860 [pid=31483] ppid=31480 vsize=45784 memory=22396 CPUtime=2520 cores=0-3 /proc/31483/stat : 31483 (cosoco) R 31480 31483 31043 0 -1 4202496 25321 0 0 0 251998 2 0 0 20 0 1 0 412052236 46882816 5599 33554432000 4194304 6210612 140730840633536 140730840631496 5478264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 40710144 140730840642571 140730840642673 140730840642673 140730840645582 0 /proc/31483/statm: 11446 5599 861 493 0 4751 0 Current children cumulated CPU time: 2520 s Current children cumulated vsize: 45784 KiB Current children cumulated memory: 22396 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2520.01 s] # the end of solver process 31483 was just reported to runsolver # cumulated CPU time of all completed processes: user=2519.99 s, system=0.027 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): 2520.02 CPU user time (s): 2519.99 CPU system time (s): 0.027 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 45784 Max. memory (cumulated for all children) (KiB): 22396 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2519.99 system time used= 0.027 maximum resident set size= 22464 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25370 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= 9 involuntary context switches= 1082 # summary of solver processes directly reported to runsolver: # pid: 31483 # total CPU time (s): 2520.02 # total CPU user time (s): 2519.99 # total CPU system time (s): 0.027 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 11.0746 second user time and 16.9355 second system time The end
Begin job on node120 at 2011-12-14 16:01:22 IDJOB=4389604 IDBENCH=141708 IDSOLVER=2829 FILE ID=node120/4389604-1568360459 RUNJOBID= node120-1323872360-31074 PBS_JOBID= 21701193 Free space on /tmp= 59152 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP19/ConsecutiveSquarePacking/ConsecutiveSquarePacking-sp-29-092.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389604-1568360459/watcher-4389604-1568360459 -o /tmp/evaluation-result-4389604-1568360459/solver-4389604-1568360459 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323872360-31074 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389604-1568360459.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 04f92250339fffd6ef5beb9873d20792 RANDOM SEED=986139102 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: 27779564 kB MemAvailable: 31817864 kB Buffers: 168092 kB Cached: 4163380 kB SwapCached: 77548 kB Active: 1250596 kB Inactive: 3162156 kB Active(anon): 3880 kB Inactive(anon): 126960 kB Active(file): 1246716 kB Inactive(file): 3035196 kB Unevictable: 108228 kB Mlocked: 108228 kB SwapTotal: 67108860 kB SwapFree: 66919992 kB Dirty: 5516 kB Writeback: 4 kB AnonPages: 112528 kB Mapped: 47892 kB Shmem: 41008 kB Slab: 172880 kB SReclaimable: 144444 kB SUnreclaim: 28436 kB KernelStack: 3456 kB PageTables: 5556 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 544372 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 67584 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= 59148 MiB End job on node120 at 2011-12-14 16:43:22