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-1772701-1241188529.cnf
0.00/0.00 c found header 'p cnf 234064 1059777'
2.29/2.35 c finished parsing
2.29/2.35 c
2.29/2.35 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.29/2.35 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.29/2.35 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.29/2.35 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.29/2.35 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.29/2.35 c --random=1 --spread=2000 --seed=0 --skip=25
2.29/2.35 c
2.29/2.35 c sizeof vars[0] = 16 alignment = 0 4 MB
2.29/2.35 c sizeof orgs[0] = 8 alignment = 0 2 MB
2.29/2.35 c sizeof occs[0] = 8 alignment = 0 2 MB
2.29/2.35 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
2.29/2.35 c
2.29/2.35 c starting search after 2.3 seconds
2.29/2.35 c no decision limit
2.39/2.40 c
2.39/2.40 c original/binary fixed eliminated learned agility
2.39/2.40 c seconds variables equivalent conflicts height MB
2.39/2.40 c
2.39/2.40 c * 2.4 1040931 170245 8855 54964 0 0 0 0.0 0 82
9.19/9.29 c s 9.3 542515 84451 49922 54092 45599 0 0 0.0 0 56
9.19/9.29 c l 9.3 542515 84451 49922 54092 45599 0 227976 0.0 0 56
9.49/9.59 c R 9.6 548781 83839 50521 54105 45599 156 139 156.3 3 57
17.18/17.24 c R 17.2 867164 78350 55805 54310 45599 706 669 451.7 1 79
20.08/20.14 c B 20.1 1005933 76603 57518 54344 45599 1002 944 465.3 2 87
27.97/28.09 c s 28.1 862443 72683 59969 54364 47048 1341 1090 432.7 6 78
27.97/28.09 c - 28.1 862443 72683 59969 54364 47048 1341 193780 432.7 6 78
32.38/32.45 c B 32.4 909172 71643 60933 54440 47048 2008 1727 514.9 1 82
59.77/59.81 c s 59.8 1134988 67328 63878 54629 48229 5522 4987 581.3 4 99
59.77/59.81 c - 59.8 1134988 67328 63878 54629 48229 5522 184091 581.3 4 99
72.37/72.46 c B 72.4 1278214 65963 65223 54649 48229 8010 7422 590.3 2 121
83.86/83.99 c R 84.0 1422945 65582 65572 54681 48229 10605 9979 621.6 1 134
104.56/104.65 c s 104.6 1469634 64442 66541 54712 48369 13379 11041 626.0 2 134
104.56/104.65 c - 104.6 1469634 64442 66541 54712 48369 13379 178569 626.0 2 134
140.75/140.84 c R 140.8 1802682 63213 67573 54909 48369 20727 18326 631.8 4 172
156.05/156.17 c B 156.1 1941059 62321 68436 54938 48369 24018 21578 642.5 2 188
166.84/166.92 c s 166.9 1860972 62071 68505 54974 48514 24562 16240 643.4 2 158
166.84/166.92 c - 166.9 1860972 62071 68505 54974 48514 24562 174998 643.4 2 158
249.92/250.03 c
249.92/250.03 c original/binary fixed eliminated learned agility
249.92/250.03 c seconds variables equivalent conflicts height MB
249.92/250.03 c
249.92/250.03 c s 250.0 1994524 57795 70879 55629 49761 38183 15056 654.0 10 158
249.92/250.03 c - 250.0 1994524 57795 70879 55629 49761 38183 162749 654.0 10 158
338.50/338.69 c s 338.6 2108396 53575 73222 56473 50794 53490 9721 646.0 3 156
338.50/338.69 c - 338.6 2108396 53575 73222 56473 50794 53490 149730 646.0 3 156
387.98/388.17 c B 388.1 2495501 51853 74585 56832 50794 64032 20222 636.7 6 217
430.08/430.27 c s 430.2 2422480 49011 75864 57750 51439 70670 12741 630.7 0 190
430.08/430.27 c - 430.2 2422480 49011 75864 57750 51439 70670 140747 630.7 0 190
540.45/540.64 c s 540.5 2692170 44068 79263 59294 51439 92488 34416 623.1 5 254
540.45/540.64 c - 540.5 2692170 44068 79263 59294 51439 92488 132303 623.1 5 254
688.60/688.88 c s 688.7 2385934 39398 80061 59837 54768 122944 8265 613.1 4 184
688.60/688.88 c - 688.7 2385934 39398 80061 59837 54768 122944 128334 613.1 4 184
704.91/705.17 c + 705.0 2424097 39162 80137 59997 54768 128334 141167 608.2 3 197
810.07/810.34 c s 810.1 2415590 38596 80344 60090 55034 156843 33702 591.9 1 228
810.07/810.34 c - 810.1 2415590 38596 80344 60090 55034 156843 136932 591.9 1 228
810.07/810.34 c + 810.1 2415590 38596 80344 60090 55034 156843 150625 591.9 1 228
817.27/817.51 c R 817.3 2422249 38571 80369 60090 55034 159179 36036 591.2 9 236
819.67/819.96 c B 819.7 2423555 38568 80372 60090 55034 160080 36937 591.0 4 238
948.44/948.70 c s 948.5 2463599 38007 80691 60136 55230 194307 69686 579.9 6 313
948.44/948.70 c - 948.5 2463599 38007 80691 60136 55230 194307 147613 579.9 6 313
948.44/948.70 c
948.44/948.70 c original/binary fixed eliminated learned agility
948.44/948.70 c seconds variables equivalent conflicts height MB
948.44/948.70 c
948.44/948.70 c + 948.5 2463599 38007 80691 60136 55230 194307 162374 579.9 6 313
1036.31/1036.63 c R 1036.4 2515088 37838 80856 60140 55230 216598 91969 572.2 3 377
1114.00/1114.38 c s 1114.1 2390814 37271 81015 60166 55612 232558 27247 569.1 7 198
1134.19/1134.50 c R 1134.2 2421765 37186 81100 60166 55612 239075 33763 567.3 4 215
1147.18/1147.53 c + 1147.2 2436717 37143 81142 60167 55612 242881 178611 566.8 6 224
1241.16/1241.51 c s 1241.2 2404701 36917 81271 60167 55709 269146 40873 559.0 3 212
1241.16/1241.51 c - 1241.2 2404701 36917 81271 60167 55709 269146 176825 559.0 3 212
1350.73/1351.10 c + 1350.7 2467161 36762 81424 60169 55709 300565 194507 549.4 7 286
1380.42/1380.85 c s 1380.5 2437536 36692 81429 60170 55773 305410 62877 547.9 4 249
1532.98/1533.48 c s 1533.1 2421349 36424 81512 60184 55944 344419 39453 537.1 2 205
1625.26/1625.73 c + 1625.3 2426123 36404 81530 60186 55944 375705 213957 531.7 7 275
1652.85/1653.33 c B 1652.9 2428656 36395 81538 60187 55944 384157 79183 530.5 3 295
1668.04/1668.59 c s 1668.1 2427571 36394 81538 60187 55945 384666 79675 530.3 5 287
1821.20/1821.70 c s 1821.2 2466912 36356 81569 60194 55945 423370 118319 525.6 5 372
2000.55/2001.16 c s 2000.6 2491112 36240 81617 60197 56010 462612 56706 521.9 3 223
2024.15/2024.75 c + 2024.2 2512166 36213 81643 60198 56010 469631 235352 520.5 5 242
2157.62/2158.29 c s 2157.7 2493243 36159 81674 60200 56031 502952 96971 516.1 2 306
2328.96/2329.67 c s 2329.0 2501835 36124 81701 60202 56037 542171 136105 512.6 5 387
2527.01/2527.77 c s 2527.1 2482720 36026 81723 60203 56112 584225 87358 508.8 4 259
2536.52/2537.29 c
2536.52/2537.29 c original/binary fixed eliminated learned agility
2536.52/2537.29 c seconds variables equivalent conflicts height MB
2536.52/2537.29 c
2536.52/2537.29 c + 2536.6 2483009 36026 81723 60203 56112 587035 258887 508.8 8 269
2685.08/2685.89 c s 2685.2 2486552 36015 81730 60203 56116 625090 126687 505.3 9 341
2731.46/2732.24 c R 2731.5 2487028 36015 81730 60203 56116 638226 139823 504.9 4 379
2868.12/2868.91 c s 2868.1 2487315 36014 81731 60203 56116 665999 167580 502.3 2 430
3072.87/3073.76 c s 3072.9 2496720 35962 81742 60205 56155 707613 105616 498.9 5 272
3173.65/3174.54 c + 3173.7 2513994 35959 81744 60206 56155 733791 284775 497.0 5 340
3249.02/3249.98 c s 3249.1 2517548 35956 81746 60206 56156 748467 143315 495.5 6 351
3445.07/3446.10 c s 3445.2 2526573 35941 81759 60208 56156 789677 184494 491.6 7 442
3642.72/3643.74 c s 3642.8 2535587 35913 81761 60208 56182 832600 153359 489.4 2 352
3829.27/3830.31 c s 3829.3 2538680 35908 81764 60210 56182 874989 195723 487.0 3 445
3915.55/3916.67 c B 3915.6 2539401 35905 81765 60212 56182 896286 217020 486.1 4 508
4004.43/4005.56 c + 4004.5 2539859 35904 81765 60213 56182 917236 313252 484.8 10 558
4035.31/4036.41 c s 4035.3 2539755 35904 81765 60213 56182 919694 240422 484.9 6 546
4248.36/4249.58 c s 4248.5 2542319 35858 81775 60213 56218 963801 172847 483.3 5 363
4446.41/4447.63 c s 4446.4 2558436 35840 81789 60216 56219 1008908 217885 481.6 5 467
4677.84/4679.18 c s 4677.9 2565078 35829 81800 60216 56219 1053536 262498 479.2 3 568
4924.58/4925.94 c s 4924.6 2568317 35800 81801 60216 56247 1097019 173699 477.1 6 352
5137.22/5138.60 c s 5137.2 2570482 35795 81803 60217 56249 1140992 217668 475.0 3 450
5162.21/5163.65 c + 5162.3 2570626 35795 81803 60217 56249 1146545 344577 474.8 4 471
5167.42/5168.86 c
5167.42/5168.86 c original/binary fixed eliminated learned agility
5167.42/5168.86 c seconds variables equivalent conflicts height MB
5167.42/5168.86 c
5167.42/5168.86 c R 5167.5 2570646 35795 81803 60217 56249 1147795 224471 474.8 5 474
5361.36/5362.81 c s 5361.4 2571726 35795 81803 60217 56249 1185389 262059 473.4 4 550
5602.10/5603.62 c s 5602.1 2569179 35723 81847 60217 56277 1231376 235205 471.7 5 460
5852.84/5854.42 c s 5852.9 2578575 35715 81855 60217 56277 1276551 280268 469.9 7 564
6116.26/6117.90 c s 6116.3 2581801 35701 81869 60217 56277 1321960 325644 467.7 6 666
6395.69/6397.49 c s 6395.8 2584708 35652 81896 60217 56299 1369361 254414 465.6 8 518
6629.93/6631.79 c s 6630.0 2587258 35640 81907 60217 56300 1415944 300992 465.2 2 626
6712.01/6713.87 c + 6712.1 2587596 35637 81910 60217 56300 1433183 379034 464.6 5 684
6881.66/6883.52 c s 6881.7 2587888 35621 81926 60217 56300 1462789 347818 464.2 12 733
7184.78/7186.71 c s 7184.8 2587225 35605 81929 60217 56313 1510127 355309 462.9 6 748
7486.91/7488.97 c s 7487.0 2602941 35598 81936 60217 56313 1555616 379085 461.8 6 825
7822.72/7824.88 c s 7822.8 2608234 35588 81945 60218 56313 1602567 379140 460.5 6 862
8105.74/8107.95 c s 8105.8 2610591 35563 81953 60218 56330 1651105 274628 460.5 4 609
8389.27/8391.55 c s 8389.3 2611742 35561 81954 60218 56331 1698106 321627 459.2 12 716
8685.39/8687.70 c s 8685.4 2612502 35551 81955 60218 56340 1744600 367943 458.4 11 821
8980.90/8983.39 c + 8981.0 2615024 35551 81955 60218 56340 1791475 416937 457.0 7 901
9007.00/9009.42 c s 9007.0 2616263 35551 81955 60218 56340 1793127 380916 457.0 6 872
9317.61/9320.20 c s 9317.7 2626512 35532 81956 60219 56357 1842697 328249 456.2 1 693
9509.07/9511.60 c R 9509.1 2630330 35531 81957 60219 56357 1880122 365673 456.4 5 807
9591.34/9593.95 c
9591.34/9593.95 c original/binary fixed eliminated learned agility
9591.34/9593.95 c seconds variables equivalent conflicts height MB
9591.34/9593.95 c
9591.34/9593.95 c s 9591.4 2629995 35531 81957 60219 56357 1890679 376225 456.7 4 808
9884.56/9887.21 c s 9884.6 2632998 35528 81960 60219 56357 1938926 417255 457.0 5 911
10000.04/10002.70 c
10000.04/10002.70 c *** CAUGHT SIGNAL 15 ***
10000.04/10002.70 c
10000.04/10002.70 c 1959105 conflicts, 12669309 decisions, 6171 random
10000.04/10002.70 c 272 iterations, 5781 restarts, 0 skipped
10000.04/10002.70 c 13 enlarged, 32899 shrunken, 19162 rescored, 509 rebiased
10000.04/10002.70 c 52 simplifications, 0 reductions
10000.04/10002.70 c
10000.04/10002.70 c vars: 81960 fixed, 60219 equiv, 56357 elim, 61891 merged
10000.04/10002.70 c elim: 17128319 resolutions, 51 phases, 16 rounds
10000.04/10002.70 c sbst: 60% substituted, 17.4% nots, 82.6% ands, 0.0% xors, 0.0% ites
10000.04/10002.70 c arty: 3.26 and 0.00 xor average arity
10000.04/10002.70 c prbe: 560791 probed, 4578 phases, 7 rounds
10000.04/10002.70 c prbe: 5981 failed, 5598 lifted, 1235 merged
10000.04/10002.70 c sccs: 686 non trivial, 0 fixed, 1208 merged
10000.04/10002.70 c hash: 282 units, 59448 merged
10000.04/10002.70 c mins: 1117587385 learned, 23% deleted, 40 strong, 362 depth
10000.04/10002.70 c subs: 102994 forward, 117166 backward, 160150 doms
10000.04/10002.70 c strs: 43038 forward, 101 backward
10000.04/10002.70 c doms: 716931 dominators, 184313 high, 727 low
10000.04/10002.70 c prps: 5245907144 propagations, 0.52 megaprops
10000.04/10002.70 c
10000.04/10002.70 c 10000.0 seconds, 1003 MB max, 3726 MB recycled
10000.04/10002.70 c
10000.04/10002.70 c *** CAUGHT SIGNAL 15 ***
10000.04/10002.70 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1772701-1241188529/watcher-1772701-1241188529 -o /tmp/evaluation-result-1772701-1241188529/solver-1772701-1241188529 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772701-1241188529.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.92 0.98 0.91 3/64 23874
/proc/meminfo: memFree=1770488/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=4448 CPUtime=0
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 905 0 0 0 0 0 0 0 18 0 1 0 146886989 4554752 890 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 1 0 0
/proc/23874/statm: 1112 896 58 155 0 955 0
[startup+0.0234121 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 23874
/proc/meminfo: memFree=1770488/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=10460 CPUtime=0.01
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2175 0 0 0 1 0 0 0 18 0 1 0 146886989 10711040 2160 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/23874/statm: 2615 2161 59 155 0 2458 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10460
[startup+0.101419 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 23874
/proc/meminfo: memFree=1770488/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=22696 CPUtime=0.09
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 5572 0 0 0 7 2 0 0 18 0 1 0 146886989 23240704 5524 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 5674 5525 63 155 0 5517 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22696
[startup+0.301441 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 23874
/proc/meminfo: memFree=1770488/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=32908 CPUtime=0.29
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 8330 0 0 0 26 3 0 0 19 0 1 0 146886989 33697792 8088 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 8227 8088 63 155 0 8070 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32908
[startup+0.701485 s]
/proc/loadavg: 0.92 0.98 0.91 3/64 23874
/proc/meminfo: memFree=1770488/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=44620 CPUtime=0.69
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 12015 0 0 0 63 6 0 0 22 0 1 0 146886989 45690880 11003 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 11155 11003 63 155 0 10998 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44620
[startup+1.50158 s]
/proc/loadavg: 0.92 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1715568/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=69044 CPUtime=1.49
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 19156 0 0 0 140 9 0 0 25 0 1 0 146886989 70701056 17119 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 17261 17119 64 155 0 17104 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 69044
[startup+3.10276 s]
/proc/loadavg: 0.92 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1682864/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=91124 CPUtime=3.09
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 27540 0 0 0 296 13 0 0 25 0 1 0 146886989 93310976 22538 1992294400 134512640 135151029 4294956240 18446744073709551615 134521538 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 22781 22538 79 155 0 22624 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 91124
[startup+6.30111 s]
/proc/loadavg: 0.93 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1660976/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=110560 CPUtime=6.29
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 35555 0 0 0 611 18 0 0 25 0 1 0 146886989 113213440 27397 1992294400 134512640 135151029 4294956240 18446744073709551615 134519079 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 27640 27397 79 155 0 27483 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 110560
[startup+12.7018 s]
/proc/loadavg: 0.93 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1675888/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=95492 CPUtime=12.68
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 37535 0 0 0 1249 19 0 0 25 0 1 0 146886989 97783808 23683 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 23873 23683 79 155 0 23716 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 95492
[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1661680/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=113624 CPUtime=25.47
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 50494 0 0 0 2522 25 0 0 25 0 1 0 146886989 116350976 28214 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 28406 28214 79 155 0 28249 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 113624
[startup+51.1011 s]
/proc/loadavg: 0.96 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1632688/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=131724 CPUtime=51.07
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 63281 0 0 0 5074 33 0 0 25 0 1 0 146886989 134885376 32744 1992294400 134512640 135151029 4294956240 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 32931 32744 79 155 0 32774 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131724
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1617200/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=151744 CPUtime=102.26
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 101721 0 0 0 10169 57 0 0 25 0 1 0 146886989 155385856 37774 1992294400 134512640 135151029 4294956240 18446744073709551615 134521538 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 37936 37774 79 155 0 37779 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151744
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23875
/proc/meminfo: memFree=1546864/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=216216 CPUtime=162.24
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 130833 0 0 0 16148 76 0 0 25 0 1 0 146886989 221405184 53848 1992294400 134512640 135151029 4294956240 18446744073709551615 134678810 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 54054 53848 79 155 0 53897 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 216216
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1511088/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=260336 CPUtime=222.23
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 157810 0 0 0 22131 92 0 0 25 0 1 0 146886989 266584064 64853 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 65084 64853 79 155 0 64927 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 260336
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1507696/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=263064 CPUtime=282.21
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 191739 0 0 0 28110 111 0 0 25 0 1 0 146886989 269377536 65553 1992294400 134512640 135151029 4294956240 18446744073709551615 134554722 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 65766 65553 79 155 0 65609 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 263064
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1507440/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=263064 CPUtime=342.2
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 228740 0 0 0 34090 130 0 0 25 0 1 0 146886989 269377536 65597 1992294400 134512640 135151029 4294956240 18446744073709551615 134554766 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 65766 65597 79 155 0 65609 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 263064
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1490992/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=279448 CPUtime=402.18
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 236938 0 0 0 40084 134 0 0 25 0 1 0 146886989 286154752 69698 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 69862 69698 79 155 0 69705 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 279448
[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1490928/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=279448 CPUtime=462.16
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 273643 0 0 0 46062 154 0 0 25 0 1 0 146886989 286154752 69704 1992294400 134512640 135151029 4294956240 18446744073709551615 134542610 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 69862 69704 79 155 0 69705 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 279448
[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1479792/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=291620 CPUtime=522.15
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 276675 0 0 0 52058 157 0 0 25 0 1 0 146886989 298618880 72736 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 72905 72736 79 155 0 72748 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 291620
[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1451760/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=319416 CPUtime=582.13
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 320676 0 0 0 58030 183 0 0 25 0 1 0 146886989 327081984 79651 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 79854 79651 79 155 0 79697 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 319416
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/65 23877
/proc/meminfo: memFree=1403888/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=366752 CPUtime=642.12
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 332498 0 0 0 64016 196 0 0 25 0 1 0 146886989 375554048 91473 1992294400 134512640 135151029 4294956240 18446744073709551615 134554650 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 91688 91473 79 155 0 91531 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 366752
[startup+702.302 s]
################
# More data... #
################
[startup+9102.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=774512/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=991472 CPUtime=9099.87
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 1947067 0 0 0 908870 1117 0 0 25 0 1 0 146886989 1015267328 247666 1992294400 134512640 135151029 4294956240 18446744073709551615 134577848 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 247868 247666 79 155 0 247711 0
Current children cumulated CPU time (s) 9099.87
Current children cumulated vsize (KiB) 991472
[startup+9162.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=745584/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1021296 CPUtime=9159.86
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 1954328 0 0 0 914861 1125 0 0 25 0 1 0 146886989 1045807104 254927 1992294400 134512640 135151029 4294956240 18446744073709551615 134554780 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 255324 254927 79 155 0 255167 0
Current children cumulated CPU time (s) 9159.86
Current children cumulated vsize (KiB) 1021296
[startup+9222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=718896/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1048448 CPUtime=9219.84
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 1960942 0 0 0 920851 1133 0 0 25 0 1 0 146886989 1073610752 261541 1992294400 134512640 135151029 4294956240 18446744073709551615 134551374 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 262112 261541 79 155 0 261955 0
Current children cumulated CPU time (s) 9219.84
Current children cumulated vsize (KiB) 1048448
[startup+9282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=709552/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1058292 CPUtime=9279.82
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 1963275 0 0 0 926846 1136 0 0 25 0 1 0 146886989 1083691008 263874 1992294400 134512640 135151029 4294956240 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 264573 263874 79 155 0 264416 0
Current children cumulated CPU time (s) 9279.82
Current children cumulated vsize (KiB) 1058292
[startup+9342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=706224/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9339.81
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2000780 0 0 0 932825 1156 0 0 25 0 1 0 146886989 1086541824 264680 1992294400 134512640 135151029 4294956240 18446744073709551615 134554922 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264680 79 155 0 265112 0
Current children cumulated CPU time (s) 9339.81
Current children cumulated vsize (KiB) 1061076
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=706160/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9399.79
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2000804 0 0 0 938823 1156 0 0 25 0 1 0 146886989 1086541824 264704 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264704 79 155 0 265112 0
Current children cumulated CPU time (s) 9399.79
Current children cumulated vsize (KiB) 1061076
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=706160/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9459.77
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2000814 0 0 0 944821 1156 0 0 25 0 1 0 146886989 1086541824 264714 1992294400 134512640 135151029 4294956240 18446744073709551615 134542806 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264714 79 155 0 265112 0
Current children cumulated CPU time (s) 9459.77
Current children cumulated vsize (KiB) 1061076
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=706096/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9519.76
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2000820 0 0 0 950819 1157 0 0 25 0 1 0 146886989 1086541824 264720 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264720 79 155 0 265112 0
Current children cumulated CPU time (s) 9519.76
Current children cumulated vsize (KiB) 1061076
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=738800/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1028304 CPUtime=9579.74
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2021398 0 0 0 956806 1168 0 0 25 0 1 0 146886989 1052983296 256540 1992294400 134512640 135151029 4294956240 18446744073709551615 134521914 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 257076 256540 79 155 0 256919 0
Current children cumulated CPU time (s) 9579.74
Current children cumulated vsize (KiB) 1028304
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705904/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9639.73
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2037541 0 0 0 962797 1176 0 0 25 0 1 0 146886989 1086541824 264742 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264742 79 155 0 265112 0
Current children cumulated CPU time (s) 9639.73
Current children cumulated vsize (KiB) 1061076
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705904/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9699.71
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2037544 0 0 0 968795 1176 0 0 25 0 1 0 146886989 1086541824 264745 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264745 79 155 0 265112 0
Current children cumulated CPU time (s) 9699.71
Current children cumulated vsize (KiB) 1061076
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705904/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9759.69
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2037545 0 0 0 974793 1176 0 0 25 0 1 0 146886989 1086541824 264746 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264746 79 155 0 265112 0
Current children cumulated CPU time (s) 9759.69
Current children cumulated vsize (KiB) 1061076
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705904/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9819.68
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2037551 0 0 0 980791 1177 0 0 25 0 1 0 146886989 1086541824 264752 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264752 79 155 0 265112 0
Current children cumulated CPU time (s) 9819.68
Current children cumulated vsize (KiB) 1061076
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=714160/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1052888 CPUtime=9879.67
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2066072 0 0 0 986775 1192 0 0 25 0 1 0 146886989 1078157312 262720 1992294400 134512640 135151029 4294956240 18446744073709551615 134579300 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 263222 262720 79 155 0 263065 0
Current children cumulated CPU time (s) 9879.67
Current children cumulated vsize (KiB) 1052888
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705712/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9939.64
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2074280 0 0 0 992768 1196 0 0 25 0 1 0 146886989 1086541824 264782 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264782 79 155 0 265112 0
Current children cumulated CPU time (s) 9939.64
Current children cumulated vsize (KiB) 1061076
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705712/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=9999.64
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2074284 0 0 0 998767 1197 0 0 25 0 1 0 146886989 1086541824 264786 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264786 79 155 0 265112 0
Current children cumulated CPU time (s) 9999.64
Current children cumulated vsize (KiB) 1061076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10002.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705712/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=1061076 CPUtime=10000
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4194304 2074284 0 0 0 998807 1197 0 0 25 0 1 0 146886989 1086541824 264786 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/23874/statm: 265269 264786 79 155 0 265112 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 1061076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 23899
/proc/meminfo: memFree=705712/2055920 swapFree=4179008/4192956
[pid=23874] ppid=23872 vsize=0 CPUtime=10000.1
/proc/23874/stat : 23874 (precosat) R 23872 23874 23837 0 -1 4195332 2074284 0 0 0 998807 1207 0 0 25 0 1 0 146886989 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/23874/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 10002.9
CPU time (s): 10000.2
CPU user time (s): 9988.08
CPU system time (s): 12.1402
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1077464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9988.07
system time used= 12.1402
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2074284
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= 15119
runsolver used 6.86496 second user time and 20.9548 second system time
The end
Begin job on node5 at 2009-05-01 16:35:31
IDJOB=1772701
IDBENCH=20373
IDSOLVER=607
FILE ID=node5/1772701-1241188529
PBS_JOBID= 9224628
Free space on /tmp= 66500 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-10-13-u.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1772701-1241188529/watcher-1772701-1241188529 -o /tmp/evaluation-result-1772701-1241188529/solver-1772701-1241188529 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1772701-1241188529.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= ec1a03bc95c5b06907199f7ae65ad092
RANDOM SEED=301360243
node5.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.212
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.212
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: 1770904 kB
Buffers: 54772 kB
Cached: 164784 kB
SwapCached: 7700 kB
Active: 41808 kB
Inactive: 186808 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1770904 kB
SwapTotal: 4192956 kB
SwapFree: 4179008 kB
Dirty: 19784 kB
Writeback: 0 kB
Mapped: 13352 kB
Slab: 42372 kB
Committed_AS: 683212 kB
PageTables: 1388 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= 66500 MiB
End job on node5 at 2009-05-01 19:22:15