Trace number 1774841

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
precosat 236UNSAT 6389.85 6393.16

General information on the benchmark

NameAPPLICATIONS/diagnosis/
UTI-20-10p0.cnf
MD5SUM209f7789e3588d11f275f2003f2c6a67
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3542.12
Satisfiable
(Un)Satisfiability was proved
Number of variables259616
Number of clauses1374599
Sum of the clauses size3310772
Maximum clause length10
Minimum clause length1
Number of clauses of size 113149
Number of clauses of size 2982807
Number of clauses of size 3313283
Number of clauses of size 47260
Number of clauses of size 529040
Number of clauses of size over 529060

Solver Data 

0.00/0.00	c PicoSATLight Version 236 3e7a3f8825c0b9e241f38a63fee5517540b2feca
0.00/0.00	c Copyright (C) 2009, Armin Biere, JKU, Linz, Austria.  All rights reserved.
0.00/0.00	c Released on Sun Mar 22 10:16:26 CET 2009
0.00/0.00	c Compiled on Tue Mar 24 21:24:39 CET 2009
0.00/0.00	c g++ (GCC) 4.3.2 20081105 (Red Hat 4.3.2-7)
0.00/0.00	c -O3 -m32 -static -Wall -Wextra -DNDEBUG -DNLOGPRECO -DNSTATSPRECO
0.00/0.00	c -finline-limit=10000000 -fomit-frame-pointer -fno-exceptions
0.00/0.00	c Linux baghera 2.6.27.19-170.2.35.fc10.i686.PAE i686
0.00/0.00	c
0.00/0.00	c reading HOME/instance-1774841-1241198469.cnf
0.00/0.00	c found header 'p cnf 259616 1374599'
2.99/3.04	c finished parsing
2.99/3.04	c
2.99/3.04	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.99/3.04	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.99/3.04	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.99/3.04	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.99/3.04	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.99/3.04	c --random=1 --spread=2000 --seed=0 --skip=25
2.99/3.04	c
2.99/3.04	c sizeof     vars[0] = 16   alignment = 0       4 MB
2.99/3.04	c sizeof     orgs[0] =  8   alignment = 0       2 MB
2.99/3.04	c sizeof     occs[0] =  8   alignment = 0       2 MB
2.99/3.04	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
2.99/3.04	c
2.99/3.04	c starting search after 3.0 seconds
2.99/3.04	c no decision limit
3.09/3.14	c
3.09/3.14	c       original/binary      fixed     eliminated      learned       agility
3.09/3.14	c   seconds        variables     equivalent    conflicts       height       MB
3.09/3.14	c
3.09/3.14	c *    3.1  1360580  244730  13149  1737      0       0      0    0.0   0  102
13.67/13.77	c s   13.8   991609  131557  56673  1934  69452       0      0    0.0   0   86
13.67/13.77	c l   13.8   991609  131557  56673  1934  69452       0 450457    0.0   0   86
14.07/14.19	c R   14.2   992762  131557  56673  1934  69452     100     98  352.0   0   87
14.18/14.30	c R   14.3   993808  131557  56673  1934  69452     200    184  295.3   7   87
31.18/31.21	c B   31.2  1737690  121498  66428  2238  69452    1000    948  220.0   4  140
39.27/39.33	c s   39.3  1495007  119894  66925  2238  70559    1005    914  219.8   1  125
39.27/39.33	c -   39.3  1495007  119894  66925  2238  70559    1005 396403  219.8   1  125
46.87/46.94	c B   46.9  1665316  117574  69242  2241  70559    2002   1884  191.4   2  135
87.75/87.84	c s   87.8  1890297  108412  77077  2770  71357    7473   7023  267.7   1  148
87.75/87.84	c -   87.8  1890297  108412  77077  2770  71357    7473 352799  267.7   1  148
89.85/89.98	c B   89.9  1908822  108379  77101  2779  71357    8009   7539  263.5   1  150
146.42/146.53	c R  146.5  3011185   99963  84481  3815  71357   16776  15998  336.1   5  232
167.21/167.33	c s  167.2  2471294   96863  84706  5038  73009   18294  15445  332.4   2  183
167.21/167.33	c -  167.2  2471294   96863  84706  5038  73009   18294 313992  332.4   2  183
197.19/197.30	c B  197.2  2877404   93885  87489  5233  73009   24017  21022  353.7   1  228
282.65/282.81	c s  282.7  3412714   90665  89379  6312  73260   37638  31830  358.1   3  262
282.65/282.81	c -  282.7  3412714   90665  89379  6312  73260   37638 279453  358.1   3  262
410.29/410.52	c R  410.3  4635378   87240  91769  7347  73260   62184  56204  365.1   3  361
420.75/421.09	c
420.75/421.09	c       original/binary      fixed     eliminated      learned       agility
420.75/421.09	c   seconds        variables     equivalent    conflicts       height       MB
420.75/421.09	c
420.75/421.09	c B  420.9  4696518   86846  92131  7379  73260   64041  58047  368.2   5  400
452.85/453.12	c s  452.9  4351966   86264  92397  7512  73443   67148  51127  368.5   3  330
452.85/453.12	c -  452.9  4351966   86264  92397  7512  73443   67148 265481  368.5   3  330
580.25/580.68	c R  580.3  5307176   81589  96143  8441  73443   92430  76354  377.7   4  455
679.32/679.73	c s  679.3  5112129   76725  99602  8998  74291  106072  64659  377.9   8  411
679.32/679.73	c -  679.3  5112129   76725  99602  8998  74291  106072 220350  377.9   8  411
916.78/917.31	c B  916.8  6129098   65562 108869 10894  74291  160070 118562  384.4   4  556
958.46/959.05	c s  958.5  5736929   64499 108971 11066  75080  163756 105676  384.9   2  498
958.46/959.05	c -  958.5  5736929   64499 108971 11066  75080  163756 198315  384.9   2  498
1059.51/1060.16	c R 1059.6  6287650   63831 109618 11087  75080  189947 131849  390.5   7  580
1098.09/1098.79	c + 1098.2  6421233   63464 109972 11100  75080  198315 218146  391.2   9  602
1321.57/1322.31	c s 1321.6  6286182   59857 110334 11680  77745  242002 180666  397.8   8  650
1321.57/1322.31	c - 1321.6  6286182   59857 110334 11680  77745  242002 209421  397.8   8  650
1321.57/1322.31	c + 1321.6  6286182   59857 110334 11680  77745  242002 230363  397.8   8  650
1617.42/1618.36	c + 1617.5  6798593   59185 110891 11795  77745  302501 253399  399.4   6  788
1799.50/1800.57	c s 1799.6  6295916   56949 111256 12268  79143  327685 238872  399.8   6  771
1799.50/1800.57	c - 1799.6  6295916   56949 111256 12268  79143  327685 240730  399.8   6  771
1959.03/1960.18	c + 1959.1  6813877   56399 111758 12316  79143  359219 264803  399.9   7  833
1968.23/1969.31	c R 1968.2  6844742   56362 111788 12323  79143  361322 242951  400.1   4  839
2076.96/2078.18	c
2076.96/2078.18	c       original/binary      fixed     eliminated      learned       agility
2076.96/2078.18	c   seconds        variables     equivalent    conflicts       height       MB
2076.96/2078.18	c
2076.96/2078.18	c B 2077.1  7102996   55968 112100 12405  79143  384175 265027  402.4   4  897
2259.95/2261.22	c s 2260.0  6059161   54496 112978 12672  79470  412212 232265  399.3   9  764
2259.95/2261.22	c - 2260.0  6059161   54496 112978 12672  79470  412212 240971  399.3   9  764
2259.95/2261.22	c + 2260.0  6059161   54496 112978 12672  79470  412212 265068  399.3   9  764
2721.22/2722.79	c s 2721.3  6236874   53212 114082 12851  79471  483067 262163  396.2   1  824
2721.22/2722.79	c - 2721.3  6236874   53212 114082 12851  79471  483067 254466  396.2   1  824
2800.67/2802.30	c + 2800.8  6292405   53162 114125 12858  79471  494658 279912  395.4   6  825
3211.38/3213.17	c s 3211.5  4251445   48005 114505 12977  84129  552150  36473  392.6   4  298
3211.38/3213.17	c - 3211.5  4251445   48005 114505 12977  84129  552150 277113  392.6   4  298
3413.19/3415.01	c + 3413.2  4372062   47220 115265 13002  84129  612138 304824  385.2   4  386
3443.07/3445.00	c s 3443.2  4325339   47141 115274 13002  84199  615040  98594  385.2   5  378
3443.07/3445.00	c - 3443.2  4325339   47141 115274 13002  84199  615040 289583  385.2   5  378
3719.11/3721.11	c s 3719.1  4467767   46652 115699 13065  84200  672825 155966  377.4   1  493
3995.49/3997.67	c + 3995.6  4729717   46557 115781 13078  84200  726913 318541  370.5   5  588
4038.37/4040.54	c s 4038.4  4551817   46206 115784 13133  84493  729553 112489  370.1   2  416
4342.10/4344.46	c s 4342.2  4395871   45746 115965 13166  84739  791051 167415  362.4   3  435
4635.88/4638.37	c s 4636.0  4340997   45258 116333 13274  84751  850134 218197  356.1   4  488
4635.88/4638.37	c - 4636.0  4340997   45258 116333 13274  84751  850134 312171  356.1   4  488
4836.99/4839.53	c + 4837.0  4374677   44869 116708 13288  84751  890472 343388  351.6   4  549
4870.56/4873.15	c
4870.56/4873.15	c       original/binary      fixed     eliminated      learned       agility
4870.56/4873.15	c   seconds        variables     equivalent    conflicts       height       MB
4870.56/4873.15	c
4870.56/4873.15	c B 4870.6  4383421   44790 116784 13291  84751  896346 264396  350.9   7  555
4938.93/4941.52	c s 4939.0  4319106   44575 116976 13295  84770  904972 255866  350.1   2  521
4938.93/4941.52	c - 4939.0  4319106   44575 116976 13295  84770  904972 333087  350.1   2  521
5250.35/5253.16	c s 5250.4  4046386   43323 117458 13436  85399  963917 153180  345.0   3  367
5250.35/5253.16	c - 5250.4  4046386   43323 117458 13436  85399  963917 329757  345.0   3  367
5499.62/5502.50	c s 5499.6  3789919   42159 118292 13602  85563 1022066 126612  339.3   2  320
5499.62/5502.50	c - 5499.6  3789919   42159 118292 13602  85563 1022066 319865  339.3   2  320
5552.48/5555.40	c + 5552.5  3816363   41859 118580 13614  85563 1036837 351851  337.6   2  338
5747.91/5750.97	c s 5748.0  3484664   40285 119908 13660  85763 1084218 120231  332.7   2  300
5747.91/5750.97	c - 5748.0  3484664   40285 119908 13660  85763 1084218 320185  332.7   2  300
5949.31/5952.43	c s 5949.3  3109289   38316 121672 13767  85861 1138975 118909  327.6   8  279
5949.31/5952.43	c - 5949.3  3109289   38316 121672 13767  85861 1138975 294571  327.6   8  279
5949.31/5952.43	c + 5949.3  3109289   38316 121672 13767  85861 1138975 324028  327.6   8  279
6130.23/6133.46	c s 6130.3  2494934   35382 122665 13892  87677 1191766  75608  324.0   8  218
6130.23/6133.46	c - 6130.3  2494934   35382 122665 13892  87677 1191766 301347  324.0   8  218
6266.26/6269.52	c s 6266.3  2419885   34980 122997 13929  87710 1238548 112676  321.4   8  237
6266.26/6269.52	c - 6266.3  2419885   34980 122997 13929  87710 1238548 295321  321.4   8  237
6389.69/6393.01	c 0 6389.7  2774728   25091 132576 14239  87710 1276674 150711  318.6   4  283
6389.69/6393.01	c
6389.69/6393.01	s UNSATISFIABLE
6389.69/6393.01	c
6389.69/6393.01	c 1276674 conflicts, 9505681 decisions, 4594 random
6389.69/6393.01	c 469 iterations, 5464 restarts, 0 skipped
6389.69/6393.01	c 11 enlarged, 44032 shrunken, 12484 rescored, 347 rebiased
6389.69/6393.01	c 25 simplifications, 0 reductions
6389.69/6393.01	c
6389.69/6393.01	c vars: 132576 fixed, 14239 equiv, 87710 elim, 16376 merged
6389.69/6393.01	c elim: 12120691 resolutions, 25 phases, 5 rounds
6389.69/6393.01	c sbst: 30% substituted, 25.8% nots, 74.2% ands, 0.0% xors, 0.0% ites
6389.69/6393.01	c arty: 2.25 and 0.00 xor average arity
6389.69/6393.01	c prbe: 429530 probed, 3400 phases, 4 rounds
6389.69/6393.01	c prbe: 13331 failed, 13240 lifted, 2148 merged
6389.69/6393.01	c sccs: 2440 non trivial, 0 fixed, 3893 merged
6389.69/6393.01	c hash: 908 units, 10335 merged
6389.69/6393.01	c mins: 395397834 learned, 30% deleted, 182 strong, 313 depth
6389.69/6393.01	c subs: 136070 forward, 273500 backward, 745229 doms
6389.69/6393.01	c strs: 64574 forward, 245 backward
6389.69/6393.01	c doms: 1801247 dominators, 865870 high, 2258 low
6389.69/6393.01	c prps: 4095701419 propagations, 0.64 megaprops
6389.69/6393.01	c
6389.69/6393.01	c 6389.7 seconds, 920 MB max, 1903 MB recycled

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1774841-1241198469/watcher-1774841-1241198469 -o /tmp/evaluation-result-1774841-1241198469/solver-1774841-1241198469 -C 10000 -W 12000 -M 1800 HOME/precosat HOME/instance-1774841-1241198469.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: 1.00 0.98 0.91 3/64 17306
/proc/meminfo: memFree=996648/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=4848 CPUtime=0
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 993 0 0 0 0 0 0 0 18 0 1 0 147879769 4964352 978 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 0 0 0 0 17 0 0 0
/proc/17306/statm: 1212 985 58 155 0 1055 0

