Trace number 3365641

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
SAT09 reference solver:precosat 236UNSAT 1830.76 1830.72

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 benchmark335.143
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-3365641-1305315609.cnf
0.00/0.00	c found header 'p cnf 259616 1374599'
1.11/1.16	c finished parsing
1.11/1.16	c
1.11/1.16	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
1.11/1.16	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
1.11/1.16	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
1.11/1.16	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
1.11/1.16	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
1.11/1.16	c --random=1 --spread=2000 --seed=0 --skip=25
1.11/1.16	c
1.11/1.16	c sizeof     vars[0] = 16   alignment = 0       4 MB
1.11/1.16	c sizeof     orgs[0] =  8   alignment = 0       2 MB
1.11/1.16	c sizeof     occs[0] =  8   alignment = 0       2 MB
1.11/1.16	c sizeof iirfs[0..1] =  8   alignment = 0       2 MB
1.11/1.16	c
1.11/1.16	c starting search after 1.2 seconds
1.11/1.16	c no decision limit
1.11/1.20	c
1.11/1.20	c       original/binary      fixed     eliminated      learned       agility
1.11/1.20	c   seconds        variables     equivalent    conflicts       height       MB
1.11/1.20	c
1.11/1.20	c *    1.2  1360580  244730  13149  1737      0       0      0    0.0   0  102
5.39/5.45	c s    5.5   991609  131557  56673  1934  69452       0      0    0.0   0   86
5.39/5.45	c l    5.5   991609  131557  56673  1934  69452       0 450457    0.0   0   86
5.51/5.55	c R    5.6   992762  131557  56673  1934  69452     100     98  352.0   0   87
5.51/5.59	c R    5.6   993808  131557  56673  1934  69452     200    184  295.3   7   87
9.79/9.84	c B    9.8  1737690  121498  66428  2238  69452    1000    948  220.0   4  140
12.79/12.89	c s   12.9  1495007  119894  66925  2238  70559    1005    914  219.8   1  125
12.79/12.89	c -   12.9  1495007  119894  66925  2238  70559    1005 396403  219.8   1  125
14.69/14.76	c B   14.8  1665316  117574  69242  2241  70559    2002   1884  191.4   2  135
26.29/26.39	c s   26.4  1890297  108412  77077  2770  71357    7473   7023  267.7   1  148
26.29/26.39	c -   26.4  1890297  108412  77077  2770  71357    7473 352799  267.7   1  148
26.89/26.97	c B   27.0  1908822  108379  77101  2779  71357    8009   7539  263.5   1  150
42.19/42.21	c R   42.2  3011185   99963  84481  3815  71357   16776  15998  336.1   5  232
48.69/48.71	c s   48.7  2471294   96863  84706  5038  73009   18294  15445  332.4   2  183
48.69/48.71	c -   48.7  2471294   96863  84706  5038  73009   18294 313992  332.4   2  183
56.79/56.83	c B   56.8  2877404   93885  87489  5233  73009   24017  21022  353.7   1  228
80.99/81.08	c s   81.1  3412714   90665  89379  6312  73260   37638  31830  358.1   3  262
80.99/81.08	c -   81.1  3412714   90665  89379  6312  73260   37638 279453  358.1   3  262
115.70/115.74	c R  115.8  4635378   87240  91769  7347  73260   62184  56204  365.1   3  361
118.89/118.90	c
118.89/118.90	c       original/binary      fixed     eliminated      learned       agility
118.89/118.90	c   seconds        variables     equivalent    conflicts       height       MB
118.89/118.90	c
118.89/118.90	c B  118.9  4696518   86846  92131  7379  73260   64041  58047  368.2   5  400
128.89/128.90	c s  128.9  4351966   86264  92397  7512  73443   67148  51127  368.5   3  330
128.89/128.90	c -  128.9  4351966   86264  92397  7512  73443   67148 265481  368.5   3  330
164.69/164.71	c R  164.7  5307176   81589  96143  8441  73443   92430  76354  377.7   4  455
194.40/194.40	c s  194.4  5112129   76725  99602  8998  74291  106072  64659  377.9   8  411
194.40/194.40	c -  194.4  5112129   76725  99602  8998  74291  106072 220350  377.9   8  411
261.49/261.55	c B  261.6  6129098   65562 108869 10894  74291  160070 118562  384.4   4  556
274.80/274.86	c s  274.9  5736929   64499 108971 11066  75080  163756 105676  384.9   2  498
274.80/274.86	c -  274.9  5736929   64499 108971 11066  75080  163756 198315  384.9   2  498
301.69/301.78	c R  301.8  6287650   63831 109618 11087  75080  189947 131849  390.5   7  580
313.00/313.09	c +  313.1  6421233   63464 109972 11100  75080  198315 218146  391.2   9  602
381.20/381.28	c s  381.3  6286182   59857 110334 11680  77745  242002 180666  397.8   8  650
381.20/381.28	c -  381.3  6286182   59857 110334 11680  77745  242002 209421  397.8   8  650
381.20/381.28	c +  381.3  6286182   59857 110334 11680  77745  242002 230363  397.8   8  650
467.81/467.80	c +  467.8  6798593   59185 110891 11795  77745  302501 253399  399.4   6  788
524.71/524.73	c s  524.7  6295916   56949 111256 12268  79143  327685 238872  399.8   6  771
524.71/524.73	c -  524.7  6295916   56949 111256 12268  79143  327685 240730  399.8   6  771
570.31/570.36	c +  570.4  6813877   56399 111758 12316  79143  359219 264803  399.9   7  833
572.91/572.96	c R  573.0  6844742   56362 111788 12323  79143  361322 242951  400.1   4  839
604.30/604.37	c
604.30/604.37	c       original/binary      fixed     eliminated      learned       agility
604.30/604.37	c   seconds        variables     equivalent    conflicts       height       MB
604.30/604.37	c
604.30/604.37	c B  604.4  7102996   55968 112100 12405  79143  384175 265027  402.4   4  897
658.50/658.54	c s  658.6  6059161   54496 112978 12672  79470  412212 232265  399.3   9  764
658.50/658.54	c -  658.6  6059161   54496 112978 12672  79470  412212 240971  399.3   9  764
658.50/658.54	c +  658.6  6059161   54496 112978 12672  79470  412212 265068  399.3   9  764
794.61/794.69	c s  794.7  6236874   53212 114082 12851  79471  483067 262163  396.2   1  824
794.61/794.69	c -  794.7  6236874   53212 114082 12851  79471  483067 254466  396.2   1  824
818.32/818.35	c +  818.4  6292405   53162 114125 12858  79471  494658 279912  395.4   6  825
940.42/940.51	c s  940.5  4251445   48005 114505 12977  84129  552150  36473  392.6   4  298
940.42/940.51	c -  940.5  4251445   48005 114505 12977  84129  552150 277113  392.6   4  298
995.53/995.58	c +  995.6  4372062   47220 115265 13002  84129  612138 304824  385.2   4  386
1005.02/1005.04	c s 1005.1  4325339   47141 115274 13002  84199  615040  98594  385.2   5  378
1005.02/1005.04	c - 1005.1  4325339   47141 115274 13002  84199  615040 289583  385.2   5  378
1081.72/1081.77	c s 1081.8  4467767   46652 115699 13065  84200  672825 155966  377.4   1  493
1158.12/1158.11	c + 1158.1  4729717   46557 115781 13078  84200  726913 318541  370.5   5  588
1171.92/1171.95	c s 1172.0  4551817   46206 115784 13133  84493  729553 112489  370.1   2  416
1257.52/1257.57	c s 1257.6  4395871   45746 115965 13166  84739  791051 167415  362.4   3  435
1338.63/1338.63	c s 1338.7  4340997   45258 116333 13274  84751  850134 218197  356.1   4  488
1338.63/1338.63	c - 1338.7  4340997   45258 116333 13274  84751  850134 312171  356.1   4  488
1392.93/1392.90	c + 1392.9  4374677   44869 116708 13288  84751  890472 343388  351.6   4  549
1402.23/1402.21	c
1402.23/1402.21	c       original/binary      fixed     eliminated      learned       agility
1402.23/1402.21	c   seconds        variables     equivalent    conflicts       height       MB
1402.23/1402.21	c
1402.23/1402.21	c B 1402.2  4383421   44790 116784 13291  84751  896346 264396  350.9   7  555
1422.72/1422.72	c s 1422.8  4319106   44575 116976 13295  84770  904972 255866  350.1   2  521
1422.72/1422.72	c - 1422.8  4319106   44575 116976 13295  84770  904972 333087  350.1   2  521
1509.83/1509.84	c s 1509.9  4046386   43323 117458 13436  85399  963917 153180  345.0   3  367
1509.83/1509.84	c - 1509.9  4046386   43323 117458 13436  85399  963917 329757  345.0   3  367
1577.52/1577.52	c s 1577.6  3789919   42159 118292 13602  85563 1022066 126612  339.3   2  320
1577.52/1577.52	c - 1577.6  3789919   42159 118292 13602  85563 1022066 319865  339.3   2  320
1592.42/1592.49	c + 1592.5  3816363   41859 118580 13614  85563 1036837 351851  337.6   2  338
1649.03/1649.06	c s 1649.1  3484664   40285 119908 13660  85763 1084218 120231  332.7   2  300
1649.03/1649.06	c - 1649.1  3484664   40285 119908 13660  85763 1084218 320185  332.7   2  300
1705.93/1705.94	c s 1706.0  3109289   38316 121672 13767  85861 1138975 118909  327.6   8  279
1705.93/1705.94	c - 1706.0  3109289   38316 121672 13767  85861 1138975 294571  327.6   8  279
1705.93/1705.94	c + 1706.0  3109289   38316 121672 13767  85861 1138975 324028  327.6   8  279
1757.14/1757.16	c s 1757.2  2494934   35382 122665 13892  87677 1191766  75608  324.0   8  218
1757.14/1757.16	c - 1757.2  2494934   35382 122665 13892  87677 1191766 301347  324.0   8  218
1796.03/1796.01	c s 1796.1  2419885   34980 122997 13929  87710 1238548 112676  321.4   8  237
1796.03/1796.01	c - 1796.1  2419885   34980 122997 13929  87710 1238548 295321  321.4   8  237
1830.63/1830.67	c 0 1830.7  2774728   25091 132576 14239  87710 1276674 150711  318.6   4  283
1830.63/1830.67	c
1830.63/1830.67	s UNSATISFIABLE
1830.63/1830.67	c
1830.63/1830.67	c 1276674 conflicts, 9505681 decisions, 4594 random
1830.63/1830.67	c 469 iterations, 5464 restarts, 0 skipped
1830.63/1830.67	c 11 enlarged, 44032 shrunken, 12484 rescored, 347 rebiased
1830.63/1830.67	c 25 simplifications, 0 reductions
1830.63/1830.67	c
1830.63/1830.67	c vars: 132576 fixed, 14239 equiv, 87710 elim, 16376 merged
1830.63/1830.67	c elim: 12120691 resolutions, 25 phases, 5 rounds
1830.63/1830.67	c sbst: 30% substituted, 25.8% nots, 74.2% ands, 0.0% xors, 0.0% ites
1830.63/1830.67	c arty: 2.25 and 0.00 xor average arity
1830.63/1830.67	c prbe: 429530 probed, 3400 phases, 4 rounds
1830.63/1830.67	c prbe: 13331 failed, 13240 lifted, 2148 merged
1830.63/1830.67	c sccs: 2440 non trivial, 0 fixed, 3893 merged
1830.63/1830.67	c hash: 908 units, 10335 merged
1830.63/1830.67	c mins: 395397834 learned, 30% deleted, 182 strong, 313 depth
1830.63/1830.67	c subs: 136070 forward, 273500 backward, 745229 doms
1830.63/1830.67	c strs: 64574 forward, 245 backward
1830.63/1830.67	c doms: 1801247 dominators, 865870 high, 2258 low
1830.63/1830.67	c prps: 4095701419 propagations, 2.24 megaprops
1830.63/1830.67	c
1830.63/1830.67	c 1830.7 seconds, 920 MB max, 1903 MB recycled

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3365641-1305315609/watcher-3365641-1305315609 -o /tmp/evaluation-result-3365641-1305315609/solver-3365641-1305315609 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365641-1305315609.cnf 

