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-1783782-1241884050.cnf
0.00/0.00 c found header 'p cnf 49153 324873'
0.49/0.56 c finished parsing
0.49/0.56 c
0.49/0.56 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.49/0.56 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.49/0.56 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.49/0.56 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.49/0.56 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.49/0.56 c --random=1 --spread=2000 --seed=0 --skip=25
0.49/0.56 c
0.49/0.56 c sizeof vars[0] = 16 alignment = 0 1 MB
0.49/0.56 c sizeof orgs[0] = 8 alignment = 0 0 MB
0.49/0.56 c sizeof occs[0] = 8 alignment = 0 0 MB
0.49/0.56 c sizeof iirfs[0..1] = 8 alignment = 0 0 MB
0.49/0.56 c
0.49/0.56 c starting search after 0.6 seconds
0.49/0.56 c no decision limit
0.49/0.59 c
0.49/0.59 c original/binary fixed eliminated learned agility
0.49/0.59 c seconds variables equivalent conflicts height MB
0.49/0.59 c
0.49/0.59 c * 0.6 324210 48850 257 46 0 0 0 0.0 0 23
4.28/4.35 c s 4.3 293526 47948 331 450 424 0 0 0.0 0 21
4.28/4.35 c l 4.3 293526 47948 331 450 424 0 290474 0.0 0 21
4.48/4.58 c R 4.6 296711 47796 355 578 424 247 222 523.8 12 22
4.58/4.63 c R 4.6 299765 47731 355 643 424 348 296 436.4 7 23
4.78/4.90 c R 4.9 310518 47591 355 783 424 948 789 330.2 16 23
4.88/4.94 c B 4.9 311193 47591 355 783 424 1000 831 324.7 8 23
5.98/6.01 c B 6.0 338399 47113 362 1254 424 2000 1719 292.2 1 27
6.18/6.28 c R 6.3 346388 47113 362 1254 424 2553 2192 317.2 14 28
9.98/10.00 c B 10.0 426355 46596 413 1720 424 8002 6991 261.5 20 33
22.78/22.82 c s 22.8 309374 46209 430 1960 554 17570 15469 234.1 23 26
22.78/22.82 c - 22.8 309374 46209 430 1960 554 17570 281760 234.1 23 26
24.38/24.43 c R 24.4 309537 46209 430 1960 554 18888 16669 230.9 12 30
30.88/30.98 c B 31.0 327845 46088 431 2080 554 24009 21502 225.0 33 34
44.27/44.31 c s 44.3 315282 46036 432 2089 596 30361 27363 218.8 28 32
51.37/51.43 c R 51.4 317761 46025 433 2099 596 36875 33413 210.5 10 38
66.46/66.53 c s 66.5 314202 45979 433 2099 642 45563 40707 205.7 37 35
66.46/66.53 c - 66.5 314202 45979 433 2099 642 45563 278943 205.7 37 35
90.06/90.11 c s 90.1 315646 45942 433 2099 679 59220 52304 199.8 31 38
90.96/91.08 c
90.96/91.08 c original/binary fixed eliminated learned agility
90.96/91.08 c seconds variables equivalent conflicts height MB
90.96/91.08 c
90.96/91.08 c R 91.0 315754 45942 433 2099 679 59305 52389 199.9 19 41
103.15/103.20 c B 103.2 316000 45942 433 2099 679 64016 56951 199.6 32 47
115.64/115.71 c s 115.7 317084 45928 433 2099 693 70506 62166 197.2 12 44
141.24/141.31 c s 141.3 318992 45894 434 2102 723 79860 69175 196.5 35 48
170.23/170.37 c s 170.3 319513 45888 434 2104 727 91779 80273 194.4 6 55
199.42/199.55 c s 199.5 320426 45888 434 2104 727 101684 89831 192.1 29 63
223.11/223.20 c N 223.1 320688 45888 434 2104 727 110561 98577 191.3 36 80
228.41/228.52 c s 228.4 320595 45888 434 2104 727 111413 99429 191.3 33 76
260.40/260.57 c s 260.5 320714 45888 434 2104 727 121370 109307 190.0 27 90
293.69/293.87 c s 293.8 321945 45888 434 2104 727 133269 120935 187.9 31 101
326.09/326.22 c s 326.1 322126 45888 434 2104 727 142755 130383 187.5 36 115
358.98/359.15 c s 359.0 322315 45888 434 2104 727 152133 139688 186.9 32 126
383.27/383.42 c B 383.3 322702 45888 434 2104 727 160030 147500 186.6 36 141
392.76/392.92 c s 392.8 322781 45888 434 2104 727 164176 151585 186.0 18 138
428.55/428.73 c s 428.6 322847 45888 434 2104 727 176199 163581 186.2 34 157
466.84/467.02 c s 466.9 322921 45888 434 2104 727 188003 175343 186.1 28 176
509.13/509.34 c s 509.2 322968 45888 434 2104 727 198598 185897 185.9 32 193
553.12/553.34 c s 553.2 323098 45888 434 2104 727 208786 196018 185.8 36 208
597.01/597.28 c s 597.1 323203 45888 434 2104 727 215360 202564 185.3 40 212
621.90/622.19 c
621.90/622.19 c original/binary fixed eliminated learned agility
621.90/622.19 c seconds variables equivalent conflicts height MB
621.90/622.19 c
621.90/622.19 c N 622.0 323408 45888 434 2104 727 225926 213126 184.9 30 226
643.69/643.97 c s 643.8 323386 45888 434 2104 727 234296 221492 184.6 27 225
690.88/691.14 c s 690.9 323410 45888 434 2104 727 245354 232535 184.1 32 241
738.16/738.43 c s 738.2 323502 45888 434 2104 727 253429 240594 183.6 33 258
788.45/788.75 c s 788.5 323522 45888 434 2104 727 266684 253831 183.5 36 281
842.03/842.31 c s 842.0 323833 45888 434 2104 727 278338 265443 183.5 33 298
843.83/844.18 c + 843.9 323847 45888 434 2104 727 278944 306837 183.4 32 304
899.21/899.56 c s 899.3 323899 45888 434 2104 727 288112 275182 183.2 39 313
957.58/957.98 c s 957.7 323967 45888 434 2104 727 298443 285495 182.8 31 332
1025.27/1025.65 c s 1025.3 324486 45888 434 2104 727 318887 305869 181.7 10 352
1095.25/1095.66 c s 1095.3 323620 45881 434 2106 732 331761 307214 181.2 32 358
1160.13/1160.58 c s 1160.2 323667 45881 434 2106 732 344365 308807 180.9 23 369
1174.33/1174.77 c + 1174.4 323685 45881 434 2106 732 348681 337520 180.9 40 378
1220.41/1220.84 c s 1220.5 323705 45881 434 2106 732 356242 315659 181.2 38 385
1291.79/1292.28 c s 1291.9 323760 45881 434 2106 732 370029 329437 180.9 29 408
1361.67/1362.16 c s 1361.7 324001 45881 434 2106 732 382198 339165 180.8 36 424
1370.76/1371.22 c B 1370.8 324046 45881 434 2106 732 384074 339491 180.9 35 430
1426.85/1427.37 c s 1426.9 324045 45881 434 2106 732 396622 346970 181.1 32 445
1491.93/1492.48 c s 1492.0 324071 45881 434 2106 732 407682 340216 181.2 38 447
1553.82/1554.31 c
1553.82/1554.31 c original/binary fixed eliminated learned agility
1553.82/1554.31 c seconds variables equivalent conflicts height MB
1553.82/1554.31 c
1553.82/1554.31 c s 1553.8 324251 45881 434 2106 732 423914 338958 180.9 38 442
1593.41/1593.93 c + 1593.4 324628 45881 434 2106 732 435851 371272 180.4 24 446
1613.60/1614.14 c s 1613.6 324611 45881 434 2106 732 441189 343684 180.1 14 437
1683.48/1684.08 c s 1683.6 324810 45881 434 2106 732 457251 359708 181.1 29 464
1749.05/1749.67 c s 1749.1 324908 45881 434 2106 732 478952 371869 179.8 31 466
1771.15/1771.79 c N 1771.2 324998 45881 434 2106 732 482285 374057 179.8 32 479
1831.73/1832.33 c s 1831.8 324992 45881 434 2106 732 492690 374048 179.9 31 473
1904.11/1904.78 c s 1904.2 325078 45881 434 2106 732 506062 373230 179.5 37 471
1979.58/1980.27 c s 1979.7 325100 45881 434 2106 732 513844 374083 179.5 31 474
2054.07/2054.73 c s 2054.1 325136 45881 434 2106 732 532747 372958 179.2 35 478
2100.35/2101.01 c + 2100.4 325598 45881 434 2106 732 544810 408399 178.4 25 491
2142.14/2142.87 c s 2142.2 325945 45881 434 2106 732 555627 382322 177.9 24 489
2218.72/2219.47 c s 2218.8 326060 45881 434 2106 732 567136 393803 177.6 36 503
2311.29/2312.01 c s 2311.3 326251 45881 434 2106 732 589913 409591 177.6 38 524
2385.37/2386.15 c s 2385.4 326251 45881 434 2106 732 599854 410860 178.1 29 537
2459.25/2460.00 c s 2459.3 326261 45881 434 2106 732 615656 411327 178.5 30 528
2526.73/2527.59 c s 2526.8 326322 45881 434 2106 732 628253 411349 178.4 35 523
2605.81/2606.65 c s 2605.9 326455 45881 434 2106 732 645580 409022 178.3 25 504
2696.88/2697.79 c s 2697.0 326807 45881 434 2106 732 664543 410177 177.8 34 505
2778.96/2779.88 c
2778.96/2779.88 c original/binary fixed eliminated learned agility
2778.96/2779.88 c seconds variables equivalent conflicts height MB
2778.96/2779.88 c
2778.96/2779.88 c s 2779.1 326550 45872 434 2109 738 673446 410447 177.2 40 504
2826.65/2827.55 c + 2826.7 327123 45862 440 2113 738 681011 449238 177.1 32 517
2879.23/2880.13 c s 2879.3 327037 45854 440 2113 746 687626 416985 176.9 33 515
2992.39/2993.31 c s 2992.4 327087 45854 440 2113 746 707142 436482 176.6 31 551
3085.58/3086.56 c s 3085.6 327173 45853 440 2113 747 729114 440378 176.3 36 520
3179.44/3180.46 c s 3179.5 327285 45853 440 2113 747 744824 451160 176.0 38 536
3268.72/3269.72 c s 3268.7 327316 45853 440 2113 747 762179 451902 175.5 21 526
3361.79/3362.81 c s 3361.8 327694 45853 440 2113 747 780634 451908 175.0 27 517
3443.57/3444.62 c s 3443.6 327699 45853 440 2113 747 792690 452095 174.9 33 516
3529.14/3530.26 c s 3529.2 327724 45849 440 2116 748 809349 451136 174.9 32 506
3629.51/3630.68 c s 3629.6 327956 45849 440 2116 748 831416 452069 174.8 40 514
3730.28/3731.42 c s 3730.3 327969 45849 440 2116 748 847189 452947 174.7 24 524
3739.48/3740.66 c + 3739.5 327980 45849 440 2116 748 851261 494161 174.7 18 531
3809.16/3810.38 c s 3809.2 327987 45849 440 2116 748 867945 466229 174.5 38 541
3916.02/3917.28 c s 3916.1 328214 45849 440 2116 748 890104 488352 174.4 31 566
3945.12/3946.33 c B 3945.2 328510 45849 440 2116 748 896150 494380 174.4 33 586
4014.80/4016.03 c s 4014.8 328724 45849 440 2116 748 912418 496203 174.1 33 563
4096.77/4098.04 c s 4096.8 328960 45849 440 2116 748 928210 496226 174.0 35 554
4180.45/4181.73 c s 4180.5 329105 45849 440 2116 748 946364 496596 174.1 36 538
4279.82/4281.17 c
4279.82/4281.17 c original/binary fixed eliminated learned agility
4279.82/4281.17 c seconds variables equivalent conflicts height MB
4279.82/4281.17 c
4279.82/4281.17 c s 4279.9 329112 45849 440 2116 748 967443 496018 174.4 34 545
4369.89/4371.29 c s 4370.0 329144 45849 440 2116 748 981926 495790 174.1 40 542
4446.16/4447.58 c s 4446.3 329146 45849 440 2116 748 986641 496674 174.0 42 547
4549.43/4550.83 c s 4549.5 329159 45849 440 2116 748 1007111 496779 174.0 32 548
4653.00/4654.48 c s 4653.1 329160 45849 440 2116 748 1021819 496840 174.4 36 561
4775.66/4777.14 c s 4775.7 329165 45849 440 2116 748 1043205 495874 174.4 21 569
4784.56/4786.02 c R 4784.6 329170 45849 440 2116 748 1046117 495571 174.2 10 580
4895.93/4897.40 c s 4895.9 329175 45849 440 2116 748 1063445 496768 174.5 36 583
4898.42/4899.94 c + 4898.5 329179 45849 440 2116 748 1064075 543577 174.5 21 589
5000.10/5001.60 c
5000.10/5001.60 c *** CAUGHT SIGNAL 15 ***
5000.10/5001.60 c
5000.10/5001.60 c 1085248 conflicts, 3280062 decisions, 383 random
5000.10/5001.60 c 12 iterations, 592 restarts, 1551 skipped
5000.10/5001.60 c 7 enlarged, 29728 shrunken, 10616 rescored, 284 rebiased
5000.10/5001.60 c 75 simplifications, 0 reductions
5000.10/5001.60 c
5000.10/5001.60 c vars: 440 fixed, 2116 equiv, 748 elim, 2157 merged
5000.10/5001.60 c elim: 7715197 resolutions, 27 phases, 5 rounds
5000.10/5001.60 c sbst: 99% substituted, 2.2% nots, 21.8% ands, 75.5% xors, 0.5% ites
5000.10/5001.60 c arty: 2.01 and 2.72 xor average arity
5000.10/5001.60 c prbe: 16538199 probed, 356 phases, 180 rounds
5000.10/5001.60 c prbe: 12 failed, 66 lifted, 292 merged
5000.10/5001.60 c sccs: 4 non trivial, 0 fixed, 4 merged
5000.10/5001.60 c hash: 36 units, 1861 merged
5000.10/5001.60 c mins: 354976496 learned, 34% deleted, 305 strong, 1000 depth
5000.10/5001.60 c subs: 3868 forward, 31801 backward, 364117 doms
5000.10/5001.60 c strs: 41787 forward, 14952 backward
5000.10/5001.60 c doms: 364766 dominators, 342091 high, 87 low
5000.10/5001.60 c prps: 1896454223 propagations, 0.38 megaprops
5000.10/5001.60 c
5000.10/5001.60 c 5000.1 seconds, 621 MB max, 823 MB recycled
5000.10/5001.60 c
5000.10/5001.60 c *** CAUGHT SIGNAL 15 ***
5000.10/5001.60 c
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1783782-1241884050/watcher-1783782-1241884050 -o /tmp/evaluation-result-1783782-1241884050/solver-1783782-1241884050 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783782-1241884050.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 6000 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: 1.00 1.00 1.00 3/64 4366
/proc/meminfo: memFree=1901440/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=2724 CPUtime=0
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 526 0 0 0 0 0 0 0 20 0 1 0 216433965 2789376 511 1992294400 134512640 135151029 4294956240 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 1 0 0
/proc/4366/statm: 681 513 59 155 0 524 0
[startup+0.0503859 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4366
/proc/meminfo: memFree=1901440/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=6900 CPUtime=0.04
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 1606 0 0 0 4 0 0 0 20 0 1 0 216433965 7065600 1591 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 1725 1591 64 155 0 1568 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6900
[startup+0.101391 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4366
/proc/meminfo: memFree=1901440/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=9012 CPUtime=0.09
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 2159 0 0 0 9 0 0 0 20 0 1 0 216433965 9228288 2144 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 2253 2144 64 155 0 2096 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9012
[startup+0.301414 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4366
/proc/meminfo: memFree=1901440/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=17196 CPUtime=0.29
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 4176 0 0 0 28 1 0 0 22 0 1 0 216433965 17608704 4161 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 4299 4162 64 155 0 4142 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17196
[startup+0.70146 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 4366
/proc/meminfo: memFree=1901440/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=30796 CPUtime=0.69
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 7591 0 0 0 67 2 0 0 25 0 1 0 216433965 31535104 7575 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 7699 7576 79 155 0 7542 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30796
[startup+1.50155 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1867000/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=28448 CPUtime=1.49
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 8911 0 0 0 146 3 0 0 25 0 1 0 216433965 29130752 7003 1992294400 134512640 135151029 4294956240 18446744073709551615 134578366 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 7112 7003 79 155 0 6955 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 28448
[startup+3.10274 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1870328/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=42644 CPUtime=3.09
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 12903 0 0 0 304 5 0 0 25 0 1 0 216433965 43667456 10527 1992294400 134512640 135151029 4294956240 18446744073709551615 134573515 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 10661 10527 79 155 0 10504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42644
[startup+6.30112 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1861248/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=40468 CPUtime=6.28
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 12939 0 0 0 623 5 0 0 25 0 1 0 216433965 41439232 9983 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 10117 9983 79 155 0 9960 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 40468
[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1859464/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=43644 CPUtime=12.68
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 13722 0 0 0 1262 6 0 0 25 0 1 0 216433965 44691456 10766 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 10911 10766 79 155 0 10754 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 43644
[startup+25.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1848392/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=53388 CPUtime=25.48
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 16915 0 0 0 2539 9 0 0 25 0 1 0 216433965 54669312 13220 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 13347 13220 79 155 0 13190 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 53388
[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1848328/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=53448 CPUtime=51.07
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 17670 0 0 0 5097 10 0 0 25 0 1 0 216433965 54730752 13236 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 13362 13236 79 155 0 13205 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53448
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1843720/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=58108 CPUtime=102.26
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 20313 0 0 0 10214 12 0 0 25 0 1 0 216433965 59502592 14401 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 14527 14401 79 155 0 14370 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 58108
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1830600/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=71648 CPUtime=162.23
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 25178 0 0 0 16207 16 0 0 25 0 1 0 216433965 73367552 17771 1992294400 134512640 135151029 4294956240 18446744073709551615 134580513 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 17912 17771 79 155 0 17755 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 71648
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1812360/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=89676 CPUtime=222.21
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 31165 0 0 0 22199 22 0 0 25 0 1 0 216433965 91828224 22280 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 22419 22280 79 155 0 22262 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 89676
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1787976/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=114392 CPUtime=282.2
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 37709 0 0 0 28191 29 0 0 25 0 1 0 216433965 117137408 28438 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 28598 28438 79 155 0 28441 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 114392
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1763400/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=138472 CPUtime=342.18
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 44124 0 0 0 34183 35 0 0 25 0 1 0 216433965 141795328 34467 1992294400 134512640 135151029 4294956240 18446744073709551615 134551954 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 34618 34467 79 155 0 34461 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 138472
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1742792/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=159536 CPUtime=402.16
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 49783 0 0 0 40174 42 0 0 25 0 1 0 216433965 163364864 39740 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 39884 39740 79 155 0 39727 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 159536
[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1706760/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=195032 CPUtime=462.14
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 58852 0 0 0 46164 50 0 0 25 0 1 0 216433965 199712768 48616 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 48758 48616 79 155 0 48601 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 195032
[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1683848/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=217976 CPUtime=522.12
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 64981 0 0 0 52154 58 0 0 25 0 1 0 216433965 223207424 54359 1992294400 134512640 135151029 4294956240 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 54494 54359 79 155 0 54337 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 217976
[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1668936/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=232664 CPUtime=582.1
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 68814 0 0 0 58148 62 0 0 25 0 1 0 216433965 238247936 57999 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 58166 57999 79 155 0 58009 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 232664
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4367
/proc/meminfo: memFree=1655176/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=246052 CPUtime=642.09
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 72561 0 0 0 64141 68 0 0 25 0 1 0 216433965 251957248 61360 1992294400 134512640 135151029 4294956240 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 61513 61360 79 155 0 61356 0
Current children cumulated CPU time (s) 642.09
Current children cumulated vsize (KiB) 246052
[startup+702.302 s]
################
# More data... #
################
[startup+4002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283912/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4001.09
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 176548 0 0 0 399937 172 0 0 25 0 1 0 216433965 630222848 153579 1992294400 134512640 135151029 4294956240 18446744073709551615 134521753 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153579 79 155 0 153706 0
Current children cumulated CPU time (s) 4001.09
Current children cumulated vsize (KiB) 615452
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283656/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4061.09
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 176994 0 0 0 405936 173 0 0 25 0 1 0 216433965 630222848 153639 1992294400 134512640 135151029 4294956240 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153639 79 155 0 153706 0
Current children cumulated CPU time (s) 4061.09
Current children cumulated vsize (KiB) 615452
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283592/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4121.07
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177188 0 0 0 411934 173 0 0 25 0 1 0 216433965 630222848 153640 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153640 79 155 0 153706 0
Current children cumulated CPU time (s) 4121.07
Current children cumulated vsize (KiB) 615452
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283592/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4181.05
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177188 0 0 0 417932 173 0 0 25 0 1 0 216433965 630222848 153640 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153640 79 155 0 153706 0
Current children cumulated CPU time (s) 4181.05
Current children cumulated vsize (KiB) 615452
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283528/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4241.03
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177188 0 0 0 423930 173 0 0 25 0 1 0 216433965 630222848 153640 1992294400 134512640 135151029 4294956240 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153640 79 155 0 153706 0
Current children cumulated CPU time (s) 4241.03
Current children cumulated vsize (KiB) 615452
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283528/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4301.01
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177190 0 0 0 429928 173 0 0 25 0 1 0 216433965 630222848 153642 1992294400 134512640 135151029 4294956240 18446744073709551615 134580636 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153642 79 155 0 153706 0
Current children cumulated CPU time (s) 4301.01
Current children cumulated vsize (KiB) 615452
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4375
/proc/meminfo: memFree=1283528/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4360.99
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177190 0 0 0 435926 173 0 0 25 0 1 0 216433965 630222848 153642 1992294400 134512640 135151029 4294956240 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153642 79 155 0 153706 0
Current children cumulated CPU time (s) 4360.99
Current children cumulated vsize (KiB) 615452
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283336/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4420.97
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177190 0 0 0 441924 173 0 0 25 0 1 0 216433965 630222848 153642 1992294400 134512640 135151029 4294956240 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153642 79 155 0 153706 0
Current children cumulated CPU time (s) 4420.97
Current children cumulated vsize (KiB) 615452
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283336/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4480.95
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177190 0 0 0 447922 173 0 0 25 0 1 0 216433965 630222848 153642 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153642 79 155 0 153706 0
Current children cumulated CPU time (s) 4480.95
Current children cumulated vsize (KiB) 615452
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283336/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4540.93
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177190 0 0 0 453920 173 0 0 25 0 1 0 216433965 630222848 153642 1992294400 134512640 135151029 4294956240 18446744073709551615 134532453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153642 79 155 0 153706 0
Current children cumulated CPU time (s) 4540.93
Current children cumulated vsize (KiB) 615452
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283272/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4600.92
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177190 0 0 0 459919 173 0 0 25 0 1 0 216433965 630222848 153642 1992294400 134512640 135151029 4294956240 18446744073709551615 134555092 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153642 79 155 0 153706 0
Current children cumulated CPU time (s) 4600.92
Current children cumulated vsize (KiB) 615452
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283272/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4660.89
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177204 0 0 0 465916 173 0 0 25 0 1 0 216433965 630222848 153656 1992294400 134512640 135151029 4294956240 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153656 79 155 0 153706 0
Current children cumulated CPU time (s) 4660.89
Current children cumulated vsize (KiB) 615452
[startup+4722.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283272/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4720.88
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177206 0 0 0 471915 173 0 0 25 0 1 0 216433965 630222848 153658 1992294400 134512640 135151029 4294956240 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153658 79 155 0 153706 0
Current children cumulated CPU time (s) 4720.88
Current children cumulated vsize (KiB) 615452
[startup+4782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283272/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4780.86
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177206 0 0 0 477913 173 0 0 25 0 1 0 216433965 630222848 153658 1992294400 134512640 135151029 4294956240 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153658 79 155 0 153706 0
Current children cumulated CPU time (s) 4780.86
Current children cumulated vsize (KiB) 615452
[startup+4842.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1283272/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=615452 CPUtime=4840.84
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 177219 0 0 0 483911 173 0 0 25 0 1 0 216433965 630222848 153671 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 153863 153671 79 155 0 153706 0
Current children cumulated CPU time (s) 4840.84
Current children cumulated vsize (KiB) 615452
[startup+4902.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1273672/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=624564 CPUtime=4900.82
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 179750 0 0 0 489906 176 0 0 25 0 1 0 216433965 639553536 156009 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 156141 156009 79 155 0 155984 0
Current children cumulated CPU time (s) 4900.82
Current children cumulated vsize (KiB) 624564
[startup+4962.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1263496/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=635488 CPUtime=4960.8
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 182337 0 0 0 495902 178 0 0 25 0 1 0 216433965 650739712 158596 1992294400 134512640 135151029 4294956240 18446744073709551615 134520434 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 158872 158596 79 155 0 158715 0
Current children cumulated CPU time (s) 4960.8
Current children cumulated vsize (KiB) 635488
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+5001.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4381
/proc/meminfo: memFree=1252232/2055920 swapFree=4179944/4192956
[pid=4366] ppid=4364 vsize=646616 CPUtime=5000.1
/proc/4366/stat : 4366 (precosat) R 4364 4366 4254 0 -1 4194304 185310 0 0 0 499828 182 0 0 25 0 1 0 216433965 662134784 161376 1992294400 134512640 135151029 4294956240 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 1 0 0
/proc/4366/statm: 161654 161376 79 155 0 161497 0
Current children cumulated CPU time (s) 5000.1
Current children cumulated vsize (KiB) 646616
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): 5001.7
CPU time (s): 5000.2
CPU user time (s): 4998.29
CPU system time (s): 1.91771
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 646616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4998.29
system time used= 1.91771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185310
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= 9410
runsolver used 4.08638 second user time and 9.73052 second system time
The end
Begin job on node75 at 2009-05-09 17:47:31
IDJOB=1783782
IDBENCH=24683
IDSOLVER=607
FILE ID=node75/1783782-1241884050
PBS_JOBID= 9264649
Free space on /tmp= 66200 MiB
SOLVER NAME= precosat 236
BENCH NAME= SAT07/crafted/Hard/contest02/ezfact256_1.sat05-464.reshuffled-07.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1783782-1241884050/watcher-1783782-1241884050 -o /tmp/evaluation-result-1783782-1241884050/solver-1783782-1241884050 -C 5000 -W 6000 -M 1800 HOME/precosat HOME/instance-1783782-1241884050.cnf
TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 69151394f3e0e8838dc6693844061945
RANDOM SEED=1282702876
node75.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.213
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.213
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1901856 kB
Buffers: 28888 kB
Cached: 78732 kB
SwapCached: 7232 kB
Active: 55352 kB
Inactive: 61484 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1901856 kB
SwapTotal: 4192956 kB
SwapFree: 4179944 kB
Dirty: 8888 kB
Writeback: 0 kB
Mapped: 14040 kB
Slab: 23096 kB
Committed_AS: 596508 kB
PageTables: 1416 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= 66200 MiB
End job on node75 at 2009-05-09 19:10:55