[startup+0.0734879 s]
/proc/loadavg: 1.00 0.98 0.91 3/64 17306
/proc/meminfo: memFree=996648/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=22768 CPUtime=0.07
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 5579 0 0 0 5 2 0 0 18 0 1 0 147879769 23314432 5564 1992294400 134512640 135151029 4294956240 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 5692 5564 63 155 0 5535 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22768

[startup+0.102491 s]
/proc/loadavg: 1.00 0.98 0.91 3/64 17306
/proc/meminfo: memFree=996648/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=24480 CPUtime=0.09
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 6025 0 0 0 7 2 0 0 18 0 1 0 147879769 25067520 6010 1992294400 134512640 135151029 4294956240 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 6120 6011 63 155 0 5963 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24480

[startup+0.301515 s]
/proc/loadavg: 1.00 0.98 0.91 3/64 17306
/proc/meminfo: memFree=996648/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=35088 CPUtime=0.29
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 8877 0 0 0 25 4 0 0 19 0 1 0 147879769 35930112 8668 1992294400 134512640 135151029 4294956240 18446744073709551615 134697845 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 8772 8668 63 155 0 8615 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35088

[startup+0.701563 s]
/proc/loadavg: 1.00 0.98 0.91 3/64 17306
/proc/meminfo: memFree=996648/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=47268 CPUtime=0.69
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 12159 0 0 0 64 5 0 0 24 0 1 0 147879769 48402432 11693 1992294400 134512640 135151029 4294956240 18446744073709551615 134579348 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 11817 11693 63 155 0 11660 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47268