running on 4 cores: 0,2,4,6

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): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.13 1.43 0.65 2/413 2803
/proc/meminfo: memFree=5981408/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=11024 CPUtime=0 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 2195 0 0 0 0 0 0 0 23 0 1 0 721791735 11288576 2153 33554432000 134512640 135151029 4289309168 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/2803/statm: 2756 2154 60 156 0 2599 0

[startup+0.057239 s]
/proc/loadavg: 2.13 1.43 0.65 2/413 2803
/proc/meminfo: memFree=5981408/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=26268 CPUtime=0.05 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 6560 0 0 0 5 0 0 0 23 0 1 0 721791735 26898432 6453 33554432000 134512640 135151029 4289309168 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 6600 6453 64 156 0 6443 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 26268

[startup+0.100231 s]
/proc/loadavg: 2.13 1.43 0.65 2/413 2803
/proc/meminfo: memFree=5981408/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=31268 CPUtime=0.09 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 7929 0 0 0 9 0 0 0 23 0 1 0 721791735 32018432 7694 33554432000 134512640 135151029 4289309168 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 7817 7694 64 156 0 7660 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31268

[startup+0.300197 s]
/proc/loadavg: 2.13 1.43 0.65 2/413 2803
/proc/meminfo: memFree=5981408/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=48596 CPUtime=0.29 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 13016 0 0 0 28 1 0 0 25 0 1 0 721791735 49762304 12011 33554432000 134512640 135151029 4289309168 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 12149 12011 64 156 0 11992 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 48596

