Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | SAT (TO) | 1360 | 1801.98 | 1802.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/ lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb |
MD5SUM | 85d5cf87b7b65babdb4e7a6c3071d7ec |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 885 |
Best CPU time to get the best result obtained on this benchmark | 1782.77 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 645 |
Optimality of the best value was proved | NO |
Number of variables | 56400 |
Total number of constraints | 1033 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1033 |
Minimum length of a constraint | 90 |
Maximum length of a constraint | 720 |
Number of terms in the objective function | 42300 |
Biggest coefficient in the objective function | 854 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 560740 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 142664 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 560740 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
60.72/60.88 o 1363 92.92/93.00 o 1360 1800.02/1800.72 c Somebody sent me a SIGTERM 1800.02/1800.72 s SATISFIABLE 1800.02/1800.72 v x13 x43 x73 x103 x133 x163 x193 x223 x253 x283 x313 x343 x373 x403 x433 x463 x493 x523 x553 x583 x613 x643 x673 x703 x733 x763 1800.02/1800.72 v x793 x823 x853 x883 x913 x943 x973 x1003 x1033 x1063 x1093 x1123 x1153 x1183 x1213 x1243 x1273 x1303 x1333 x1363 x1393 x1423 1800.02/1800.72 v x1453 x1483 x1513 x1543 x1573 x1603 x1633 x1663 x1693 x1723 x1753 x1783 x1813 x1843 x1873 x1903 x1933 x1963 x1993 x2023 x2053 1800.02/1800.72 v x2083 x2113 x2143 x2173 x2203 x2233 x2263 x2293 x2323 x2353 x2383 x2413 x2443 x2473 x2503 x2533 x2563 x2593 x2623 x2653 x2683 1800.02/1800.72 v x2713 x2743 x2773 x2803 x2833 x2863 x2893 x2923 x2953 x2983 x3013 x3043 x3073 x3103 x3133 x3163 x3193 x3223 x3253 x3283 x3313 1800.02/1800.72 v x3343 x3373 x3403 x3433 x3463 x3493 x3523 x3553 x3583 x3613 x3643 x3673 x3703 x3733 x3763 x3793 x3823 x3853 x3883 x3913 x3943 1800.02/1800.72 v x3973 x4003 x4033 x4063 x4093 x4123 x4153 x4183 x4213 x4243 x4273 x4303 x4333 x4363 x4393 x4423 x4453 x4483 x4513 x4543 x4573 1800.02/1800.72 v x4603 x4633 x4663 x4693 x4723 x4753 x4783 x4813 x4843 x4873 x4903 x4933 x4963 x4993 x5023 x5053 x5083 x5113 x5143 x5173 x5203 1800.02/1800.72 v x5233 x5263 x5293 x5323 x5353 x5383 x5413 x5443 x5473 x5503 x5533 x5563 x5593 x5623 x5653 x5683 x5713 x5743 x5773 x5803 x5833 1800.02/1800.72 v x5863 x5893 x5923 x5953 x5983 x6013 x6043 x6073 x6103 x6133 x6163 x6193 x6223 x6253 x6283 x6313 x6343 x6373 x6403 x6433 x6463 1800.02/1800.72 v x6493 x6523 x6553 x6583 x6613 x6643 x6673 x6703 x6733 x6763 x6793 x6823 x6853 x6883 x6913 x6943 x6973 x7003 x7033 x7063 x7093 1800.02/1800.72 v x7123 x7153 x7183 x7213 x7243 x7273 x7303 x7333 x7363 x7393 x7423 x7453 x7483 x7513 x7543 x7573 x7603 x7633 x7663 x7693 x7723 1800.02/1800.72 v x7753 x7783 x7813 x7843 x7873 x7903 x7933 x7963 x7993 x8023 x8053 x8083 x8113 x8143 x8173 x8203 x8233 x8263 x8293 x8323 x8353 1800.02/1800.72 v x8383 x8413 x8443 x8473 x8503 x8533 x8563 x8593 x8623 x8653 x8683 x8713 x8743 x8773 x8803 x8833 x8863 x8893 x8923 x8953 x8983 1800.02/1800.72 v x9013 x9043 x9073 x9103 x9133 x9163 x9193 x9223 x9253 x9283 x9313 x9343 x9373 x9403 x9433 x9463 x9493 x9523 x9553 x9583 x9613 1800.02/1800.72 v x9643 x9673 x9703 x9733 x9763 x9793 x9823 x9853 x9883 x9913 x9943 x9973 x10003 x10033 x10063 x10093 x10123 x10153 x10183 1800.02/1800.72 v x10213 x10243 x10273 x10303 x10333 x10363 x10393 x10423 x10453 x10483 x10513 x10543 x10573 x10603 x10633 x10663 x10693 1800.02/1800.72 v x10723 x10753 x10783 x10813 x10843 x10873 x10903 x10933 x10963 x10993 x11023 x11053 x11083 x11113 x11143 x11173 x11203 1800.02/1800.72 v x11233 x11263 x11293 x11323 x11353 x11383 x11413 x11443 x11473 x11503 x11533 x11563 x11593 x11623 x11653 x11683 x11713 1800.02/1800.72 v x11743 x11773 x11803 x11833 x11863 x11893 x11923 x11953 x11983 x12013 x12043 x12073 x12103 x12133 x12163 x12193 x12223 1800.02/1800.72 v x12253 x12283 x12313 x12343 x12373 x12403 x12433 x12463 x12493 x12523 x12553 x12583 x12613 x12643 x12673 x12703 x12733 1800.02/1800.72 v x12763 x12793 x12823 x12853 x12883 x12913 x12943 x12973 x13003 x13033 x13063 x13093 x13123 x13153 x13183 x13213 x13243 1800.02/1800.72 v x13273 x13303 x13333 x13363 x13393 x13423 x13453 x13483 x13513 x13543 x13573 x13603 x13633 x13663 x13693 x13723 x13753 1800.02/1800.72 v x13783 x13813 x13843 x13873 x13903 x13933 x13963 x13993 x14023 x14053 x14083 x46827 x46828 x46829 x46830 x46859 x46890 1800.02/1800.72 v x46919 x46920 x46948 x46949 x46950 x46977 x46978 x46979 x46980 x47007 x47008 x47009 x47010 x47037 x47038 x47039 x47040 1800.02/1800.72 v x47067 x47068 x47069 x47070 x47097 x47098 x47099 x47100 x47423 x47424 x47425 x47426 x47427 x47428 x47429 x47430 x47490 1800.02/1800.72 v x47519 x47520 x47548 x47549 x47550 x47577 x47578 x47579 x47580 x47606 x47607 x47608 x47609 x47610 x47635 x47636 x47637 1800.02/1800.72 v x47638 x47639 x47640 x47664 x47665 x47666 x47667 x47668 x47669 x47670 x47693 x47694 x47695 x47696 x47697 x47698 x47699 1800.02/1800.72 v x47700 x48024 x48025 x48026 x48027 x48028 x48029 x48030 x48059 x48090 x48119 x48120 x48148 x48149 x48150 x48177 x48178 1800.02/1800.72 v x48179 x48180 x48206 x48207 x48208 x48209 x48210 x48235 x48236 x48237 x48238 x48239 x48240 x48264 x48265 x48266 x48267 1800.02/1800.72 v x48268 x48269 x48270 x48294 x48295 x48296 x48297 x48298 x48299 x48300 x54024 x54025 x54026 x54027 x54028 x54029 x54030 1800.02/1800.72 v x54059 x54090 x54119 x54120 x54148 x54149 x54150 x54177 x54178 x54179 x54180 x54206 x54207 x54208 x54209 x54210 x54235 1800.02/1800.72 v x54236 x54237 x54238 x54239 x54240 x54264 x54265 x54266 x54267 x54268 x54269 x54270 x54294 x54295 x54296 x54297 x54298 1800.02/1800.72 v x54299 x54300 x54625 x54626 x54627 x54628 x54629 x54630 x54690 x54719 x54720 x54748 x54749 x54750 x54777 x54778 x54779 1800.02/1800.72 v x54780 x54806 x54807 x54808 x54809 x54810 x54835 x54836 x54837 x54838 x54839 x54840 x54865 x54866 x54867 x54868 x54869 1800.02/1800.72 v x54870 x54895 x54896 x54897 x54898 x54899 x54900 x54925 x54926 x54927 x54928 x54929 x54930 x54959 x54990 x55019 x55020 1800.02/1800.72 v x55048 x55049 x55050 x55077 x55078 x55079 x55080 x55106 x55107 x55108 x55109 x55110 x55135 x55136 x55137 x55138 x55139 1800.02/1800.72 v x55140 x55165 x55166 x55167 x55168 x55169 x55170 x55195 x55196 x55197 x55198 x55199 x55200 x56123 x56124 x56125 x56126 1800.02/1800.72 v x56127 x56128 x56129 x56130 x56159 x56190 x56219 x56220 x56248 x56249 x56250 x56277 x56278 x56279 x56280 x56306 x56307 1800.02/1800.72 v x56308 x56309 x56310 x56335 x56336 x56337 x56338 x56339 x56340 x56364 x56365 x56366 x56367 x56368 x56369 x56370 x56393 1800.02/1800.72 v x56394 x56395 x56396 x56397 x56398 x56399 x56400 1800.02/1800.73 pb2clasp1: no process killed 1800.02/1800.73 clasp-1.0: no process killed 95.01/1802.73 sh: line 1: 31960 Done cat /tmp/evaluation/351100-1176580204/temp/instance-351100-1176580204.opb.op 95.01/1802.73 31961 Killed | clasp-1.0 --trans=no >/tmp/evaluation/351100-1176580204/temp/instance-351100-1176580204.opb.clasp
OK 1360
/tmp/evaluation/351100-1176580204/instance-351100-1176580204.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-351100-1176580204 -o ROOT/results/node1/solver-351100-1176580204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351100-1176580204.opb /tmp/evaluation/351100-1176580204/temp Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 0.99 0.99 3/77 31726 /proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=12268 CPUtime=0 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 419 0 0 0 0 0 0 0 18 0 1 0 134058263 12562432 385 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353121505 0 0 4224 0 0 0 0 17 0 0 0 /proc/31726/statm: 3067 386 286 3 0 167 0 [startup+0.0253241 s] /proc/loadavg: 0.95 0.99 0.99 3/77 31726 /proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=13188 CPUtime=0.01 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 664 0 0 0 1 0 0 0 18 0 1 0 134058263 13504512 630 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259373234295 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 3297 631 314 3 0 397 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 13188 [startup+0.101342 s] /proc/loadavg: 0.95 0.99 0.99 3/77 31726 /proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=16848 CPUtime=0.08 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 5721 0 0 0 7 1 0 0 18 0 1 0 134058263 17252352 1565 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353155373 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 4212 1565 320 3 0 1312 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 16848 [startup+0.301353 s] /proc/loadavg: 0.95 0.99 0.99 3/77 31726 /proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=16848 CPUtime=0.28 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 23565 0 0 0 22 6 0 0 19 0 1 0 134058263 17252352 1560 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 4212 1565 320 3 0 1312 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 16848 [startup+0.7014 s] /proc/loadavg: 0.95 0.99 0.99 3/77 31726 /proc/meminfo: memFree=1815872/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=16844 CPUtime=0.68 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 59450 0 0 0 53 15 0 0 23 0 1 0 134058263 17248256 1564 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 4211 1564 320 3 0 1311 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 16844 [startup+1.5015 s] /proc/loadavg: 0.95 0.99 0.99 2/78 31727 /proc/meminfo: memFree=1810808/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=16968 CPUtime=1.49 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 131616 0 0 0 112 37 0 0 25 0 1 0 134058263 17375232 1592 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 4242 1592 320 3 0 1342 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16968 [startup+3.10168 s] /proc/loadavg: 0.95 0.99 0.99 2/78 31727 /proc/meminfo: memFree=1810488/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=17236 CPUtime=3.08 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 275100 0 0 0 233 75 0 0 25 0 1 0 134058263 17649664 1657 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353155059 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 4309 1657 320 3 0 1409 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 17236 [startup+6.30106 s] /proc/loadavg: 0.95 0.99 0.99 2/78 31727 /proc/meminfo: memFree=1809848/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=17884 CPUtime=6.29 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 561589 0 0 0 462 167 0 0 25 0 1 0 134058263 18313216 1771 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259353154986 0 0 4224 16384 0 0 0 17 0 0 0 /proc/31726/statm: 4471 1784 320 3 0 1571 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17884 [startup+12.7018 s] /proc/loadavg: 0.95 0.99 0.99 2/78 31727 /proc/meminfo: memFree=1808696/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=19136 CPUtime=12.68 /proc/31726/stat : 31726 (pbclasp) R 31724 31726 31290 0 -1 4194304 1140166 0 0 0 957 311 0 0 25 0 1 0 134058263 19595264 2108 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259373600514 0 0 4224 16384 0 0 0 17 1 0 0 /proc/31726/statm: 4784 2108 320 3 0 1884 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 19136 [startup+25.5011 s] /proc/loadavg: 0.96 0.99 0.99 2/80 31729 /proc/meminfo: memFree=1801568/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=24604 CPUtime=24.85 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2034001 0 0 0 1921 564 0 0 16 0 1 0 134058263 25194496 3499 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362173026 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/31726/statm: 6151 3499 324 3 0 3251 0 [pid=31728] ppid=31726 vsize=5352 CPUtime=0 /proc/31728/stat : 31728 (sh) S 31726 31726 31290 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 134060750 5480448 229 18446744073709551615 4194304 4889804 548682069312 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31728/statm: 1338 229 193 169 0 49 0 [pid=31729] ppid=31728 vsize=12880 CPUtime=0.62 /proc/31729/stat : 31729 (pb2clasp1) R 31728 31726 31290 0 -1 4194304 652 0 0 0 62 0 0 0 23 0 1 0 134060751 13189120 595 18446744073709551615 4194304 4206940 548682069344 18446744073709551615 259373175683 0 0 4224 0 0 0 0 17 1 0 0 /proc/31729/statm: 3220 595 339 3 0 320 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 42836 [startup+51.1011 s] /proc/loadavg: 0.98 0.99 0.99 2/80 31736 /proc/meminfo: memFree=1767464/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=27.9 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036358 1762 0 0 1932 565 290 3 18 0 1 0 134058263 29110272 4448 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4448 343 3 0 4207 0 [pid=31734] ppid=31726 vsize=5352 CPUtime=0 /proc/31734/stat : 31734 (sh) S 31726 31726 31290 0 -1 4194304 287 121 0 0 0 0 0 0 16 0 1 0 134061057 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31734/statm: 1338 224 188 169 0 49 0 [pid=31736] ppid=31734 vsize=26444 CPUtime=23.13 /proc/31736/stat : 31736 (clasp-1.0) R 31734 31726 31290 0 -1 4194304 7450 0 0 0 2309 4 0 0 25 0 1 0 134061058 27078656 6137 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617674 0 0 4096 0 0 0 0 17 1 0 0 /proc/31736/statm: 6611 6137 249 81 0 5985 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 60224 [startup+102.305 s] /proc/loadavg: 1.07 1.01 1.00 2/80 31752 /proc/meminfo: memFree=1764392/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=29832 CPUtime=9.19 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 8510 0 0 0 915 4 0 0 25 0 1 0 134067572 30547968 6853 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617738 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 7458 6853 249 81 0 6832 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 63612 [startup+162.301 s] /proc/loadavg: 1.02 1.00 1.00 2/80 31752 /proc/meminfo: memFree=1762792/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=31116 CPUtime=69.17 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 8906 0 0 0 6912 5 0 0 25 0 1 0 134067572 31862784 7249 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617547 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 7779 7249 249 81 0 7153 0 Current children cumulated CPU time (s) 162.2 Current children cumulated vsize (KiB) 64896 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/80 31752 /proc/meminfo: memFree=1747176/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=46780 CPUtime=129.15 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 12828 0 0 0 12907 8 0 0 25 0 1 0 134067572 47902720 11171 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784694 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 11695 11171 249 81 0 11069 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 80560 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31752 /proc/meminfo: memFree=1738664/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=55436 CPUtime=189.13 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 14982 0 0 0 18903 10 0 0 25 0 1 0 134067572 56766464 13325 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 13859 13325 249 81 0 13233 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 89216 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31752 /proc/meminfo: memFree=1724904/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=69064 CPUtime=249.11 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 18415 0 0 0 24898 13 0 0 25 0 1 0 134067572 70721536 16717 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 17266 16717 249 81 0 16640 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 102844 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31752 /proc/meminfo: memFree=1720744/2055920 swapFree=4145888/4192956 ################ # More data... # ################ /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=92372 CPUtime=1508.64 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24464 0 0 0 150836 28 0 0 25 0 1 0 134067572 94588928 22505 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 23093 22505 249 81 0 22467 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 126152 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700200/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=93420 CPUtime=1568.62 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24731 0 0 0 156833 29 0 0 25 0 1 0 134067572 95662080 22772 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134617331 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 23355 22772 249 81 0 22729 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 127200 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700200/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=93420 CPUtime=1628.6 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 162831 29 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 23355 22776 249 81 0 22729 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 127200 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=93420 CPUtime=1688.59 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 168829 30 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134784544 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 23355 22776 249 81 0 22729 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 127200 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=93420 CPUtime=1706.99 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 170669 30 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 23355 22776 249 81 0 22729 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 127200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.02 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036701 20485 0 0 1941 566 6773 22 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31750] ppid=31726 vsize=5352 CPUtime=0.01 /proc/31750/stat : 31750 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 1 16 0 1 0 134067572 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31750/statm: 1338 224 188 169 0 49 0 [pid=31752] ppid=31750 vsize=93420 CPUtime=1706.99 /proc/31752/stat : 31752 (clasp-1.0) R 31750 31726 31290 0 -1 4194304 24735 0 0 0 170669 30 0 0 25 0 1 0 134067572 95662080 22776 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/31752/statm: 23355 22776 249 81 0 22729 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 127200 # WARNING: # current cumulated CPU time (93.14 s) is less than in the last sample (1800.02 s) # The time of a child was probably not reported to its father. # (see the samples just above and below) # Adding the difference (1706.88 s) to the 'lost time'. [startup+1800.82 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.14 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 Current children cumulated CPU time (s) 93.14 Current children cumulated vsize (KiB) 28428 Sending SIGKILL to process tree (bottom up) Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/80 31950 /proc/meminfo: memFree=1700136/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.14 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 Current children cumulated CPU time (s) 93.14 Current children cumulated vsize (KiB) 28428 [startup+1802.2 s] /proc/loadavg: 1.00 1.00 1.00 2/81 31961 /proc/meminfo: memFree=1778720/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.14 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31959] ppid=31726 vsize=5352 CPUtime=0 /proc/31959/stat : 31959 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 134238344 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31959/statm: 1338 224 188 169 0 49 0 [pid=31961] ppid=31959 vsize=29832 CPUtime=1.37 /proc/31961/stat : 31961 (clasp-1.0) R 31959 31726 31290 0 -1 4194304 8481 0 0 0 132 5 0 0 25 0 1 0 134238345 30547968 6824 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733936 0 0 4096 0 0 0 0 17 1 0 0 /proc/31961/statm: 7458 6824 249 81 0 6832 0 Current children cumulated CPU time (s) 94.51 Current children cumulated vsize (KiB) 63612 [startup+1802.6 s] /proc/loadavg: 1.00 1.00 1.00 2/81 31961 /proc/meminfo: memFree=1778720/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.14 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31959] ppid=31726 vsize=5352 CPUtime=0 /proc/31959/stat : 31959 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 134238344 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31959/statm: 1338 224 188 169 0 49 0 [pid=31961] ppid=31959 vsize=29832 CPUtime=1.77 /proc/31961/stat : 31961 (clasp-1.0) R 31959 31726 31290 0 -1 4194304 8482 0 0 0 172 5 0 0 25 0 1 0 134238345 30547968 6825 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733922 0 0 4096 0 0 0 0 17 1 0 0 /proc/31961/statm: 7458 6825 249 81 0 6832 0 Current children cumulated CPU time (s) 94.91 Current children cumulated vsize (KiB) 63612 [startup+1802.7 s] /proc/loadavg: 1.00 1.00 1.00 2/81 31961 /proc/meminfo: memFree=1778720/2055920 swapFree=4145888/4192956 [pid=31726] ppid=31724 vsize=28428 CPUtime=93.14 /proc/31726/stat : 31726 (pbclasp) S 31724 31726 31290 0 -1 4194304 2036869 22272 0 0 1945 567 6774 28 16 0 1 0 134058263 29110272 4459 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 259362176916 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/31726/statm: 7107 4459 343 3 0 4207 0 [pid=31959] ppid=31726 vsize=5352 CPUtime=0 /proc/31959/stat : 31959 (sh) S 31726 31726 31290 0 -1 4194304 288 121 0 0 0 0 0 0 16 0 1 0 134238344 5480448 224 18446744073709551615 4194304 4889804 548682069248 18446744073709551615 259353273156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/31959/statm: 1338 224 188 169 0 49 0 [pid=31961] ppid=31959 vsize=29832 CPUtime=1.87 /proc/31961/stat : 31961 (clasp-1.0) R 31959 31726 31290 0 -1 4194304 8483 0 0 0 182 5 0 0 25 0 1 0 134238345 30547968 6826 18446744073709551615 134512640 134847168 4294956800 18446744073709551615 134733890 0 0 4096 0 0 0 0 17 1 0 0 /proc/31961/statm: 7458 6826 249 81 0 6832 0 Current children cumulated CPU time (s) 95.01 Current children cumulated vsize (KiB) 63612 Child ended because it received signal 9 (SIGKILL) # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1706.88 # lost CPU user time (s): 1706.64 # lost CPU system time (s): 0.240001 Real time (s): 1802.74 CPU time (s): 1801.98 CPU user time (s): 1795.69 CPU system time (s): 6.28608 CPU usage (%): 99.9575 Max. virtual memory (cumulated for all children) (KiB): 127200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 89.0495 system time used= 6.04608 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2069743 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= 4214 involuntary context switches= 2759 runsolver used 1.74073 second user time and 4.82827 second system time The end
Begin job on node1 on Sat Apr 14 19:50:04 UTC 2007 IDJOB= 351100 IDBENCH= 1661 IDSOLVER= 167 FILE ID= node1/351100-1176580204 PBS_JOBID= 4556788 Free space on /tmp= 66466 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sctap2.opb COMMAND LINE= pbclasp instance-351100-1176580204.opb /tmp/evaluation/351100-1176580204/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node1/convwatcher-351100-1176580204 -o ROOT/results/node1/conversion-351100-1176580204 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351100-1176580204/instance-351100-1176580204.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-351100-1176580204 -o ROOT/results/node1/solver-351100-1176580204 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-351100-1176580204.opb /tmp/evaluation/351100-1176580204/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= 85d5cf87b7b65babdb4e7a6c3071d7ec RANDOM SEED= 972400607 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node1.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.234 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1816472 kB Buffers: 42820 kB Cached: 132056 kB SwapCached: 14980 kB Active: 64764 kB Inactive: 135384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1816472 kB SwapTotal: 4192956 kB SwapFree: 4145888 kB Dirty: 3060 kB Writeback: 0 kB Mapped: 30148 kB Slab: 24832 kB Committed_AS: 3410364 kB PageTables: 1832 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66458 MiB End job on node1 on Sat Apr 14 20:20:07 UTC 2007