Trace number 3365739

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 236Signal 2236.4 2237.33

General information on the benchmark

Nameapplication/rintanen/SATPlanning/
sokoban-sequential-p145-microban-sequential.080-SAT.cnf
MD5SUM1ca09a2b911e29894c6603aee8d3e672
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1503.62
Satisfiable
(Un)Satisfiability was proved
Number of variables175084
Number of clauses2826936
Sum of the clauses size6454456
Maximum clause length78
Minimum clause length1
Number of clauses of size 1696
Number of clauses of size 22728320
Number of clauses of size 37680
Number of clauses of size 435520
Number of clauses of size 515360
Number of clauses of size over 539360

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-3365739-1305317533.cnf
0.00/0.00	c found header 'p cnf 175084 2826936'
2.49/2.57	c finished parsing
2.49/2.57	c
2.49/2.57	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
2.49/2.57	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
2.49/2.57	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
2.49/2.57	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
2.49/2.57	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
2.49/2.57	c --random=1 --spread=2000 --seed=0 --skip=25
2.49/2.57	c
2.49/2.57	c sizeof     vars[0] = 16   alignment = 0       3 MB
2.49/2.57	c sizeof     orgs[0] =  8   alignment = 0       1 MB
2.49/2.57	c sizeof     occs[0] =  8   alignment = 0       1 MB
2.49/2.57	c sizeof iirfs[0..1] =  8   alignment = 0       1 MB
2.49/2.57	c
2.49/2.57	c starting search after 2.6 seconds
2.49/2.57	c no decision limit
2.59/2.62	c
2.59/2.62	c       original/binary      fixed     eliminated      learned       agility
2.59/2.62	c   seconds        variables     equivalent    conflicts       height       MB
2.59/2.62	c
2.59/2.62	c *    2.6  2453278  152569  22056   459      0       0      0    0.0   0  183
6.25/6.39	c s    6.4  1769501  124702  49759   363    260       0      0    0.0   0  126
6.25/6.39	c l    6.4  1769501  124702  49759   363    260       0  72063    0.0   0  126
6.75/6.80	c R    6.8  1788242  124623  49830   371    260     194    189 1440.0   0  130
7.75/7.80	c R    7.8  1893880  124141  50307   376    260     748    733 1291.1   1  137
8.15/8.23	c B    8.2  1918853  124022  50414   388    260    1001    979 1250.8   2  139
10.15/10.20	c B   10.2  2157450  123055  51351   418    260    2005   1952 1060.4   1  154
13.65/13.72	c R   13.7  2695603  121794  52589   441    260    3411   3330 1019.8   0  201
24.55/24.67	c s   24.6  3031708  117623  56588   529    344    5509   5087  987.1   1  221
24.55/24.67	c -   24.6  3031708  117623  56588   529    344    5509  69181  987.1   1  221
30.15/30.23	c B   30.2  3677099  116015  58084   641    344    8010   7537  965.3   2  261
55.66/55.79	c s   55.8  5320646  115109  58776   766    433   17235  14507  876.9   0  394
68.17/68.21	c B   68.2  6180953  114382  59367   902    433   24014  21180  879.2   1  459
103.76/103.82	c s  103.8  7118628  113838  59775   961    510   37538  33764  819.2   1  530
135.05/135.19	c R  135.2  8429138  113215  60263  1096    510   52148  48209  787.6   1  638
136.56/136.65	c allocating 128 MB block
164.16/164.27	c allocating 128 MB block
171.66/171.78	c allocating 128 MB block
173.45/173.56	c s  173.5  8940133  113037  60381  1128    538   63950  57072  818.7   1  744
173.95/174.02	c B  174.0  8941041  113034  60384  1128    538   64023  57144  818.3   0  745
184.56/184.65	c +  184.6  9427278  112513  60828  1205    538   69181  76099  840.1   1  789
222.26/222.36	c +  222.3 10704876  112224  61062  1260    538   86478  83708  886.4   0  908
253.56/253.67	c allocating 128 MB block
262.26/262.34	c allocating 128 MB block
264.66/264.73	c
264.66/264.73	c       original/binary      fixed     eliminated      learned       agility
264.66/264.73	c   seconds        variables     equivalent    conflicts       height       MB
264.66/264.73	c
264.66/264.73	c s  264.7 11109708  112007  61211  1286    580   97772  78985  869.5   0  921
289.66/289.77	c +  289.7 11989415  111581  61555  1368    580  108096  92078  881.3   1  995
357.86/357.94	c +  357.9 14077265  111161  61957  1386    580  135120 101285  885.4   1 1157
371.78/371.85	c allocating 128 MB block
381.87/381.94	c allocating 128 MB block
385.07/385.14	c s  385.1 13867048  111009  62015  1402    658  138693  89180  881.5   0 1105
433.77/433.80	c B  433.8 15011892  110580  62374  1472    658  160055 101629  898.1   1 1237
452.76/452.84	c +  452.8 15418641  110517  62422  1487    658  168907 111413  896.8   1 1271
510.06/510.19	c allocating 128 MB block
522.16/522.23	c allocating 128 MB block
526.27/526.34	c s  526.3 16365429  110272  62623  1511    678  190127 110563  909.3   0 1365
547.68/547.71	c allocating 256 MB block
589.47/589.54	c +  589.5 17788824  109821  63031  1554    678  211132 122554  905.6   0 1589
708.47/708.52	c allocating 128 MB block
711.87/711.96	c allocating 256 MB block
724.89/724.94	c allocating 128 MB block
728.27/728.37	c allocating 256 MB block
732.87/732.94	c s  732.9 19941353  109303  63522  1580    679  250594 122129  945.7   4 1748
765.08/765.17	c R  765.2 20695288  109170  63642  1593    679  263108 123061  957.3   0 1805
767.18/767.25	c +  767.2 20740797  109162  63648  1595    679  263917 134809  957.9   6 1808
967.58/967.67	c allocating 128 MB block
971.08/971.13	c allocating 256 MB block
986.98/987.09	c allocating 128 MB block
990.48/990.56	c allocating 256 MB block
996.38/996.40	c s  996.4 24336028  108609  64129  1638    708  326181 129128  978.9   1 2029
1006.68/1006.78	c + 1006.8 24521860  108577  64158  1641    708  329895 148289  979.2   3 2059
1156.18/1156.27	c B 1156.3 28259402  108082  64628  1666    708  384111 148614 1029.5   0 2367
1160.58/1160.63	c R 1160.6 28415321  108055  64657  1664    708  385746 148682 1030.3   0 2376
1232.79/1232.80	c + 1232.8 29539704  107817  64858  1701    708  412365 163117 1060.7   0 2471
1266.99/1267.06	c allocating 128 MB block
1270.50/1270.54	c allocating 256 MB block
1288.49/1288.56	c allocating 128 MB block
1291.98/1292.04	c allocating 256 MB block
1299.39/1299.47	c s 1299.5 29288797  107651  64978  1736    719  421460 150389 1065.4   2 2401
1481.09/1481.13	c R 1481.1 31410619  107235  65324  1806    719  483529 163696 1101.5   0 2676
1581.80/1581.85	c + 1581.9 32248334  107081  65447  1837    719  515456 179428 1107.3   1 2709
1752.21/1752.22	c allocating 128 MB block
1755.70/1755.71	c allocating 256 MB block
1776.51/1776.58	c allocating 128 MB block
1780.00/1780.07	c allocating 256 MB block
1788.61/1788.68	c
1788.61/1788.68	c       original/binary      fixed     eliminated      learned       agility
1788.61/1788.68	c   seconds        variables     equivalent    conflicts       height       MB
1788.61/1788.68	c
1788.61/1788.68	c s 1788.7 32025653  106990  65523  1852    719  564981 179608 1136.0   2 2811
2021.51/2021.50	c + 2021.5 33237495  106826  65653  1886    719  644320 197370 1172.2   1 2934
2232.01/2232.02	c allocating 512 MB block
2232.01/2232.02	c
2232.01/2232.02	c out of memory allocating 512 MB
2232.01/2232.02	c
2232.01/2232.02	c
2232.01/2232.02	c *** CAUGHT SIGNAL 6 ***
2232.01/2232.02	c
2232.01/2232.02	c 704518 conflicts, 19505441 decisions, 9787 random
2232.01/2232.02	c 431 iterations, 3199 restarts, 0 skipped
2232.01/2232.02	c 11 enlarged, 2660 shrunken, 6896 rescored, 220 rebiased
2232.01/2232.02	c 12 simplifications, 0 reductions
2232.01/2232.02	c
2232.01/2232.02	c vars: 65670 fixed, 1887 equiv, 719 elim, 3089 merged
2232.01/2232.02	c elim: 5830550 resolutions, 12 phases, 1 rounds
2232.01/2232.02	c sbst: 99% substituted, 54.9% nots, 45.1% ands, 0.0% xors, 0.0% ites
2232.01/2232.02	c arty: 2.08 and 0.00 xor average arity
2232.01/2232.02	c prbe: 255998 probed, 5186 phases, 1 rounds
2232.01/2232.02	c prbe: 4149 failed, 5187 lifted, 27 merged
2232.01/2232.02	c sccs: 302 non trivial, 0 fixed, 304 merged
2232.01/2232.02	c hash: 124 units, 2758 merged
2232.01/2232.02	c mins: 1055360646 learned, 13% deleted, 143 strong, 164 depth
2232.01/2232.02	c subs: 3624 forward, 16393 backward, 171014 doms
2232.01/2232.02	c strs: 1681 forward, 11 backward
2232.01/2232.02	c doms: 1266802 dominators, 389466 high, 998 low
2232.01/2232.02	c prps: 6804813829 propagations, 3.05 megaprops
2232.01/2232.02	c
2232.01/2232.02	c 2232.0 seconds, 3122 MB max, 3190 MB recycled
2232.01/2232.02	c
2232.01/2232.02	c *** CAUGHT SIGNAL 6 ***
2232.01/2232.02	c

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3365739-1305317533/watcher-3365739-1305317533 -o /tmp/evaluation-result-3365739-1305317533/solver-3365739-1305317533 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365739-1305317533.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.00 2.00 1.80 2/317 9061
/proc/meminfo: memFree=27816236/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=7968 CPUtime=0 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 1691 0 0 0 0 0 0 0 23 0 1 0 643352257 8159232 1648 33554432000 134512640 135151029 4292324176 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/9061/statm: 1992 1648 60 156 0 1835 0