[startup+0.701124 s]
/proc/loadavg: 2.13 1.43 0.65 2/413 2803
/proc/meminfo: memFree=5981408/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=80280 CPUtime=0.69 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 21973 0 0 0 67 2 0 0 25 0 1 0 721791735 82206720 19942 33554432000 134512640 135151029 4289309168 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 20070 19943 64 156 0 19913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 80280

[startup+1.50097 s]
/proc/loadavg: 2.13 1.43 0.65 3/414 2804
/proc/meminfo: memFree=5876148/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=132944 CPUtime=1.49 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 35058 0 0 0 144 5 0 0 25 0 1 0 721791735 136134656 33026 33554432000 134512640 135151029 4289309168 18446744073709551615 134532065 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 33236 33026 80 156 0 33079 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132944

[startup+3.10064 s]
/proc/loadavg: 2.13 1.43 0.65 3/414 2804
/proc/meminfo: memFree=5851100/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=143508 CPUtime=3.09 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 46631 0 0 0 303 6 0 0 25 0 1 0 721791735 146952192 35638 33554432000 134512640 135151029 4289309168 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 35877 35638 80 156 0 35720 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 143508

[startup+6.3012 s]
/proc/loadavg: 2.20 1.46 0.66 3/414 2804
/proc/meminfo: memFree=5846760/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=139624 CPUtime=6.29 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 52335 0 0 0 622 7 0 0 25 0 1 0 721791735 142974976 34243 33554432000 134512640 135151029 4289309168 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 34906 34243 80 156 0 34749 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 139624

