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-1773231-1241194577.cnf
0.00/0.00 c found header 'p cnf 209724 3634677'
9.59/9.67 c finished parsing
9.59/9.67 c
9.59/9.67 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
9.59/9.67 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
9.59/9.67 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
9.59/9.67 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
9.59/9.67 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
9.59/9.67 c --random=1 --spread=2000 --seed=0 --skip=25
9.59/9.67 c
9.59/9.67 c sizeof vars[0] = 16 alignment = 0 3 MB
9.59/9.67 c sizeof orgs[0] = 8 alignment = 0 2 MB
9.59/9.67 c sizeof occs[0] = 8 alignment = 0 2 MB
9.59/9.67 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
9.59/9.67 c
9.59/9.67 c starting search after 9.7 seconds
9.59/9.67 c no decision limit
9.78/9.89 c
9.78/9.89 c original/binary fixed eliminated learned agility
9.78/9.89 c seconds variables equivalent conflicts height MB
9.78/9.89 c
9.78/9.89 c * 9.9 3634676 209723 1 0 0 0 0 0.0 0 250
43.38/43.46 c s 43.4 2794547 128162 34696 5 46861 0 0 0.0 0 217
43.38/43.46 c l 43.4 2794547 128162 34696 5 46861 0 305253 0.0 0 217
43.98/44.04 c R 44.0 2798061 128162 34696 5 46861 100 99 2750.0 0 223
44.88/44.98 c R 45.0 2799984 128161 34697 5 46861 200 199 2232.7 1 224
48.38/48.41 c R 48.4 2831920 124662 38157 44 46861 808 803 2059.5 3 228
48.87/48.90 c B 48.9 2832851 124662 38157 44 46861 1004 999 2028.0 2 228
52.67/52.71 c B 52.7 2864571 123937 38491 435 46861 2004 1997 2302.8 2 231
55.17/55.28 c R 55.3 2881961 123779 38492 592 46861 2409 2401 2139.1 1 232
65.97/66.02 c R 66.0 2934453 123531 38709 623 46861 6423 6413 2916.5 1 237
71.86/71.99 c B 72.0 2996484 119419 42569 875 46861 8007 7971 3121.6 2 240
128.84/128.99 c R 128.9 3448104 118941 42814 1108 46861 23367 23216 3606.1 2 265
145.64/145.79 c s 145.7 2801289 118560 42814 1117 47233 23702 23378 3619.8 0 224
145.64/145.79 c - 145.7 2801289 118560 42814 1117 47233 23702 277781 3619.8 0 224
146.74/146.87 c B 146.8 2802010 118552 42815 1124 47233 24015 23688 3615.3 1 225
260.10/260.21 c s 260.1 3081651 118150 43041 1300 47233 61923 61122 3603.2 3 248
263.81/263.90 c B 263.8 3085898 118102 43069 1320 47233 64031 63224 3603.4 1 252
280.00/280.15 c R 280.1 3108981 118052 43097 1342 47233 71525 70714 3582.2 3 260
389.06/389.28 c s 389.1 3220214 117812 43173 1506 47233 114977 113673 3524.2 4 272
389.06/389.28 c
389.06/389.28 c original/binary fixed eliminated learned agility
389.06/389.28 c seconds variables equivalent conflicts height MB
389.06/389.28 c
389.06/389.28 c - 389.1 3220214 117812 43173 1506 47233 114977 269448 3524.2 4 272
480.33/480.52 c B 480.4 3295200 117605 43284 1602 47233 160049 158729 3467.2 2 304
523.42/523.66 c s 523.5 3300910 117539 43345 1607 47233 175093 173483 3446.0 0 298
523.42/523.66 c - 523.5 3300910 117539 43345 1607 47233 175093 266754 3446.0 0 298
525.72/525.94 c R 525.8 3301635 117539 43345 1607 47233 175832 174222 3443.3 1 300
671.47/671.73 c s 671.5 3335328 116457 44182 1655 47430 228322 214671 3392.3 3 313
671.47/671.73 c - 671.5 3335328 116457 44182 1655 47430 228322 261419 3392.3 3 313
753.24/753.51 c + 753.3 3404421 115956 44572 1766 47430 261420 287560 3364.0 1 339
820.72/821.07 c s 820.8 3348146 115799 44681 1814 47430 277824 255000 3365.2 1 327
820.72/821.07 c - 820.8 3348146 115799 44681 1814 47430 277824 284685 3365.2 1 327
948.07/948.44 c + 948.1 3424020 115406 45034 1854 47430 323508 313153 3304.4 1 360
990.06/990.49 c s 990.2 3395219 114504 45926 1863 47431 329896 233437 3308.5 0 325
990.06/990.49 c - 990.2 3395219 114504 45926 1863 47431 329896 306890 3308.5 0 325
1123.62/1124.00 c B 1123.6 3720963 112869 46978 2446 47431 384086 287612 3321.6 2 377
1150.00/1150.49 c s 1150.1 3424588 110917 47005 2463 49339 386769 286330 3316.7 1 346
1150.00/1150.49 c - 1150.1 3424588 110917 47005 2463 49339 386769 297684 3316.7 1 346
1150.00/1150.49 c + 1150.1 3424588 110917 47005 2463 49339 386769 327452 3316.7 1 346
1167.60/1168.06 c R 1167.7 3437957 110862 47060 2463 49339 397508 297065 3315.5 0 361
1315.45/1315.91 c s 1315.5 3494897 110506 47386 2492 49340 452380 327163 3277.1 0 370
1402.42/1402.98 c
1402.42/1402.98 c original/binary fixed eliminated learned agility
1402.42/1402.98 c seconds variables equivalent conflicts height MB
1402.42/1402.98 c
1402.42/1402.98 c + 1402.5 3652296 109042 48211 3131 49340 483461 360197 3243.6 1 393
1501.49/1502.06 c s 1501.6 3540290 108835 48368 3181 49340 507890 351742 3220.6 1 379
1501.49/1502.06 c - 1501.6 3540290 108835 48368 3181 49340 507890 349392 3220.6 1 379
1684.83/1685.42 c s 1684.9 3607154 108355 48753 3276 49340 567524 349390 3178.4 1 380
1735.51/1736.18 c + 1735.6 3637282 108103 48862 3419 49340 586197 384331 3167.3 2 396
1860.87/1861.55 c s 1860.9 3658365 107625 49307 3452 49340 634586 384572 3143.7 3 392
1908.96/1909.63 c R 1909.0 3688037 107446 49436 3502 49340 653864 384388 3130.6 1 411
2132.78/2133.52 c s 2132.8 3722812 107018 49756 3610 49340 707255 384248 3102.3 1 394
2201.46/2202.27 c + 2201.5 3746265 106823 49940 3621 49340 732746 422764 3087.7 7 410
2367.10/2367.93 c s 2367.1 3731409 105075 50843 4432 49374 772829 411180 3066.3 1 397
2367.10/2367.93 c - 2367.1 3731409 105075 50843 4432 49374 772829 410082 3066.3 1 397
2556.14/2557.06 c s 2556.2 3778475 104748 51117 4485 49374 841120 410036 3046.2 2 400
2667.60/2668.50 c + 2667.6 3819273 104359 51480 4511 49374 888453 451090 3033.1 1 426
2677.09/2678.03 c B 2677.1 3823832 104314 51525 4511 49374 896179 418058 3034.0 3 430
2862.73/2863.77 c s 2862.8 3836444 104153 51680 4517 49374 914479 436342 3029.0 1 418
3045.36/3046.44 c s 3045.4 3898550 102992 52811 4547 49374 977369 451302 3034.3 1 430
3242.70/3243.83 c - 3242.7 3892556 102510 53252 4588 49374 1046932 446580 3012.8 3 460
3255.19/3256.32 c s 3255.2 3742676 98903 53253 4588 52980 1046932 429768 3012.8 3 410
3255.19/3256.32 c - 3255.2 3742676 98903 53253 4588 52980 1046932 433183 3012.8 3 410
3304.49/3305.61 c
3304.49/3305.61 c original/binary fixed eliminated learned agility
3304.49/3305.61 c seconds variables equivalent conflicts height MB
3304.49/3305.61 c
3304.49/3305.61 c + 3304.5 3758413 98063 53608 5073 52980 1066477 476501 3004.8 1 429
3496.32/3497.50 c s 3496.3 3652205 96692 53611 5125 54296 1138398 474237 2981.0 1 420
3496.32/3497.50 c - 3496.3 3652205 96692 53611 5125 54296 1138398 457441 2981.0 1 420
3653.56/3654.85 c R 3653.6 3658712 96639 53643 5146 54296 1217875 457534 2949.2 1 438
3730.73/3732.06 c s 3730.8 3617584 96191 53651 5149 54733 1243875 457575 2941.7 0 411
3799.62/3800.92 c + 3799.6 3620763 96177 53663 5151 54733 1279774 503185 2931.7 1 430
3982.56/3983.95 c s 3982.6 3536230 94744 53714 5162 56104 1344351 501543 2911.3 3 426
4208.28/4209.73 c s 4208.3 3498267 94033 53741 5173 56777 1434973 498869 2896.6 3 418
4449.39/4450.91 c s 4449.4 3467626 93901 53768 5184 56871 1524249 502373 2877.7 1 419
4449.39/4450.91 c - 4449.4 3467626 93901 53768 5184 56871 1524249 498154 2877.7 1 419
4590.54/4592.13 c + 4590.6 3475345 93888 53776 5189 56871 1583719 547969 2864.3 0 440
4700.71/4702.32 c s 4700.7 3475870 93871 53776 5189 56888 1618928 533186 2854.2 0 429
4937.33/4939.10 c s 4937.4 3477840 93662 53779 5248 57035 1710268 547221 2836.4 0 430
5201.24/5203.02 c s 5201.3 3480091 93508 53783 5289 57144 1811447 546441 2820.0 2 434
5425.37/5427.27 c s 5425.4 3483878 93286 53791 5312 57335 1906558 545372 2803.0 0 435
5567.42/5569.33 c + 5567.5 3502287 93278 53792 5319 57335 1979645 602765 2788.9 1 461
5642.20/5644.13 c s 5642.2 3494921 93205 53793 5325 57401 2002193 554235 2787.9 1 436
5741.76/5743.72 c B 5741.8 3506007 93198 53797 5328 57401 2048390 600430 2782.0 2 475
5858.13/5860.12 c s 5858.2 3510182 93181 53801 5333 57409 2096120 602691 2775.9 0 459
6087.65/6089.74 c
6087.65/6089.74 c original/binary fixed eliminated learned agility
6087.65/6089.74 c seconds variables equivalent conflicts height MB
6087.65/6089.74 c
6087.65/6089.74 c s 6087.7 3515305 92935 53814 5339 57636 2200137 601947 2765.2 1 456
6322.66/6324.81 c s 6322.7 3529692 92921 53820 5346 57637 2306632 602906 2755.8 1 463
6618.96/6621.29 c s 6619.1 3536008 92893 53830 5364 57637 2434094 602993 2733.6 4 464
6649.75/6652.06 c R 6649.8 3536602 92893 53830 5364 57637 2448188 602806 2730.5 1 475
6704.04/6706.37 c + 6704.1 3540084 92887 53833 5367 57637 2474557 663041 2727.0 0 485
6903.26/6905.68 c s 6903.4 3544763 92880 53837 5369 57638 2550098 615072 2716.9 1 461
7171.98/7174.44 c s 7172.0 3556059 92864 53843 5379 57638 2657611 663096 2708.1 1 479
7409.90/7412.48 c s 7410.0 3568562 92851 53850 5382 57641 2753912 530072 2698.2 1 418
7670.51/7673.16 c s 7670.6 3561954 92731 53957 5395 57641 2842318 618361 2687.7 1 445
7950.21/7952.92 c s 7950.2 3570633 92657 54014 5412 57641 2953576 663333 2674.7 1 462
8241.52/8244.37 c s 8241.6 3579660 92593 54059 5431 57641 3066187 662983 2659.3 0 449
8294.70/8297.50 c + 8294.7 3582566 92576 54069 5438 57641 3093196 729345 2656.9 0 466
8610.79/8613.70 c s 8610.8 3616754 92523 54100 5460 57641 3189354 729457 2648.8 0 474
8871.31/8874.39 c s 8871.4 3639732 92394 54211 5478 57641 3313387 729508 2635.6 0 459
9167.71/9170.89 c s 9167.8 3638184 92078 54518 5487 57641 3423052 728722 2621.4 1 463
9473.91/9477.15 c s 9474.0 3650346 91951 54641 5491 57641 3523433 729161 2610.8 1 458
9796.89/9800.25 c s 9797.0 3659724 91807 54776 5500 57641 3642209 729136 2596.6 1 456
10000.03/10003.40 c
10000.03/10003.40 c *** CAUGHT SIGNAL 15 ***
10000.03/10003.40 c
10000.03/10003.41 c 3731441 conflicts, 162058462 decisions, 80487 random
10000.03/10003.41 c 6 iterations, 6888 restarts, 0 skipped
10000.03/10003.41 c 13 enlarged, 5232 shrunken, 36431 rescored, 892 rebiased
10000.03/10003.41 c 44 simplifications, 0 reductions
10000.03/10003.41 c
10000.03/10003.41 c vars: 63350 fixed, 6294 equiv, 57641 elim, 6347 merged
10000.03/10003.41 c elim: 23903445 resolutions, 44 phases, 2 rounds
10000.03/10003.41 c sbst: 57% substituted, 0.9% nots, 87.4% ands, 0.0% xors, 11.8% ites
10000.03/10003.41 c arty: 15.37 and 0.00 xor average arity
10000.03/10003.41 c prbe: 352873 probed, 5606 phases, 1 rounds
10000.03/10003.41 c prbe: 7575 failed, 36638 lifted, 118 merged
10000.03/10003.41 c sccs: 52 non trivial, 0 fixed, 117 merged
10000.03/10003.41 c hash: 937 units, 6112 merged
10000.03/10003.41 c mins: 294060727 learned, 43% deleted, 30 strong, 129 depth
10000.03/10003.41 c subs: 14198 forward, 78213 backward, 1621164 doms
10000.03/10003.41 c strs: 87109 forward, 6477 backward
10000.03/10003.41 c doms: 1645832 dominators, 1581734 high, 1660 low
10000.03/10003.41 c prps: 6953603067 propagations, 0.70 megaprops
10000.03/10003.41 c
10000.03/10003.41 c 10000.0 seconds, 526 MB max, 1164 MB recycled
10000.03/10003.41 c
10000.03/10003.41 c *** CAUGHT SIGNAL 15 ***
10000.03/10003.41 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1773231-1241194577/watcher-1773231-1241194577 -o /tmp/evaluation-result-1773231-1241194577/solver-1773231-1241194577 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773231-1241194577.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 2367
/proc/meminfo: memFree=1166896/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=5708 CPUtime=0
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 910 0 0 0 0 0 0 0 18 0 1 0 147492249 5844992 895 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/2367/statm: 1427 902 58 155 0 1270 0
[startup+0.10243 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 2367
/proc/meminfo: memFree=1166896/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=20880 CPUtime=0.09
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 5110 0 0 0 8 1 0 0 18 0 1 0 147492249 21381120 5062 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 5220 5063 63 155 0 5063 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20880
[startup+0.202448 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 2367
/proc/meminfo: memFree=1166896/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=25084 CPUtime=0.19
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 6366 0 0 0 17 2 0 0 18 0 1 0 147492249 25686016 6124 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 6271 6125 63 155 0 6114 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 25084
[startup+0.302467 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 2367
/proc/meminfo: memFree=1166896/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=28912 CPUtime=0.29
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 7299 0 0 0 27 2 0 0 19 0 1 0 147492249 29605888 7057 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 7228 7058 63 155 0 7071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28912
[startup+0.702543 s]
/proc/loadavg: 0.93 0.98 0.99 3/64 2367
/proc/meminfo: memFree=1166896/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=41548 CPUtime=0.69
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 11208 0 0 0 65 4 0 0 22 0 1 0 147492249 42545152 10196 1992294400 134512640 135151029 4294956240 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 10387 10196 63 155 0 10230 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41548
[startup+1.50169 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 2368
/proc/meminfo: memFree=1110824/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=65268 CPUtime=1.49
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 18142 0 0 0 141 8 0 0 25 0 1 0 147492249 66834432 16105 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 16317 16105 63 155 0 16160 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 65268
[startup+3.10198 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2368
/proc/meminfo: memFree=1079592/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=110104 CPUtime=3.09
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 31308 0 0 0 295 14 0 0 25 0 1 0 147492249 112746496 27222 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 27526 27223 63 155 0 27369 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 110104
[startup+6.30156 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2368
/proc/meminfo: memFree=992368/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=216036 CPUtime=6.29
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 57522 0 0 0 601 28 0 0 25 0 1 0 147492249 221220864 53436 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 54009 53436 63 155 0 53852 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 216036
[startup+12.7017 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2368
/proc/meminfo: memFree=905072/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=269720 CPUtime=12.69
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 85418 0 0 0 1226 43 0 0 25 0 1 0 147492249 276193280 66683 1992294400 134512640 135151029 4294956240 18446744073709551615 134688678 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 67430 66683 79 155 0 67273 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 269720
[startup+25.5011 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 2368
/proc/meminfo: memFree=838448/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=333380 CPUtime=25.48
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 123346 0 0 0 2486 62 0 0 25 0 1 0 147492249 341381120 82588 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 83345 82589 79 155 0 83188 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 333380
[startup+51.1028 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=836464/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=335320 CPUtime=51.07
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 142117 0 0 0 5034 73 0 0 25 0 1 0 147492249 343367680 82893 1992294400 134512640 135151029 4294956240 18446744073709551615 134554756 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 83830 82893 79 155 0 83673 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 335320
[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=836400/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=335324 CPUtime=102.26
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 142123 0 0 0 10153 73 0 0 25 0 1 0 147492249 343371776 82899 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 83831 82899 79 155 0 83674 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 335324
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=836656/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=334616 CPUtime=162.23
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 193108 0 0 0 16124 99 0 0 25 0 1 0 147492249 342646784 82801 1992294400 134512640 135151029 4294956240 18446744073709551615 134567690 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 83654 82801 79 155 0 83497 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 334616
[startup+222.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=836656/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=334616 CPUtime=222.22
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 193108 0 0 0 22123 99 0 0 25 0 1 0 147492249 342646784 82801 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 83654 82801 79 155 0 83497 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 334616
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=834608/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=336144 CPUtime=282.2
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 246380 0 0 0 28093 127 0 0 25 0 1 0 147492249 344211456 83278 1992294400 134512640 135151029 4294956240 18446744073709551615 134555012 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 84036 83278 79 155 0 83879 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 336144
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=834608/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=336144 CPUtime=342.18
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 246380 0 0 0 34091 127 0 0 25 0 1 0 147492249 344211456 83278 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 84036 83278 79 155 0 83879 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 336144
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=835440/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=335000 CPUtime=402.16
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 304748 0 0 0 40058 158 0 0 25 0 1 0 147492249 343040000 83039 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 83750 83039 79 155 0 83593 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 335000
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=830384/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=340412 CPUtime=462.14
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 306072 0 0 0 46054 160 0 0 25 0 1 0 147492249 348581888 84363 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 85103 84363 79 155 0 84946 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 340412
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=832432/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=370704 CPUtime=522.12
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 369760 0 0 0 52020 192 0 0 25 0 1 0 147492249 379600896 91961 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 92676 91961 79 155 0 92519 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 370704
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=805488/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=365676 CPUtime=582.09
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 372448 0 0 0 58015 194 0 0 25 0 1 0 147492249 374452224 90552 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 91419 90552 79 155 0 91262 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 365676
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2368
/proc/meminfo: memFree=793648/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=377776 CPUtime=642.07
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 375423 0 0 0 64010 197 0 0 25 0 1 0 147492249 386842624 93527 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 94444 93527 79 155 0 94287 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 377776
[startup+702.302 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=586864/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=582076 CPUtime=9099.23
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2101707 0 0 0 908811 1112 0 0 25 0 1 0 147492249 596045824 144443 1992294400 134512640 135151029 4294956240 18446744073709551615 134552306 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145519 144443 79 155 0 145362 0
Current children cumulated CPU time (s) 9099.23
Current children cumulated vsize (KiB) 582076
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=599856/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=558236 CPUtime=9159.21
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2128609 0 0 0 914795 1126 0 0 25 0 1 0 147492249 571633664 139104 1992294400 134512640 135151029 4294956240 18446744073709551615 134550581 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 139559 139104 79 155 0 139402 0
Current children cumulated CPU time (s) 9159.21
Current children cumulated vsize (KiB) 558236
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=590192/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=576672 CPUtime=9219.19
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2144878 0 0 0 920785 1134 0 0 25 0 1 0 147492249 590512128 143592 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 144168 143592 79 155 0 144011 0
Current children cumulated CPU time (s) 9219.19
Current children cumulated vsize (KiB) 576672
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=589232/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=578220 CPUtime=9279.17
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2145106 0 0 0 926782 1135 0 0 25 0 1 0 147492249 592097280 143820 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 144555 143820 79 155 0 144398 0
Current children cumulated CPU time (s) 9279.17
Current children cumulated vsize (KiB) 578220
[startup+9342.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=588272/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=579760 CPUtime=9339.16
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2145356 0 0 0 932780 1136 0 0 25 0 1 0 147492249 593674240 144070 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 144940 144070 79 155 0 144783 0
Current children cumulated CPU time (s) 9339.16
Current children cumulated vsize (KiB) 579760
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=587696/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580532 CPUtime=9399.13
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2145490 0 0 0 938777 1136 0 0 25 0 1 0 147492249 594464768 144204 1992294400 134512640 135151029 4294956240 18446744073709551615 134542666 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145133 144204 79 155 0 144976 0
Current children cumulated CPU time (s) 9399.13
Current children cumulated vsize (KiB) 580532
[startup+9462.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=599728/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=566436 CPUtime=9459.11
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2172428 0 0 0 944760 1151 0 0 25 0 1 0 147492249 580030464 141155 1992294400 134512640 135151029 4294956240 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 141609 141155 79 155 0 141452 0
Current children cumulated CPU time (s) 9459.11
Current children cumulated vsize (KiB) 566436
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=589680/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=578216 CPUtime=9519.09
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2188806 0 0 0 950750 1159 0 0 25 0 1 0 147492249 592093184 143702 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 144554 143702 79 155 0 144397 0
Current children cumulated CPU time (s) 9519.09
Current children cumulated vsize (KiB) 578216
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=588080/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580268 CPUtime=9579.07
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2189215 0 0 0 956747 1160 0 0 25 0 1 0 147492249 594194432 144111 1992294400 134512640 135151029 4294956240 18446744073709551615 134581762 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145067 144111 79 155 0 144910 0
Current children cumulated CPU time (s) 9579.07
Current children cumulated vsize (KiB) 580268
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=587376/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=581040 CPUtime=9639.05
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2189383 0 0 0 962745 1160 0 0 25 0 1 0 147492249 594984960 144279 1992294400 134512640 135151029 4294956240 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145260 144279 79 155 0 145103 0
Current children cumulated CPU time (s) 9639.05
Current children cumulated vsize (KiB) 581040
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=586864/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=581552 CPUtime=9699.03
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2189521 0 0 0 968742 1161 0 0 25 0 1 0 147492249 595509248 144417 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145388 144417 79 155 0 145231 0
Current children cumulated CPU time (s) 9699.03
Current children cumulated vsize (KiB) 581552
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=586416/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=582832 CPUtime=9759.01
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2189626 0 0 0 974740 1161 0 0 25 0 1 0 147492249 596819968 144522 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145708 144522 79 155 0 145551 0
Current children cumulated CPU time (s) 9759.01
Current children cumulated vsize (KiB) 582832
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2386
/proc/meminfo: memFree=591344/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=574876 CPUtime=9818.99
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2232023 0 0 0 980717 1182 0 0 25 0 1 0 147492249 588673024 143241 1992294400 134512640 135151029 4294956240 18446744073709551615 134555066 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 143719 143241 79 155 0 143562 0
Current children cumulated CPU time (s) 9818.99
Current children cumulated vsize (KiB) 574876
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2392
/proc/meminfo: memFree=588464/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580008 CPUtime=9878.96
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2232750 0 0 0 986713 1183 0 0 25 0 1 0 147492249 593928192 143968 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145002 143968 79 155 0 144845 0
Current children cumulated CPU time (s) 9878.96
Current children cumulated vsize (KiB) 580008
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2392
/proc/meminfo: memFree=588144/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580008 CPUtime=9938.94
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2232852 0 0 0 992711 1183 0 0 25 0 1 0 147492249 593928192 144070 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145002 144070 79 155 0 144845 0
Current children cumulated CPU time (s) 9938.94
Current children cumulated vsize (KiB) 580008
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2392
/proc/meminfo: memFree=588208/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580008 CPUtime=9998.92
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2232852 0 0 0 998709 1183 0 0 25 0 1 0 147492249 593928192 144070 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145002 144070 79 155 0 144845 0
Current children cumulated CPU time (s) 9998.92
Current children cumulated vsize (KiB) 580008
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10003.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2392
/proc/meminfo: memFree=588208/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580008 CPUtime=10000
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2232852 0 0 0 998820 1183 0 0 25 0 1 0 147492249 593928192 144070 1992294400 134512640 135151029 4294956240 18446744073709551615 134578221 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145002 144070 79 155 0 144845 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 580008
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10003.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 2392
/proc/meminfo: memFree=588208/2055920 swapFree=4180836/4192956
[pid=2367] ppid=2365 vsize=580008 CPUtime=10000
/proc/2367/stat : 2367 (precosat) R 2365 2367 2330 0 -1 4194304 2232852 0 0 0 998820 1183 0 0 25 0 1 0 147492249 593928192 144070 1992294400 134512640 135151029 4294956240 18446744073709551615 134578221 0 0 4096 17442 0 0 0 17 1 0 0
/proc/2367/statm: 145002 144070 79 155 0 144845 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 580008
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10003.5
CPU time (s): 10000.1
CPU user time (s): 9988.2
CPU system time (s): 11.9332
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 591264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9988.2
system time used= 11.9332
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2232852
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= 2
involuntary context switches= 12623
runsolver used 8.17276 second user time and 21.8647 second system time
The end
Begin job on node2 at 2009-05-01 18:16:21
IDJOB=1773231
IDBENCH=20576
IDSOLVER=607
FILE ID=node2/1773231-1241194577
PBS_JOBID= 9224646
Free space on /tmp= 66176 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq6.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1773231-1241194577/watcher-1773231-1241194577 -o /tmp/evaluation-result-1773231-1241194577/solver-1773231-1241194577 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1773231-1241194577.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 580dc3969c4e46e50013253fd4ac9139
RANDOM SEED=262808965
node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.265
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.265
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: 1167376 kB
Buffers: 80700 kB
Cached: 698088 kB
SwapCached: 5932 kB
Active: 101576 kB
Inactive: 685532 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1167376 kB
SwapTotal: 4192956 kB
SwapFree: 4180836 kB
Dirty: 77764 kB
Writeback: 0 kB
Mapped: 13968 kB
Slab: 87408 kB
Committed_AS: 884508 kB
PageTables: 1468 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= 66176 MiB
End job on node2 at 2009-05-01 21:03:07