[startup+0.0716871 s]
/proc/loadavg: 2.00 2.00 1.80 2/317 9061
/proc/meminfo: memFree=27816236/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=16500 CPUtime=0.06 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 3954 0 0 0 6 0 0 0 23 0 1 0 643352257 16896000 3911 33554432000 134512640 135151029 4292324176 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 4125 3911 65 156 0 3968 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16500

[startup+0.10062 s]
/proc/loadavg: 2.00 2.00 1.80 2/317 9061
/proc/meminfo: memFree=27816236/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=18080 CPUtime=0.09 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 4359 0 0 0 9 0 0 0 23 0 1 0 643352257 18513920 4283 33554432000 134512640 135151029 4292324176 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 4520 4283 65 156 0 4363 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18080

[startup+0.300655 s]
/proc/loadavg: 2.00 2.00 1.80 2/317 9061
/proc/meminfo: memFree=27816236/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=39944 CPUtime=0.29 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 10293 0 0 0 28 1 0 0 25 0 1 0 643352257 40902656 9766 33554432000 134512640 135151029 4292324176 18446744073709551615 134579290 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 9986 9766 65 156 0 9829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39944

[startup+0.700584 s]
/proc/loadavg: 2.00 2.00 1.80 2/317 9061
/proc/meminfo: memFree=27816236/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=71820 CPUtime=0.69 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 19799 0 0 0 66 3 0 0 25 0 1 0 643352257 73543680 17734 33554432000 134512640 135151029 4292324176 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 17955 17735 65 156 0 17798 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71820

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 1.80 3/318 9062
/proc/meminfo: memFree=27720252/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=135452 CPUtime=1.49 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 37750 0 0 0 144 5 0 0 25 0 1 0 643352257 138702848 33636 33554432000 134512640 135151029 4292324176 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 33863 33637 65 156 0 33706 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135452