[startup+12.7011 s]
/proc/loadavg: 2.18 1.47 0.66 3/414 2804
/proc/meminfo: memFree=5831528/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=171264 CPUtime=12.69 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 82227 0 0 0 1258 11 0 0 25 0 1 0 721791735 175374336 42010 33554432000 134512640 135151029 4289309168 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 42816 42010 80 156 0 42659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 171264

[startup+25.5008 s]
/proc/loadavg: 2.30 1.53 0.70 3/414 2805
/proc/meminfo: memFree=5764552/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=190144 CPUtime=25.49 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 107063 0 0 0 2535 14 0 0 25 0 1 0 721791735 194707456 46565 33554432000 134512640 135151029 4289309168 18446744073709551615 134521926 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 47536 46565 80 156 0 47379 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 190144

[startup+51.1003 s]
/proc/loadavg: 2.27 1.58 0.74 3/414 2806
/proc/meminfo: memFree=5659088/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=278756 CPUtime=51.09 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 175847 0 0 0 5086 23 0 0 25 0 1 0 721791735 285446144 68768 33554432000 134512640 135151029 4289309168 18446744073709551615 134580463 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 69689 68768 80 156 0 69532 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 278756

[startup+102.315 s]
/proc/loadavg: 2.17 1.66 0.80 3/414 2807
/proc/meminfo: memFree=5548216/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=367392 CPUtime=102.31 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 236384 0 0 0 10199 32 0 0 25 0 1 0 721791735 376209408 90794 33554432000 134512640 135151029 4289309168 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 91848 90794 80 156 0 91691 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 367392

