Trace number 3308665
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
Solver Data
0.00/0.00 c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00 c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria. All rights reserved.
0.00/0.00 c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00 c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00 c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00 c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00 c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00 c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00 c
0.00/0.00 c reading HOME/instance-3308665-1303983788.cnf
0.00/0.00 c found header 'p cnf 756832 4116966'
3.70/3.75 c finished parsing
3.70/3.75 c
3.70/3.75 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
3.70/3.75 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
3.70/3.75 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
3.70/3.75 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
3.70/3.75 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
3.70/3.75 c --random=1 --spread=2000 --seed=0 --skip=25
3.70/3.75 c
3.70/3.75 c sizeof vars[0] = 16 alignment = 0 12 MB
3.70/3.75 c sizeof orgs[0] = 8 alignment = 0 6 MB
3.70/3.75 c sizeof occs[0] = 8 alignment = 0 6 MB
3.70/3.75 c sizeof iirfs[0..1] = 8 alignment = 0 6 MB
3.70/3.75 c
3.70/3.75 c starting search after 3.8 seconds
3.70/3.75 c no decision limit
3.79/3.82 c
3.79/3.82 c original/binary fixed eliminated learned agility
3.79/3.82 c seconds variables equivalent conflicts height MB
3.79/3.82 c
3.79/3.82 c * 3.8 3028353 636817 119887 128 0 0 0 0.0 0 259
55.19/55.26 c s 55.3 2536303 336344 148261 128 272099 0 0 0.0 0 250
55.19/55.26 c l 55.3 2536303 336344 148261 128 272099 0 29910 0.0 0 250
55.79/55.81 c R 55.8 2543347 336334 148271 128 272099 184 173 21457.0 0 255
56.00/56.04 c R 56.0 2547494 336333 148271 129 272099 284 273 20932.5 1 256
57.79/57.85 c B 57.9 2567567 335699 148904 130 272099 1000 964 14905.9 0 260
68.20/68.28 c s 68.3 2376965 303916 171632 145 281139 1725 1557 14245.2 0 252
68.20/68.28 c - 68.3 2376965 303916 171632 145 281139 1725 28116 14245.2 0 252
68.90/68.99 c B 69.0 2387416 303206 172342 145 281139 2001 1822 13826.7 0 254
86.29/86.36 c s 86.4 2446603 293637 181860 190 281145 6419 5966 9516.1 0 283
86.29/86.36 c - 86.4 2446603 293637 181860 190 281145 6419 27835 9516.1 0 283
97.49/97.50 c s 97.5 2404969 283287 192204 195 281146 7970 7361 8837.2 0 287
97.49/97.50 c - 97.5 2404969 283287 192204 195 281146 7970 27279 8837.2 0 287
97.59/97.69 c B 97.7 2405187 283287 192204 195 281146 8003 7393 8829.7 1 287
106.00/106.01 c s 106.0 2288200 271665 203824 197 281146 8411 7609 8758.4 0 282
106.00/106.01 c - 106.0 2288200 271665 203824 197 281146 8411 26461 8758.4 0 282
125.40/125.45 c s 125.5 2316927 261683 213770 231 281148 13983 12374 7362.2 0 305
125.40/125.45 c - 125.5 2316927 261683 213770 231 281148 13983 25668 7362.2 0 305
144.99/145.07 c s 145.1 2390948 260511 214938 235 281148 19399 17157 6866.8 0 333
154.50/154.52 c
154.50/154.52 c original/binary fixed eliminated learned agility
154.50/154.52 c seconds variables equivalent conflicts height MB
154.50/154.52 c
154.50/154.52 c B 154.5 2457929 259751 215696 237 281148 24010 21673 6310.5 1 359
164.90/164.97 c s 165.0 2457785 259650 215797 237 281148 25169 22654 6253.0 0 360
166.29/166.31 c + 166.3 2464728 258943 216504 237 281148 25668 28234 6162.0 0 364
167.79/167.88 c R 167.9 2472510 258858 216589 237 281148 26820 24288 6105.2 0 369
185.29/185.37 c s 185.4 2505648 258350 217084 250 281148 30979 27839 5800.3 0 385
187.70/187.79 c + 187.8 2516222 258267 217167 250 281148 32086 31057 5709.6 0 387
207.50/207.50 c s 207.5 2564722 257567 217858 259 281148 37041 30936 5433.4 0 389
214.41/214.44 c + 214.4 2593226 256243 219182 259 281148 40105 34162 5260.5 0 395
229.91/229.95 c s 230.0 2603639 255973 219448 263 281148 43362 34009 5114.8 0 407
253.30/253.32 c s 253.3 2666240 254507 220901 275 281149 49046 33599 4880.6 0 403
256.60/256.68 c + 256.7 2683095 254153 221255 275 281149 50130 37578 4834.9 1 408
274.30/274.31 c s 274.3 2713824 253625 221775 280 281152 55014 37511 4707.9 0 417
295.50/295.50 c s 295.5 2774853 253164 222233 283 281152 60690 37570 4550.7 0 417
299.30/299.35 c + 299.4 2790765 253042 222354 284 281152 62661 41335 4499.1 1 424
302.10/302.17 c B 302.2 2802521 252934 222460 286 281152 64026 39169 4462.2 0 430
316.10/316.11 c s 316.1 2826040 252601 222786 293 281152 67507 41246 4405.3 0 430
338.71/338.72 c s 338.7 2885424 252056 223318 306 281152 74268 41307 4253.3 0 431
348.10/348.19 c + 348.2 2939184 251562 223812 306 281152 78326 45468 4158.0 0 429
366.70/366.74 c s 366.8 2951607 251280 224087 313 281152 80783 43731 4104.3 0 438
394.81/394.81 c
394.81/394.81 c original/binary fixed eliminated learned agility
394.81/394.81 c seconds variables equivalent conflicts height MB
394.81/394.81 c
394.81/394.81 c s 394.8 3013480 250870 224489 321 281152 88950 45492 3993.0 0 462
431.60/431.60 c s 431.6 3053769 229946 225085 323 301478 96350 43999 3881.8 0 445
435.70/435.75 c + 435.8 3072004 229593 225436 325 301478 97906 50014 3856.9 1 456
457.20/457.21 c s 457.2 3092919 227789 227241 324 301478 103148 48850 3812.1 0 475
484.31/484.35 c s 484.4 3152969 227202 227823 329 301478 110016 50154 3721.6 0 494
512.90/512.94 c s 513.0 3190930 226064 228959 331 301478 117540 50062 3617.9 0 488
525.20/525.24 c + 525.3 3234050 225740 229283 331 301478 122383 55015 3575.4 1 495
541.11/541.18 c s 541.2 3246969 225520 229493 341 301478 124875 52640 3539.2 0 506
570.31/570.36 c s 570.4 3301272 224947 230063 344 301478 132811 55001 3468.9 0 511
598.60/598.62 c s 598.6 3380431 224732 230277 345 301478 141257 55091 3388.2 0 520
610.11/610.12 c R 610.1 3425518 224640 230368 346 301478 145799 55257 3348.7 0 529
627.51/627.56 c s 627.6 3461780 224581 230426 347 301478 149625 55217 3314.9 0 525
636.41/636.43 c + 636.4 3506025 224283 230724 347 301478 152977 60516 3286.7 0 534
657.51/657.50 c s 657.5 3513170 222997 232009 348 301478 157240 59307 3249.1 0 554
663.71/663.76 c B 663.8 3541392 222926 232080 348 301478 160060 60781 3232.5 0 567
691.61/691.63 c s 691.6 3588845 222526 232479 349 301478 165513 60530 3178.3 0 565
721.81/721.86 c s 721.9 3652095 219560 232932 352 303988 174458 60498 3123.7 0 572
753.01/753.03 c s 753.1 3714736 219139 233353 352 303988 183757 60624 3072.9 0 582
769.02/769.01 c + 769.0 3783934 218875 233616 353 303988 191220 66567 3034.4 0 590
784.41/784.43 c
784.41/784.43 c original/binary fixed eliminated learned agility
784.41/784.43 c seconds variables equivalent conflicts height MB
784.41/784.43 c
784.41/784.43 c s 784.4 3791954 218843 233647 354 303988 192953 62226 3025.4 0 598
819.81/819.86 c s 819.9 3871769 218514 233976 354 303988 202468 66756 2972.5 0 628
856.62/856.60 c s 856.6 3948164 218177 234311 356 303988 212793 66559 2920.3 0 623
890.82/890.83 c s 890.9 4019861 217301 235180 363 303988 222133 66749 2876.7 0 619
929.22/929.20 c s 929.2 4107573 216730 235750 364 303988 233094 66879 2838.6 0 605
943.02/943.05 c + 943.1 4157574 216631 235849 364 303988 239025 73223 2815.8 3 613
968.72/968.76 c s 968.8 4208824 216586 235892 366 303988 244522 72193 2805.9 0 639
973.53/973.51 c R 973.5 4220979 216554 235923 367 303988 246872 73945 2799.0 5 705
1007.63/1007.60 c s 1007.6 4307218 216402 236074 368 303988 255841 73386 2763.5 0 687
1047.72/1047.78 c s 1047.8 4356396 215264 237212 368 303988 268035 73295 2725.8 0 705
1088.93/1088.92 c s 1089.0 4452208 214825 237649 369 303989 279676 73425 2715.2 0 708
1129.53/1129.59 c s 1129.6 4554159 214549 237924 370 303989 290571 73302 2687.3 0 695
1150.53/1150.58 c + 1150.6 4630975 214228 238244 371 303989 298780 80545 2657.5 0 696
1170.72/1170.79 c s 1170.8 4646655 214168 238303 372 303989 301977 76859 2649.1 0 711
1218.42/1218.45 c s 1218.5 4732743 213651 238813 379 303989 313696 80652 2612.5 0 741
1268.93/1268.90 c s 1268.9 4822717 213278 239182 383 303989 325547 80537 2591.2 0 747
1300.04/1300.00 c
1300.04/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.04/1300.00 c
1300.04/1300.00 c 337492 conflicts, 16177471 decisions, 8125 random
1300.04/1300.00 c 1411 iterations, 2049 restarts, 0 skipped
1300.04/1300.00 c 12 enlarged, 1760 shrunken, 3304 rescored, 124 rebiased
1300.04/1300.00 c 44 simplifications, 0 reductions
1300.04/1300.00 c
1300.04/1300.00 c vars: 239759 fixed, 386 equiv, 303989 elim, 455 merged
1300.04/1300.00 c elim: 23801526 resolutions, 43 phases, 4 rounds
1300.04/1300.00 c sbst: 0% substituted, 28.0% nots, 72.0% ands, 0.0% xors, 0.0% ites
1300.04/1300.00 c arty: 2.34 and 0.00 xor average arity
1300.04/1300.00 c prbe: 129047 probed, 3668 phases, 0 rounds
1300.04/1300.00 c prbe: 9989 failed, 61202 lifted, 2 merged
1300.04/1300.00 c sccs: 109 non trivial, 0 fixed, 109 merged
1300.04/1300.00 c hash: 514 units, 344 merged
1300.04/1300.00 c mins: 474205012 learned, 13% deleted, 8 strong, 45 depth
1300.04/1300.00 c subs: 6401 forward, 333 backward, 4005 doms
1300.04/1300.00 c strs: 286 forward, 1 backward
1300.04/1300.00 c doms: 75213 dominators, 33691 high, 270 low
1300.04/1300.00 c prps: 5580799577 propagations, 4.29 megaprops
1300.04/1300.00 c
1300.04/1300.00 c 1300.0 seconds, 777 MB max, 1551 MB recycled
1300.04/1300.00 c
1300.04/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.04/1300.00 c
Verifier Data
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>
Watcher Data
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3308665-1303983788/watcher-3308665-1303983788 -o /tmp/evaluation-result-3308665-1303983788/solver-3308665-1303983788 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308665-1303983788.cnf
running on 2 cores: 5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.95 3.45 1.87 4/193 23449
/proc/meminfo: memFree=14888496/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=18612 CPUtime=0 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 3947 0 0 0 0 0 0 0 23 0 1 0 509976935 19058688 3903 33554432000 134512640 135151029 4293680960 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23449/statm: 4653 3917 59 156 0 4496 0
[startup+0.079118 s]
/proc/loadavg: 3.95 3.45 1.87 4/193 23449
/proc/meminfo: memFree=14888496/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=46376 CPUtime=0.07 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 11136 0 0 0 6 1 0 0 23 0 1 0 509976935 47489024 11092 33554432000 134512640 135151029 4293680960 18446744073709551615 134534799 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/23449/statm: 11594 11118 60 156 0 11437 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 46376
[startup+0.10111 s]
/proc/loadavg: 3.95 3.45 1.87 4/193 23449
/proc/meminfo: memFree=14888496/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=65600 CPUtime=0.09 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 16047 0 0 0 8 1 0 0 23 0 1 0 509976935 67174400 16003 33554432000 134512640 135151029 4293680960 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 16400 16003 64 156 0 16243 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 65600
[startup+0.301064 s]
/proc/loadavg: 3.95 3.45 1.87 4/193 23449
/proc/meminfo: memFree=14888496/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=70856 CPUtime=0.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 17386 0 0 0 28 2 0 0 25 0 1 0 509976935 72556544 17244 33554432000 134512640 135151029 4293680960 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 17714 17244 65 156 0 17557 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 70856
[startup+0.700988 s]
/proc/loadavg: 3.95 3.45 1.87 4/193 23449
/proc/meminfo: memFree=14888496/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=92664 CPUtime=0.69 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 23782 0 0 0 66 3 0 0 25 0 1 0 509976935 94887936 22741 33554432000 134512640 135151029 4293680960 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 23166 22742 65 156 0 23009 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92664
[startup+1.50084 s]
/proc/loadavg: 3.95 3.45 1.87 5/194 23451
/proc/meminfo: memFree=14776268/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=160532 CPUtime=1.49 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 41632 0 0 0 142 7 0 0 25 0 1 0 509976935 164384768 39566 33554432000 134512640 135151029 4293680960 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 40133 39566 65 156 0 39976 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 160532
[startup+3.10055 s]
/proc/loadavg: 3.95 3.45 1.87 5/194 23451
/proc/meminfo: memFree=14737704/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=253512 CPUtime=3.09 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 70811 0 0 0 296 13 0 0 25 0 1 0 509976935 259596288 62599 33554432000 134512640 135151029 4293680960 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 63378 62599 65 156 0 63221 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 253512
[startup+6.30098 s]
/proc/loadavg: 3.95 3.46 1.88 5/194 23451
/proc/meminfo: memFree=14557936/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=315976 CPUtime=6.29 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 115380 0 0 0 609 20 0 0 25 0 1 0 509976935 323559424 77830 33554432000 134512640 135151029 4293680960 18446744073709551615 134685105 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 78994 77830 80 156 0 78837 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 315976
[startup+12.7008 s]
/proc/loadavg: 3.95 3.47 1.90 5/194 23451
/proc/meminfo: memFree=14556140/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=400288 CPUtime=12.69 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 141361 0 0 0 1246 23 0 0 25 0 1 0 509976935 409894912 97665 33554432000 134512640 135151029 4293680960 18446744073709551615 134573911 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 100072 97665 80 156 0 99915 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 400288
[startup+25.5005 s]
/proc/loadavg: 3.96 3.49 1.93 5/194 23451
/proc/meminfo: memFree=14490324/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=400288 CPUtime=25.49 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 141361 0 0 0 2526 23 0 0 25 0 1 0 509976935 409894912 97665 33554432000 134512640 135151029 4293680960 18446744073709551615 134548104 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 100072 97665 80 156 0 99915 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 400288
[startup+51.1008 s]
/proc/loadavg: 3.97 3.53 1.98 5/194 23452
/proc/meminfo: memFree=14479008/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=400424 CPUtime=51.09 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 141367 0 0 0 5086 23 0 0 25 0 1 0 509976935 410034176 97671 33554432000 134512640 135151029 4293680960 18446744073709551615 134526346 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 100106 97671 80 156 0 99949 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 400424
[startup+102.306 s]
/proc/loadavg: 3.99 3.60 2.09 5/194 23480
/proc/meminfo: memFree=15559232/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=379144 CPUtime=102.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 350834 0 0 0 10180 50 0 0 25 0 1 0 509976935 388243456 92646 33554432000 134512640 135151029 4293680960 18446744073709551615 134548117 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 94786 92646 80 156 0 94629 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 379144
[startup+162.301 s]
/proc/loadavg: 4.04 3.69 2.21 5/194 23482
/proc/meminfo: memFree=15390980/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=443812 CPUtime=162.29 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 525619 0 0 0 16153 76 0 0 25 0 1 0 509976935 454463488 108791 33554432000 134512640 135151029 4293680960 18446744073709551615 134573909 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 110953 108791 80 156 0 110796 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 443812
[startup+222.301 s]
/proc/loadavg: 4.10 3.77 2.33 5/194 23483
/proc/meminfo: memFree=15346412/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=431796 CPUtime=222.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 663328 0 0 0 22132 98 0 0 25 0 1 0 509976935 442159104 105797 33554432000 134512640 135151029 4293680960 18446744073709551615 134680430 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 107949 105797 80 156 0 107792 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 431796
[startup+282.301 s]
/proc/loadavg: 4.11 3.83 2.43 5/194 23485
/proc/meminfo: memFree=15186680/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=479884 CPUtime=282.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 821383 0 0 0 28111 119 0 0 25 0 1 0 509976935 491401216 117814 33554432000 134512640 135151029 4293680960 18446744073709551615 134554520 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 119971 117814 80 156 0 119814 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 479884
[startup+342.301 s]
/proc/loadavg: 4.04 3.85 2.53 5/194 23487
/proc/meminfo: memFree=15152748/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=493768 CPUtime=342.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 981343 0 0 0 34088 142 0 0 25 0 1 0 509976935 505618432 121273 33554432000 134512640 135151029 4293680960 18446744073709551615 134554724 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 123442 121273 80 156 0 123285 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 493768
[startup+402.301 s]
/proc/loadavg: 4.09 3.91 2.63 5/194 23488
/proc/meminfo: memFree=15091124/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=525892 CPUtime=402.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1094303 0 0 0 40073 157 0 0 25 0 1 0 509976935 538513408 129311 33554432000 134512640 135151029 4293680960 18446744073709551615 134581653 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 131473 129311 80 156 0 131316 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 525892
[startup+462.301 s]
/proc/loadavg: 4.03 3.92 2.71 5/194 23490
/proc/meminfo: memFree=15069408/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=550544 CPUtime=462.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1204609 0 0 0 46057 173 0 0 25 0 1 0 509976935 563757056 135541 33554432000 134512640 135151029 4293680960 18446744073709551615 134555608 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 137636 135541 80 156 0 137479 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 550544
[startup+522.301 s]
/proc/loadavg: 4.06 3.95 2.80 5/194 23491
/proc/meminfo: memFree=14976876/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=562580 CPUtime=522.3 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1312110 0 0 0 52041 189 0 0 25 0 1 0 509976935 576081920 138579 33554432000 134512640 135151029 4293680960 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 140645 138579 80 156 0 140488 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 562580
[startup+582.301 s]
/proc/loadavg: 4.02 3.95 2.87 5/194 23493
/proc/meminfo: memFree=14893132/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=586952 CPUtime=582.31 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1422202 0 0 0 58025 206 0 0 25 0 1 0 509976935 601038848 144663 33554432000 134512640 135151029 4293680960 18446744073709551615 134567902 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 146738 144663 80 156 0 146581 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 586952
[startup+642.3 s]
/proc/loadavg: 4.01 3.96 2.94 5/194 23495
/proc/meminfo: memFree=14855524/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=613836 CPUtime=642.31 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1532222 0 0 0 64010 221 0 0 25 0 1 0 509976935 628568064 151378 33554432000 134512640 135151029 4293680960 18446744073709551615 134555545 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 153459 151378 80 156 0 153302 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 613836
[startup+702.3 s]
/proc/loadavg: 4.00 3.96 3.00 5/194 23496
/proc/meminfo: memFree=14817292/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=642968 CPUtime=702.31 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1644340 0 0 0 69994 237 0 0 25 0 1 0 509976935 658399232 158646 33554432000 134512640 135151029 4293680960 18446744073709551615 134530683 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 160742 158646 80 156 0 160585 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 642968
[startup+762.307 s]
/proc/loadavg: 4.00 3.97 3.06 5/194 23554
/proc/meminfo: memFree=15096388/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=660492 CPUtime=762.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1753352 0 0 0 75980 252 0 0 25 0 1 0 509976935 676343808 163066 33554432000 134512640 135151029 4293680960 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 165123 163066 80 156 0 164966 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 660492
[startup+822.3 s]
/proc/loadavg: 4.00 3.97 3.12 5/194 23555
/proc/meminfo: memFree=15036316/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=708496 CPUtime=822.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1870055 0 0 0 81965 267 0 0 25 0 1 0 509976935 725499904 175062 33554432000 134512640 135151029 4293680960 18446744073709551615 134551439 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 177124 175062 80 156 0 176967 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 708496
[startup+882.3 s]
/proc/loadavg: 4.03 3.99 3.17 5/194 23584
/proc/meminfo: memFree=15609316/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=727544 CPUtime=882.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 1940292 0 0 0 87956 276 0 0 25 0 1 0 509976935 745005056 179808 33554432000 134512640 135151029 4293680960 18446744073709551615 134572478 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 181886 179808 80 156 0 181729 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 727544
[startup+942.301 s]
/proc/loadavg: 4.01 3.99 3.22 5/194 23613
/proc/meminfo: memFree=15555724/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=711156 CPUtime=942.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2018352 0 0 0 93946 286 0 0 25 0 1 0 509976935 728223744 175711 33554432000 134512640 135151029 4293680960 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 177789 175711 80 156 0 177632 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 711156
[startup+1002.3 s]
/proc/loadavg: 4.00 3.99 3.27 5/194 23614
/proc/meminfo: memFree=15444288/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=774988 CPUtime=1002.31 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2150443 0 0 0 99928 303 0 0 25 0 1 0 509976935 793587712 191667 33554432000 134512640 135151029 4293680960 18446744073709551615 134564379 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 193747 191667 80 156 0 193590 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 774988
[startup+1062.3 s]
/proc/loadavg: 4.04 4.00 3.32 5/194 23616
/proc/meminfo: memFree=15284192/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=800060 CPUtime=1062.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2270819 0 0 0 105912 320 0 0 25 0 1 0 509976935 819261440 197922 33554432000 134512640 135151029 4293680960 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 200015 197922 80 156 0 199858 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 800060
[startup+1122.3 s]
/proc/loadavg: 4.06 4.01 3.36 5/194 23626
/proc/meminfo: memFree=15242288/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=833864 CPUtime=1122.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2391757 0 0 0 111895 337 0 0 25 0 1 0 509976935 853876736 206382 33554432000 134512640 135151029 4293680960 18446744073709551615 134579338 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 208466 206382 80 156 0 208309 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 833864
[startup+1182.3 s]
/proc/loadavg: 4.08 4.02 3.40 5/194 23628
/proc/meminfo: memFree=15227408/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=830968 CPUtime=1182.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2533716 0 0 0 117875 357 0 0 25 0 1 0 509976935 850911232 205621 33554432000 134512640 135151029 4293680960 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 207742 205621 80 156 0 207585 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 830968
[startup+1242.3 s]
/proc/loadavg: 4.03 4.02 3.44 5/194 23630
/proc/meminfo: memFree=15191040/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=848192 CPUtime=1242.32 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2623244 0 0 0 123863 369 0 0 25 0 1 0 509976935 868548608 209954 33554432000 134512640 135151029 4293680960 18446744073709551615 134578232 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 212048 209954 80 156 0 211891 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 848192
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.01 4.01 3.47 5/194 23634
/proc/meminfo: memFree=15236208/32951124 swapFree=67111528/67111528
[pid=23449] ppid=23447 vsize=790604 CPUtime=1300.04 cores=5,7
/proc/23449/stat : 23449 (precosat) R 23447 23449 23266 0 -1 4202496 2712223 0 0 0 129623 381 0 0 25 0 1 0 509976935 809578496 195554 33554432000 134512640 135151029 4293680960 18446744073709551615 134521507 0 0 4096 17442 0 0 0 17 5 0 0 0
/proc/23449/statm: 197651 195554 80 156 0 197494 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 790604
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.04
CPU time (s): 1300.08
CPU user time (s): 1296.23
CPU system time (s): 3.84542
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 880964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1296.23
system time used= 3.84542
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2712224
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= 4
involuntary context switches= 2176
runsolver used 2.04269 second user time and 5.06323 second system time
The end
Launcher Data
Begin job on node133 at 2011-04-28 11:43:11
IDJOB=3308665
IDBENCH=82387
IDSOLVER=1690
FILE ID=node133/3308665-1303983788
RUNJOBID= node133-1303983198-23287
PBS_JOBID= 13168693
Free space on /tmp= 71464 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-three-cities-sequential-14nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.020-NOTKNOWN.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308665-1303983788/watcher-3308665-1303983788 -o /tmp/evaluation-result-3308665-1303983788/solver-3308665-1303983788 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308665-1303983788.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 5d1253e2dcc0e3e55992672756beadbc
RANDOM SEED=184029305
node133.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.66
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 6741.12
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.834
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 14888768 kB
Buffers: 2187280 kB
Cached: 13461056 kB
SwapCached: 0 kB
Active: 11009556 kB
Inactive: 6481892 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 14888768 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 338024 kB
Writeback: 0 kB
AnonPages: 1842668 kB
Mapped: 16128 kB
Slab: 502160 kB
PageTables: 8764 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 2039412 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71796 MiB
End job on node133 at 2011-04-28 12:04:53