[startup+3.10104 s]
/proc/loadavg: 2.00 2.00 1.80 3/318 9062
/proc/meminfo: memFree=27606916/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=187984 CPUtime=3.09 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 64151 0 0 0 300 9 0 0 25 0 1 0 643352257 192495616 46676 33554432000 134512640 135151029 4292324176 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 6 0 0 0
/proc/9061/statm: 46996 46676 80 156 0 46839 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 187984

[startup+6.30047 s]
/proc/loadavg: 2.00 2.00 1.80 3/318 9062
/proc/meminfo: memFree=27609768/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=198736 CPUtime=6.25 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 88612 0 0 0 613 12 0 0 25 0 1 0 643352257 203505664 49358 33554432000 134512640 135151029 4292324176 18446744073709551615 134579924 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 49684 49358 80 156 0 49527 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 198736

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.81 3/318 9063
/proc/meminfo: memFree=27601512/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=224008 CPUtime=12.66 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 98888 0 0 0 1252 14 0 0 25 0 1 0 643352257 229384192 55537 33554432000 134512640 135151029 4292324176 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 56002 55537 80 156 0 55845 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 224008

[startup+25.501 s]
/proc/loadavg: 2.00 2.00 1.81 3/318 9063
/proc/meminfo: memFree=27507988/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=312184 CPUtime=25.45 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 163709 0 0 0 2523 22 0 0 25 0 1 0 643352257 319676416 77026 33554432000 134512640 135151029 4292324176 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 78046 77026 80 156 0 77889 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 312184

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.81 3/318 9064
/proc/meminfo: memFree=27301768/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=487552 CPUtime=51.06 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 248787 0 0 0 5073 33 0 0 25 0 1 0 643352257 499253248 120454 33554432000 134512640 135151029 4292324176 18446744073709551615 134528789 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 121888 120454 80 156 0 121731 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 487552