[startup+162.301 s]
/proc/loadavg: 2.06 1.72 0.88 3/414 2808
/proc/meminfo: memFree=5398276/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=508072 CPUtime=162.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 334818 0 0 0 16183 47 0 0 25 0 1 0 721791735 520265728 126059 33554432000 134512640 135151029 4289309168 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 127018 126059 80 156 0 126861 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 508072

[startup+222.3 s]
/proc/loadavg: 2.02 1.77 0.94 3/414 2810
/proc/meminfo: memFree=5334144/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=570492 CPUtime=222.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 421661 0 0 0 22171 59 0 0 25 0 1 0 721791735 584183808 141642 33554432000 134512640 135151029 4289309168 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 142623 141642 80 156 0 142466 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 570492

[startup+282.301 s]
/proc/loadavg: 2.01 1.81 1.01 3/414 2812
/proc/meminfo: memFree=5267904/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=636468 CPUtime=282.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 508466 0 0 0 28159 71 0 0 25 0 1 0 721791735 651743232 158191 33554432000 134512640 135151029 4289309168 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 159117 158191 80 156 0 158960 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 636468

[startup+342.3 s]
/proc/loadavg: 2.00 1.84 1.07 3/414 2813
/proc/meminfo: memFree=5170416/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=735468 CPUtime=342.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 532955 0 0 0 34153 77 0 0 25 0 1 0 721791735 753119232 182680 33554432000 134512640 135151029 4289309168 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 183867 182680 80 156 0 183710 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 735468

[startup+402.301 s]
/proc/loadavg: 2.00 1.86 1.12 3/414 2815
/proc/meminfo: memFree=5126236/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=778344 CPUtime=402.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 614155 0 0 0 40142 88 0 0 25 0 1 0 721791735 797024256 193624 33554432000 134512640 135151029 4289309168 18446744073709551615 134554770 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 194586 193624 80 156 0 194429 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 778344

[startup+462.3 s]
/proc/loadavg: 2.00 1.89 1.17 3/414 2817
/proc/meminfo: memFree=5046980/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=859596 CPUtime=462.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 634058 0 0 0 46139 91 0 0 25 0 1 0 721791735 880226304 213527 33554432000 134512640 135151029 4289309168 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 214899 213527 80 156 0 214742 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 859596

[startup+522.301 s]
/proc/loadavg: 2.00 1.90 1.22 3/414 2819
/proc/meminfo: memFree=4989300/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=923192 CPUtime=522.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 707362 0 0 0 52129 101 0 0 25 0 1 0 721791735 945348608 228865 33554432000 134512640 135151029 4289309168 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 230798 228865 80 156 0 230641 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 923192

[startup+582.3 s]
/proc/loadavg: 2.10 1.95 1.28 3/414 2821
/proc/meminfo: memFree=4911528/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=945836 CPUtime=582.3 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 726046 0 0 0 58126 104 0 0 25 0 1 0 721791735 968536064 235259 33554432000 134512640 135151029 4289309168 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 236459 235259 80 156 0 236302 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 945836

[startup+642.301 s]

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