[startup+1.50166 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=943648/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=76776 CPUtime=1.49
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 20052 0 0 0 139 10 0 0 25 0 1 0 147879769 78618624 19073 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 19194 19073 63 155 0 19037 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76776

[startup+3.10185 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=910304/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=121940 CPUtime=3.09
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 32386 0 0 0 294 15 0 0 25 0 1 0 147879769 124866560 30381 1992294400 134512640 135151029 4294956240 18446744073709551615 134520317 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 30485 30381 74 155 0 30328 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 121940

[startup+6.30125 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=864232/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=135264 CPUtime=6.29
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 43048 0 0 0 608 21 0 0 25 0 1 0 147879769 138510336 33620 1992294400 134512640 135151029 4294956240 18446744073709551615 134681560 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17306/statm: 33816 33620 79 155 0 33659 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 135264

[startup+12.702 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=847912/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=131356 CPUtime=12.68
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 48202 0 0 0 1245 23 0 0 25 0 1 0 147879769 134508544 32141 1992294400 134512640 135151029 4294956240 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 32839 32141 79 155 0 32682 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 131356

[startup+25.5015 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=859880/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=140068 CPUtime=25.47
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 52344 0 0 0 2522 25 0 0 25 0 1 0 147879769 143429632 34279 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 35017 34279 79 155 0 34860 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 140068

[startup+51.1016 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=837032/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=163004 CPUtime=51.07
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 82208 0 0 0 5068 39 0 0 25 0 1 0 147879769 166916096 39969 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 40751 39969 79 155 0 40594 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 163004

[startup+102.307 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=793896/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=206484 CPUtime=102.24
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 115153 0 0 0 10168 56 0 0 25 0 1 0 147879769 211439616 50709 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 51621 50709 79 155 0 51464 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 206484

[startup+162.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=721512/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=264284 CPUtime=162.22
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 159521 0 0 0 16140 82 0 0 25 0 1 0 147879769 270626816 65123 1992294400 134512640 135151029 4294956240 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 66071 65123 79 155 0 65914 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 264284

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=711272/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=288956 CPUtime=222.18
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 178459 0 0 0 22127 91 0 0 25 0 1 0 147879769 295890944 71407 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 72239 71407 79 155 0 72082 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 288956

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=649960/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=334004 CPUtime=282.15
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 228119 0 0 0 28096 119 0 0 25 0 1 0 147879769 342020096 82556 1992294400 134512640 135151029 4294956240 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 83501 82556 79 155 0 83344 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 334004

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=649256/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=351620 CPUtime=342.13
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 232522 0 0 0 34091 122 0 0 25 0 1 0 147879769 360058880 86959 1992294400 134512640 135151029 4294956240 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 87905 86959 79 155 0 87748 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 351620

[startup+402.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=597864/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=403940 CPUtime=402.1
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 245341 0 0 0 40078 132 0 0 25 0 1 0 147879769 413634560 99778 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 100985 99778 79 155 0 100828 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 403940

[startup+462.303 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=567016/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=433504 CPUtime=462.01
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 307834 0 0 0 46036 165 0 0 25 0 1 0 147879769 443908096 107295 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 1 0 0
/proc/17306/statm: 108376 107295 79 155 0 108219 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 433504

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=529896/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=470404 CPUtime=521.97
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 325476 0 0 0 52022 175 0 0 25 0 1 0 147879769 481693696 116744 1992294400 134512640 135151029 4294956240 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 117601 116744 79 155 0 117444 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 470404

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=483944/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=516388 CPUtime=581.94
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 336850 0 0 0 58008 186 0 0 25 0 1 0 147879769 528781312 128118 1992294400 134512640 135151029 4294956240 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 129097 128118 79 155 0 128940 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 516388

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17307
/proc/meminfo: memFree=440360/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=560184 CPUtime=641.92
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 347627 0 0 0 63997 195 0 0 25 0 1 0 147879769 573628416 138895 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 140046 138895 79 155 0 139889 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 560184

[startup+702.301 s]

################
# More data... #
################

/proc/meminfo: memFree=105128/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=949380 CPUtime=5739.3
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1370013 0 0 0 573174 756 0 0 25 0 1 0 147879769 972165120 236414 1992294400 134512640 135151029 4294956240 18446744073709551615 134564115 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 237345 236414 79 155 0 237188 0
Current children cumulated CPU time (s) 5739.3
Current children cumulated vsize (KiB) 949380

[startup+5802.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17317
/proc/meminfo: memFree=80168/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=5799.29
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1385384 0 0 0 579165 764 0 0 25 0 1 0 147879769 997408768 242584 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242584 79 155 0 243351 0
Current children cumulated CPU time (s) 5799.29
Current children cumulated vsize (KiB) 974032

[startup+5862.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17317
/proc/meminfo: memFree=80168/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=5859.25
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1385384 0 0 0 585161 764 0 0 25 0 1 0 147879769 997408768 242584 1992294400 134512640 135151029 4294956240 18446744073709551615 134520298 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242584 79 155 0 243351 0
Current children cumulated CPU time (s) 5859.25
Current children cumulated vsize (KiB) 974032

[startup+5922.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17317
/proc/meminfo: memFree=80168/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=5919.23
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1385384 0 0 0 591159 764 0 0 25 0 1 0 147879769 997408768 242584 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242584 79 155 0 243351 0
Current children cumulated CPU time (s) 5919.23
Current children cumulated vsize (KiB) 974032

[startup+5982.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17317
/proc/meminfo: memFree=80232/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=5979.2
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1419159 0 0 0 597139 781 0 0 25 0 1 0 147879769 997408768 242586 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242586 79 155 0 243351 0
Current children cumulated CPU time (s) 5979.2
Current children cumulated vsize (KiB) 974032

[startup+6042.31 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=80104/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6039.17
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1419159 0 0 0 603136 781 0 0 25 0 1 0 147879769 997408768 242586 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242586 79 155 0 243351 0
Current children cumulated CPU time (s) 6039.17
Current children cumulated vsize (KiB) 974032

[startup+6102.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=80104/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6099.14
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1419160 0 0 0 609133 781 0 0 25 0 1 0 147879769 997408768 242587 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242587 79 155 0 243351 0
Current children cumulated CPU time (s) 6099.14
Current children cumulated vsize (KiB) 974032

[startup+6162.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=80104/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6159.12
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1452943 0 0 0 615114 798 0 0 25 0 1 0 147879769 997408768 242597 1992294400 134512640 135151029 4294956240 18446744073709551615 134542738 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242597 79 155 0 243351 0
Current children cumulated CPU time (s) 6159.12
Current children cumulated vsize (KiB) 974032

[startup+6222.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=80168/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6219.08
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1452943 0 0 0 621110 798 0 0 25 0 1 0 147879769 997408768 242597 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242597 79 155 0 243351 0
Current children cumulated CPU time (s) 6219.08
Current children cumulated vsize (KiB) 974032

[startup+6282.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6279.06
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 627092 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6279.06
Current children cumulated vsize (KiB) 974032

[startup+6342.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6339.03
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 633089 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6339.03
Current children cumulated vsize (KiB) 974032

Solver just ended. Dumping a history of the last processes samples

[startup+6348.7 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6345.43
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 633729 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134552306 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6345.43
Current children cumulated vsize (KiB) 974032

[startup+6374.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6370.99
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 636285 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134554894 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6370.99
Current children cumulated vsize (KiB) 974032

[startup+6380.7 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6377.39
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 636925 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134520325 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6377.39
Current children cumulated vsize (KiB) 974032

[startup+6387.1 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6383.79
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 637565 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134554571 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6383.79
Current children cumulated vsize (KiB) 974032

[startup+6390.3 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6386.99
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 637885 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134542634 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6386.99
Current children cumulated vsize (KiB) 974032

[startup+6391.9 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6388.59
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 638045 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6388.59
Current children cumulated vsize (KiB) 974032

[startup+6392.7 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=79976/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=974032 CPUtime=6389.39
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194304 1486725 0 0 0 638125 814 0 0 25 0 1 0 147879769 997408768 242606 1992294400 134512640 135151029 4294956240 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 0 0 0
/proc/17306/statm: 243508 242606 79 155 0 243351 0
Current children cumulated CPU time (s) 6389.39
Current children cumulated vsize (KiB) 974032

[startup+6393.1 s]
/proc/loadavg: 1.00 0.98 0.91 2/65 17323
/proc/meminfo: memFree=684200/2055920 swapFree=4191900/4192956
[pid=17306] ppid=17304 vsize=0 CPUtime=6389.8
/proc/17306/stat : 17306 (precosat) R 17304 17306 17182 0 -1 4194308 1486726 0 0 0 638156 824 0 0 25 0 1 0 147879769 0 0 1992294400 0 0 0 0 0 0 0 4096 0 0 0 0 17 0 0 0
/proc/17306/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6389.8
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 6393.16
CPU time (s): 6389.85
CPU user time (s): 6381.56
CPU system time (s): 8.29074
CPU usage (%): 99.9483
Max. virtual memory (cumulated for all children) (KiB): 1039572

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6381.56
system time used= 8.29074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1486726
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= 15091

runsolver used 5.2472 second user time and 18.0133 second system time

The end

Launcher Data 

Begin job on node33 at 2009-05-01 19:21:11
IDJOB=1774841
IDBENCH=71037
IDSOLVER=607
FILE ID=node33/1774841-1241198469
PBS_JOBID= 9224659
Free space on /tmp= 66424 MiB

SOLVER NAME= precosat 236
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1774841-1241198469/watcher-1774841-1241198469 -o /tmp/evaluation-result-1774841-1241198469/solver-1774841-1241198469 -C 10000 -W 12000 -M 1800  HOME/precosat HOME/instance-1774841-1241198469.cnf

TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=256242738

node33.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:        997064 kB
Buffers:         73060 kB
Cached:         879032 kB
SwapCached:        384 kB
Active:          58796 kB
Inactive:       906684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        997064 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:           26704 kB
Writeback:           0 kB
Mapped:          21840 kB
Slab:            79320 kB
Committed_AS:   647736 kB
PageTables:       1400 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= 66424 MiB
End job on node33 at 2009-05-01 21:07:45