[startup+102.312 s]
/proc/loadavg: 2.00 2.00 1.82 3/318 9065
/proc/meminfo: memFree=27216036/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=604032 CPUtime=102.27 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 386449 0 0 0 10175 52 0 0 25 0 1 0 643352257 618528768 149748 33554432000 134512640 135151029 4292324176 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 151008 149748 80 156 0 150851 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 604032

[startup+162.301 s]
/proc/loadavg: 2.03 2.01 1.83 3/318 9067
/proc/meminfo: memFree=27050828/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=779032 CPUtime=162.26 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 495997 0 0 0 16159 67 0 0 25 0 1 0 643352257 797728768 193195 33554432000 134512640 135151029 4292324176 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 194758 193195 80 156 0 194601 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 779032

[startup+222.301 s]
/proc/loadavg: 2.01 2.01 1.84 3/318 9068
/proc/meminfo: memFree=26798964/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1021964 CPUtime=222.26 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 657828 0 0 0 22137 89 0 0 25 0 1 0 643352257 1046491136 254014 33554432000 134512640 135151029 4292324176 18446744073709551615 134554650 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 255491 254014 80 156 0 255334 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1021964

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.84 3/318 9070
/proc/meminfo: memFree=26715328/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1104428 CPUtime=282.26 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 821067 0 0 0 28117 109 0 0 25 0 1 0 643352257 1130934272 274981 33554432000 134512640 135151029 4292324176 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 276107 274981 80 156 0 275950 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 1104428

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.85 3/318 9071
/proc/meminfo: memFree=26543148/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1277832 CPUtime=342.27 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 863789 0 0 0 34111 116 0 0 25 0 1 0 643352257 1308499968 317703 33554432000 134512640 135151029 4292324176 18446744073709551615 134574250 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 319458 317703 80 156 0 319301 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 1277832