/proc/meminfo: memFree=4719036/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=1006820 CPUtime=1182.32 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1121364 0 0 0 118078 154 0 0 25 0 1 0 721791735 1030983680 250721 33554432000 134512640 135151029 4289309168 18446744073709551615 134554488 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 251705 250721 80 156 0 251548 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 1006820

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 1.64 3/414 2838
/proc/meminfo: memFree=4698304/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=1006820 CPUtime=1242.32 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1121364 0 0 0 124078 154 0 0 25 0 1 0 721791735 1030983680 250721 33554432000 134512640 135151029 4289309168 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 251705 250721 80 156 0 251548 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1006820

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.66 3/414 2849
/proc/meminfo: memFree=4682628/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=1006820 CPUtime=1302.32 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1188934 0 0 0 130070 162 0 0 25 0 1 0 721791735 1030983680 250727 33554432000 134512640 135151029 4289309168 18446744073709551615 134581549 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 251705 250727 80 156 0 251548 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1006820

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.68 3/414 2850
/proc/meminfo: memFree=4681364/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1362.32 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1223734 0 0 0 136065 167 0 0 25 0 1 0 721791735 997429248 242541 33554432000 134512640 135151029 4289309168 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242541 80 156 0 243356 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 974052

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.70 3/414 2852
/proc/meminfo: memFree=4663372/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1422.34 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1258530 0 0 0 142064 170 0 0 25 0 1 0 721791735 997429248 242543 33554432000 134512640 135151029 4289309168 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242543 80 156 0 243356 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 974052

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.71 3/414 2862
/proc/meminfo: memFree=4606816/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=1006820 CPUtime=1482.32 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1274919 0 0 0 148060 172 0 0 25 0 1 0 721791735 1030983680 250739 33554432000 134512640 135151029 4289309168 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 251705 250739 80 156 0 251548 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 1006820

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/414 2863
/proc/meminfo: memFree=4628332/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1542.33 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1309730 0 0 0 154056 177 0 0 25 0 1 0 721791735 997429248 242564 33554432000 134512640 135151029 4289309168 18446744073709551615 134578245 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242564 80 156 0 243356 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 974052

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/414 2865
/proc/meminfo: memFree=4620480/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1602.32 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1344532 0 0 0 160052 180 0 0 25 0 1 0 721791735 997429248 242572 33554432000 134512640 135151029 4289309168 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242572 80 156 0 243356 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 974052

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/414 2866
/proc/meminfo: memFree=4617600/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1662.33 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1379328 0 0 0 166048 185 0 0 25 0 1 0 721791735 997429248 242574 33554432000 134512640 135151029 4289309168 18446744073709551615 134554547 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242574 80 156 0 243356 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 974052

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.77 3/414 2868
/proc/meminfo: memFree=4618044/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1722.33 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1414124 0 0 0 172045 188 0 0 25 0 1 0 721791735 997429248 242576 33554432000 134512640 135151029 4289309168 18446744073709551615 134554568 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242576 80 156 0 243356 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 974052

[startup+1782.3 s]
/proc/loadavg: 2.14 2.04 1.79 3/414 2870
/proc/meminfo: memFree=4590124/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1782.34 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1448946 0 0 0 178041 193 0 0 25 0 1 0 721791735 997429248 242604 33554432000 134512640 135151029 4289309168 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242604 80 156 0 243356 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 974052

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

[startup+1791.92 s]
/proc/loadavg: 2.12 2.04 1.80 3/414 2870
/proc/meminfo: memFree=4618396/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=941280 CPUtime=1791.95 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1449961 0 0 0 179002 193 0 0 25 0 1 0 721791735 963870720 234411 33554432000 134512640 135151029 4289309168 18446744073709551615 134521753 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 235320 234411 80 156 0 235163 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 941280

[startup+1817.5 s]
/proc/loadavg: 2.08 2.04 1.80 3/414 2871
/proc/meminfo: memFree=4579956/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1817.53 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1482722 0 0 0 181556 197 0 0 25 0 1 0 721791735 997429248 242607 33554432000 134512640 135151029 4289309168 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242607 80 156 0 243356 0
Current children cumulated CPU time (s) 1817.53
Current children cumulated vsize (KiB) 974052