[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.86 3/318 9073
/proc/meminfo: memFree=26488028/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1332228 CPUtime=402.27 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 1021117 0 0 0 40091 136 0 0 25 0 1 0 643352257 1364201472 332010 33554432000 134512640 135151029 4292324176 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 333057 332010 80 156 0 332900 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 1332228

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/318 9075
/proc/meminfo: memFree=26352424/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1468164 CPUtime=462.27 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 1054508 0 0 0 46086 141 0 0 25 0 1 0 643352257 1503399936 365401 33554432000 134512640 135151029 4292324176 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 367041 365401 80 156 0 366884 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 1468164

[startup+522.301 s]
/proc/loadavg: 2.05 2.01 1.87 3/318 9076
/proc/meminfo: memFree=26310216/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1640224 CPUtime=522.27 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 1224044 0 0 0 52064 163 0 0 25 0 1 0 643352257 1679589376 408838 33554432000 134512640 135151029 4292324176 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 410056 408838 80 156 0 409899 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 1640224

[startup+582.301 s]
/proc/loadavg: 2.02 2.01 1.88 3/318 9078
/proc/meminfo: memFree=26049772/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=1767688 CPUtime=582.27 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 1304752 0 0 0 58053 174 0 0 25 0 1 0 643352257 1810112512 440392 33554432000 134512640 135151029 4292324176 18446744073709551615 134567969 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 441922 440392 80 156 0 441765 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 1767688

[startup+642.301 s]

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

[pid=9061] ppid=9059 vsize=3031228 CPUtime=1542.3 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2436461 0 0 0 153907 323 0 0 25 0 1 0 643352257 3103977472 754862 33554432000 134512640 135151029 4292324176 18446744073709551615 134554785 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 757807 754862 80 156 0 757650 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 3031228

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/318 9106
/proc/meminfo: memFree=24708392/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3117848 CPUtime=1602.3 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2457599 0 0 0 159904 326 0 0 25 0 1 0 643352257 3192676352 776000 33554432000 134512640 135151029 4292324176 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 779462 776000 80 156 0 779305 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 3117848

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/318 9108
/proc/meminfo: memFree=24627872/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3198768 CPUtime=1662.3 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2477523 0 0 0 165901 329 0 0 25 0 1 0 643352257 3275538432 795924 33554432000 134512640 135151029 4292324176 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 799692 795924 80 156 0 799535 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3198768

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/318 9109
/proc/meminfo: memFree=24583164/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3243420 CPUtime=1722.3 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2488546 0 0 0 171899 331 0 0 25 0 1 0 643352257 3321262080 806947 33554432000 134512640 135151029 4292324176 18446744073709551615 134520448 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 810855 806947 80 156 0 810698 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 3243420

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/318 9111
/proc/meminfo: memFree=24442616/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3377984 CPUtime=1782.3 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2759735 0 0 0 177865 365 0 0 25 0 1 0 643352257 3459055616 841785 33554432000 134512640 135151029 4292324176 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 844496 841785 80 156 0 844339 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 3377984

[startup+1842.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/318 9112
/proc/meminfo: memFree=24585148/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3246908 CPUtime=1842.31 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2760574 0 0 0 183865 366 0 0 25 0 1 0 643352257 3324833792 809855 33554432000 134512640 135151029 4292324176 18446744073709551615 134554664 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 811727 809855 80 156 0 811570 0
Current children cumulated CPU time (s) 1842.31
Current children cumulated vsize (KiB) 3246908

[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/318 9141
/proc/meminfo: memFree=25321848/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3246908 CPUtime=1902.3 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2760639 0 0 0 189863 367 0 0 25 0 1 0 643352257 3324833792 809920 33554432000 134512640 135151029 4292324176 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 811727 809920 80 156 0 811570 0
Current children cumulated CPU time (s) 1902.3
Current children cumulated vsize (KiB) 3246908

[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/318 9143
/proc/meminfo: memFree=25290684/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3257352 CPUtime=1962.31 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2763220 0 0 0 195864 367 0 0 25 0 1 0 643352257 3335528448 812501 33554432000 134512640 135151029 4292324176 18446744073709551615 134580711 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 814338 812501 80 156 0 814181 0
Current children cumulated CPU time (s) 1962.31
Current children cumulated vsize (KiB) 3257352

[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/318 9144
/proc/meminfo: memFree=25241264/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3292880 CPUtime=2022.31 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2772034 0 0 0 201862 369 0 0 25 0 1 0 643352257 3371909120 821315 33554432000 134512640 135151029 4292324176 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 823220 821315 80 156 0 823063 0
Current children cumulated CPU time (s) 2022.31
Current children cumulated vsize (KiB) 3292880

[startup+2082.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/318 9146
/proc/meminfo: memFree=25089424/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3430004 CPUtime=2082.32 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2806053 0 0 0 207858 374 0 0 25 0 1 0 643352257 3512324096 855334 33554432000 134512640 135151029 4292324176 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 857501 855334 80 156 0 857344 0
Current children cumulated CPU time (s) 2082.32
Current children cumulated vsize (KiB) 3430004

[startup+2142.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/318 9147
/proc/meminfo: memFree=25044724/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3465060 CPUtime=2142.31 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2814707 0 0 0 213855 376 0 0 25 0 1 0 643352257 3548221440 863988 33554432000 134512640 135151029 4292324176 18446744073709551615 134520448 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 866265 863988 80 156 0 866108 0
Current children cumulated CPU time (s) 2142.31
Current children cumulated vsize (KiB) 3465060

[startup+2202.3 s]
/proc/loadavg: 2.07 2.02 1.94 3/318 9149
/proc/meminfo: memFree=25018152/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3482052 CPUtime=2202.31 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2818958 0 0 0 219854 377 0 0 25 0 1 0 643352257 3565621248 868239 33554432000 134512640 135151029 4292324176 18446744073709551615 134575850 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 870513 868239 80 156 0 870356 0
Current children cumulated CPU time (s) 2202.31
Current children cumulated vsize (KiB) 3482052

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

[startup+2214.31 s]
/proc/loadavg: 2.05 2.02 1.94 3/318 9149
/proc/meminfo: memFree=25017764/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3482052 CPUtime=2214.32 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2818962 0 0 0 221055 377 0 0 25 0 1 0 643352257 3565621248 868243 33554432000 134512640 135151029 4292324176 18446744073709551615 134581738 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 870513 868243 80 156 0 870356 0
Current children cumulated CPU time (s) 2214.32
Current children cumulated vsize (KiB) 3482052

[startup+2227.1 s]
/proc/loadavg: 2.04 2.02 1.94 3/318 9150
/proc/meminfo: memFree=25017764/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3482052 CPUtime=2227.11 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4202496 2818964 0 0 0 222334 377 0 0 25 0 1 0 643352257 3565621248 868245 33554432000 134512640 135151029 4292324176 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 2 0 0 0
/proc/9061/statm: 870513 868245 80 156 0 870356 0
Current children cumulated CPU time (s) 2227.11
Current children cumulated vsize (KiB) 3482052

[startup+2233.5 s]
/proc/loadavg: 2.04 2.02 1.94 2/318 9150
/proc/meminfo: memFree=24269296/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3484248 CPUtime=2233.47 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4204032 2819261 0 0 0 222826 521 0 0 25 0 1 0 643352257 3567869952 868542 33554432000 134512640 135151029 4292324176 18446744073709551615 134586032 0 0 4096 0 0 0 0 17 2 0 0 3
/proc/9061/statm: 871062 868542 81 156 0 870905 0
Current children cumulated CPU time (s) 2233.47
Current children cumulated vsize (KiB) 3484248

[startup+2235.1 s]
/proc/loadavg: 2.04 2.02 1.94 3/318 9150
/proc/meminfo: memFree=22402104/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3484248 CPUtime=2235.05 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4204032 2819261 0 0 0 222826 679 0 0 25 0 1 0 643352257 3567869952 868542 33554432000 134512640 135151029 4292324176 18446744073709551615 134586032 0 0 4096 0 0 0 0 17 2 0 0 6
/proc/9061/statm: 871062 868542 81 156 0 870905 0
Current children cumulated CPU time (s) 2235.05
Current children cumulated vsize (KiB) 3484248

[startup+2236.7 s]
/proc/loadavg: 2.04 2.02 1.94 3/318 9150
/proc/meminfo: memFree=21480532/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3484248 CPUtime=2236.14 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) D 9059 9061 8869 0 -1 4204032 2819261 0 0 0 222826 788 0 0 25 0 1 0 643352257 3567869952 868542 33554432000 134512640 135151029 4292324176 18446744073709551615 134586032 0 0 4096 0 18446744071562154983 0 0 17 2 0 0 9
/proc/9061/statm: 871062 868542 81 156 0 870905 0
Current children cumulated CPU time (s) 2236.14
Current children cumulated vsize (KiB) 3484248

[startup+2237.1 s]
/proc/loadavg: 2.04 2.02 1.94 3/318 9150
/proc/meminfo: memFree=21480532/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=3484248 CPUtime=2236.16 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4204032 2819261 0 0 0 222826 790 0 0 18 0 1 0 643352257 3567869952 868542 33554432000 134512640 135151029 4292324176 18446744073709551615 134586032 0 0 4096 0 0 0 0 17 2 0 0 94
/proc/9061/statm: 871062 868542 81 156 0 870905 0
Current children cumulated CPU time (s) 2236.16
Current children cumulated vsize (KiB) 3484248

[startup+2237.3 s]
/proc/loadavg: 2.04 2.02 1.94 3/318 9150
/proc/meminfo: memFree=23976528/32950928 swapFree=60199044/67111528
[pid=9061] ppid=9059 vsize=0 CPUtime=2236.36 cores=0,2,4,6
/proc/9061/stat : 9061 (precosat) R 9059 9061 8869 0 -1 4204036 2819261 0 0 0 222826 810 0 0 18 0 1 0 643352257 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 94
/proc/9061/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 2236.36
Current children cumulated vsize (KiB) 0

Child ended because it received signal 6 (SIGABRT)
Child dumped core
Real time (s): 2237.33
CPU time (s): 2236.4
CPU user time (s): 2228.27
CPU system time (s): 8.13176
CPU usage (%): 99.9584
Max. virtual memory (cumulated for all children) (KiB): 3484248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2228.27
system time used= 8.13176
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2819261
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= 19
involuntary context switches= 3665

runsolver used 6.91395 second user time and 15.4736 second system time

The end

Launcher Data 

Begin job on node122 at 2011-05-13 22:12:15
IDJOB=3365739
IDBENCH=82394
IDSOLVER=1843
FILE ID=node122/3365739-1305317533
RUNJOBID= node122-1305315246-8887
PBS_JOBID= 13324310
Free space on /tmp= 43712 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/rintanen/SATPlanning/sokoban-sequential-p145-microban-sequential.080-SAT.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365739-1305317533/watcher-3365739-1305317533 -o /tmp/evaluation-result-3365739-1305317533/solver-3365739-1305317533 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365739-1305317533.cnf

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

MD5SUM BENCH= 1ca09a2b911e29894c6603aee8d3e672
RANDOM SEED=806651846

node122.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.820
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.64
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.820
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.820
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.75
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.820
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.83
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.820
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.820
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.75
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.820
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.820
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	: 5332.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      27816392 kB
Buffers:        214976 kB
Cached:        2923556 kB
SwapCached:      50072 kB
Active:        1639776 kB
Inactive:      3294072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      27816392 kB
SwapTotal:    67111528 kB
SwapFree:     60199044 kB
Dirty:           51224 kB
Writeback:           0 kB
AnonPages:     1756064 kB
Mapped:          14236 kB
Slab:           104420 kB
PageTables:      32896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 53242256 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= 40432 MiB
End job on node122 at 2011-05-13 22:49:32