[startup+1823.9 s]
/proc/loadavg: 2.07 2.03 1.80 3/414 2871
/proc/meminfo: memFree=4579328/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1823.94 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1482722 0 0 0 182197 197 0 0 25 0 1 0 721791735 997429248 242607 33554432000 134512640 135151029 4289309168 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242607 80 156 0 243356 0
Current children cumulated CPU time (s) 1823.94
Current children cumulated vsize (KiB) 974052

[startup+1827.12 s]
/proc/loadavg: 2.07 2.03 1.80 3/414 2871
/proc/meminfo: memFree=4579328/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1827.15 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1482722 0 0 0 182518 197 0 0 25 0 1 0 721791735 997429248 242607 33554432000 134512640 135151029 4289309168 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242607 80 156 0 243356 0
Current children cumulated CPU time (s) 1827.15
Current children cumulated vsize (KiB) 974052

[startup+1828.7 s]
/proc/loadavg: 2.06 2.03 1.80 3/414 2871
/proc/meminfo: memFree=4578956/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1828.74 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1482722 0 0 0 182677 197 0 0 25 0 1 0 721791735 997429248 242607 33554432000 134512640 135151029 4289309168 18446744073709551615 134554799 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242607 80 156 0 243356 0
Current children cumulated CPU time (s) 1828.74
Current children cumulated vsize (KiB) 974052

[startup+1829.5 s]
/proc/loadavg: 2.06 2.03 1.80 3/414 2871
/proc/meminfo: memFree=4578708/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1829.54 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1482722 0 0 0 182757 197 0 0 25 0 1 0 721791735 997429248 242607 33554432000 134512640 135151029 4289309168 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242607 80 156 0 243356 0
Current children cumulated CPU time (s) 1829.54
Current children cumulated vsize (KiB) 974052

[startup+1830.3 s]
/proc/loadavg: 2.06 2.03 1.80 3/414 2871
/proc/meminfo: memFree=4578708/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=974052 CPUtime=1830.34 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202496 1482722 0 0 0 182837 197 0 0 25 0 1 0 721791735 997429248 242607 33554432000 134512640 135151029 4289309168 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/2803/statm: 243513 242607 80 156 0 243356 0
Current children cumulated CPU time (s) 1830.34
Current children cumulated vsize (KiB) 974052

[startup+1830.7 s]
/proc/loadavg: 2.06 2.03 1.80 3/414 2871
/proc/meminfo: memFree=4578708/32950940 swapFree=67111356/67111528
[pid=2803] ppid=2801 vsize=0 CPUtime=1830.73 cores=0,2,4,6
/proc/2803/stat : 2803 (precosat) R 2801 2803 2690 0 -1 4202500 1482723 0 0 0 182874 199 0 0 25 0 1 0 721791735 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/2803/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1830.73
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 1830.72
CPU time (s): 1830.76
CPU user time (s): 1828.75
CPU system time (s): 2.00869
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1039740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1828.75
system time used= 2.00869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1482723
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= 5
involuntary context switches= 2412

runsolver used 7.74682 second user time and 16.3535 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-13 21:40:10
IDJOB=3365641
IDBENCH=71037
IDSOLVER=1843
FILE ID=node117/3365641-1305315609
RUNJOBID= node117-1305315246-2708
PBS_JOBID= 13324315
Free space on /tmp= 37664 MiB

SOLVER NAME= SAT09 reference solver: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-3365641-1305315609/watcher-3365641-1305315609 -o /tmp/evaluation-result-3365641-1305315609/solver-3365641-1305315609 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365641-1305315609.cnf

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=1399937689

node117.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       5981688 kB
Buffers:        255908 kB
Cached:       17764648 kB
SwapCached:          0 kB
Active:       14422488 kB
Inactive:     11879536 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       5981688 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:           33256 kB
Writeback:           0 kB
AnonPages:     8281172 kB
Mapped:          32500 kB
Slab:           555080 kB
PageTables:      45060 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100833908 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 37664 MiB
End job on node117 at 2011-05-13 22:10:40