Trace number 3365925

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 236? (TO) 5000.07 4999.92

General information on the benchmark

Nameapplication/kullmann/AES/Benchmarks/
128/aes_128_10_keyfind_1.cnf
MD5SUMf35f3aee72237c1bf3d673feb4883756
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8080
Number of clauses96704
Sum of the clauses size539496
Maximum clause length8
Minimum clause length1
Number of clauses of size 1336
Number of clauses of size 21152
Number of clauses of size 315040
Number of clauses of size 42944
Number of clauses of size 518432
Number of clauses of size over 558800

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-3365925-1305320336.cnf
0.00/0.00	c found header 'p cnf 8080 96704'
0.00/0.06	c finished parsing
0.00/0.06	c
0.00/0.06	c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.00/0.06	c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.00/0.06	c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.00/0.06	c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.00/0.06	c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.00/0.06	c --random=1 --spread=2000 --seed=0 --skip=25
0.00/0.06	c
0.00/0.06	c sizeof     vars[0] = 16   alignment = 0       0 MB
0.00/0.06	c sizeof     orgs[0] =  8   alignment = 0       0 MB
0.00/0.06	c sizeof     occs[0] =  8   alignment = 0       0 MB
0.00/0.06	c sizeof iirfs[0..1] =  8   alignment = 0       0 MB
0.00/0.06	c
0.00/0.06	c starting search after 0.1 seconds
0.00/0.06	c no decision limit
0.00/0.06	c
0.00/0.06	c       original/binary      fixed     eliminated      learned       agility
0.00/0.06	c   seconds        variables     equivalent    conflicts       height       MB
0.00/0.06	c
0.00/0.06	c *    0.1    96048    7168    336   576      0       0      0    0.0   0    7
0.39/0.46	c s    0.5    93872    6912    336   832      0       0      0    0.0   0    7
0.39/0.46	c l    0.5    93872    6912    336   832      0       0  93872    0.0   0    7
0.39/0.47	c R    0.5    93872    6912    336   832      0     100    100  682.8   9    7
0.39/0.47	c R    0.5    93872    6912    336   832      0     200    200  737.2   4    7
0.39/0.49	c R    0.5    93872    6912    336   832      0     802    802  676.4  20    8
0.39/0.50	c B    0.5    93872    6912    336   832      0    1001   1001  661.4  24    8
0.49/0.52	c B    0.5    93872    6912    336   832      0    2001   2001  646.8  15    8
0.49/0.53	c R    0.5    93872    6912    336   832      0    2404   2404  656.1  14    8
0.59/0.64	c R    0.6    93872    6912    336   832      0    6412   6412  650.2  25    8
0.59/0.68	c B    0.7    93873    6912    336   832      0    8002   8001  654.1  20    9
0.89/0.92	c N    0.9    93874    6912    336   832      0   16032  16030  670.9  34   10
1.10/1.17	c B    1.2    93874    6912    336   832      0   24010  24008  662.0  20   12
1.59/1.68	c N    1.7    93874    6912    336   832      0   38469  38467  644.7  25   14
2.39/2.46	c s    2.5    93876    6907    336   837      0   57022  56997  635.9   6   13
2.59/2.68	c B    2.7    93893    6902    336   842      0   64020  63978  640.7  24   16
3.79/3.86	c R    3.9    93896    6900    336   844      0   89745  89700  627.9  18   21
3.99/4.02	c +    4.0    93900    6896    336   848      0   93873 103259  627.5  25   22
5.09/5.13	c +    5.1    93949    6883    336   861      0  117341 113584  623.9  23   24
6.89/6.96	c
6.89/6.96	c       original/binary      fixed     eliminated      learned       agility
6.89/6.96	c   seconds        variables     equivalent    conflicts       height       MB
6.89/6.96	c
6.89/6.96	c +    7.0    93951    6881    336   863      0  146676 124942  617.3  28   27
8.09/8.17	c s    8.2    93895    6881    336   863      0  159656 125220  617.1  31   23
8.19/8.22	c B    8.2    93895    6881    336   863      0  160041 125152  616.5  30   24
9.59/9.66	c +    9.7    93896    6880    336   864      0  183346 137436  613.6  30   28
10.19/10.28	c N   10.3    93969    6853    336   891      0  205124 141149  607.3  40   31
11.09/11.16	c +   11.2    94023    6828    336   916      0  229181 151179  602.2  37   33
15.30/15.35	c +   15.4    94026    6825    336   919      0  286475 166296  596.6  16   34
18.19/18.20	c s   18.2    93914    6825    336   919      0  316489 166510  593.8  48   29
21.69/21.72	c +   21.7    93914    6825    336   919      0  358090 182925  588.2  35   37
22.79/22.83	c B   22.8    93919    6821    336   923      0  384076 184111  583.2  37   41
31.09/31.15	c +   31.2    93948    6797    336   947      0  447610 201217  576.4  30   47
31.69/31.76	c N   31.8    93950    6795    336   949      0  461460 218525  574.1  30   49
34.19/34.21	c s   34.2    93873    6788    336   956      0  502424 258472  567.9  40   44
41.70/41.71	c +   41.7    93873    6788    336   956      0  559513 221338  566.3  42   44
177.19/177.27	c +  177.3    93873    6788    336   956      0  699390 243471  558.9  50   66
756.31/756.35	c +  756.4    93873    6788    336   956      0  874235 267818  548.6  51  145
849.32/849.38	c B  849.4    93873    6788    336   956      0  896152 364477  547.4  51  156
1008.22/1008.20	c s 1008.2    93874    6788    336   956      0  943421 210878  545.6  38   82
1083.12/1083.11	c N 1083.1    93874    6788    336   956      0 1025196 267885  540.9  49  104
1107.63/1107.63	c
1107.63/1107.63	c       original/binary      fixed     eliminated      learned       agility
1107.63/1107.63	c   seconds        variables     equivalent    conflicts       height       MB
1107.63/1107.63	c
1107.63/1107.63	c + 1107.7    93874    6788    336   956      0 1092791 294599  536.2  43   93
1488.04/1488.02	c + 1488.1    93874    6788    336   956      0 1365986 324058  523.7  41  123
1548.94/1548.95	c s 1549.0    93869    6787    336   957      0 1583751 324879  514.6  48   71
1583.54/1583.51	c + 1583.6    93874    6782    336   962      0 1707482 356463  515.2  49   75
1621.84/1621.83	c s 1621.9    93864    6782    336   962      0 1791755 356506  512.6  44   65
1692.44/1692.41	c s 1692.5    93857    6780    336   964      0 1980243 356538  507.7  50   68
1707.94/1707.90	c B 1708.0    93857    6780    336   964      0 2048315 356832  506.5  42   81
1731.94/1731.93	c + 1732.0    93857    6780    336   964      0 2134351 392109  504.3  41   87
1808.36/1808.39	c N 1808.5    93857    6780    336   964      0 2255237 469143  500.2  49  128
1823.65/1823.60	c s 1823.7    93858    6780    336   964      0 2271062 484967  499.6  43  111
1932.45/1932.45	c s 1932.5    93855    6779    336   965      0 2428235 479862  495.2  44  117
2473.77/2473.73	c + 2473.8    93855    6779    336   965      0 2667937 431319  489.9  32   83
2475.17/2475.10	c s 2475.2    93856    6779    336   965      0 2676267 320523  490.8  19   77
4004.82/4004.71	c + 4004.8    93856    6779    336   965      0 3334920 474450  475.1  41  117
4408.94/4408.85	c s 4409.0    93851    6778    336   966      0 3610273 474869  469.3  11  135
5000.06/4999.91	c
5000.06/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.06/4999.91	c
5000.06/4999.91	c 4151846 conflicts, 13603637 decisions, 372 random
5000.06/4999.91	c 0 iterations, 553 restarts, 6768 skipped
5000.06/4999.91	c 17 enlarged, 48 shrunken, 40578 rescored, 1018 rebiased
5000.06/4999.91	c 13 simplifications, 3 reductions
5000.06/4999.91	c
5000.06/4999.91	c vars: 336 fixed, 966 equiv, 0 elim, 966 merged
5000.06/4999.91	c elim: 3877883 resolutions, 12 phases, 6 rounds
5000.06/4999.91	c sbst: 0% substituted, 0.0% nots, 0.0% ands, 0.0% xors, 0.0% ites
5000.06/4999.91	c arty: 0.00 and 0.00 xor average arity
5000.06/4999.91	c prbe: 749674 probed, 55 phases, 55 rounds
5000.06/4999.91	c prbe: 0 failed, 0 lifted, 0 merged
5000.06/4999.91	c sccs: 0 non trivial, 0 fixed, 0 merged
5000.06/4999.91	c hash: 0 units, 966 merged
5000.06/4999.91	c mins: 219074657 learned, 7% deleted, 379 strong, 165 depth
5000.06/4999.91	c subs: 36 forward, 36 backward, 512 doms
5000.06/4999.91	c strs: 0 forward, 0 backward
5000.06/4999.91	c doms: 512 dominators, 0 high, 0 low
5000.06/4999.91	c prps: 636072584 propagations, 0.13 megaprops
5000.06/4999.91	c
5000.06/4999.91	c 5000.1 seconds, 189 MB max, 812 MB recycled
5000.06/4999.91	c
5000.06/4999.91	c *** CAUGHT SIGNAL 15 ***
5000.06/4999.91	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-3365925-1305320336/watcher-3365925-1305320336 -o /tmp/evaluation-result-3365925-1305320336/solver-3365925-1305320336 -C 5000 -W 5100 -M 15500 HOME/precosat HOME/instance-3365925-1305320336.cnf 

running on 4 cores: 1,3,5,7

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: 1.99 2.01 1.95 2/274 26075
/proc/meminfo: memFree=16200792/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=2408 CPUtime=0 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 523 0 0 0 0 0 0 0 23 0 1 0 722264173 2465792 480 33554432000 134512640 135151029 4289696944 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 602 481 65 156 0 445 0

[startup+0.0680801 s]
/proc/loadavg: 1.99 2.01 1.95 2/274 26075
/proc/meminfo: memFree=16200792/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=8740 CPUtime=0.06 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 2108 0 0 0 6 0 0 0 23 0 1 0 722264173 8949760 2064 33554432000 134512640 135151029 4289696944 18446744073709551615 134542496 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 2185 2068 79 156 0 2028 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8740

[startup+0.10108 s]
/proc/loadavg: 1.99 2.01 1.95 2/274 26075
/proc/meminfo: memFree=16200792/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=8800 CPUtime=0.09 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 2479 0 0 0 9 0 0 0 24 0 1 0 722264173 9011200 2105 33554432000 134512640 135151029 4289696944 18446744073709551615 134580043 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 2200 2105 80 156 0 2043 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8800

[startup+0.301043 s]
/proc/loadavg: 1.99 2.01 1.95 2/274 26075
/proc/meminfo: memFree=16200792/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=12616 CPUtime=0.29 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 3412 0 0 0 29 0 0 0 25 0 1 0 722264173 12918784 3038 33554432000 134512640 135151029 4289696944 18446744073709551615 134526328 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 3154 3038 80 156 0 2997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12616

[startup+0.700968 s]
/proc/loadavg: 1.99 2.01 1.95 2/274 26075
/proc/meminfo: memFree=16200792/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=12616 CPUtime=0.69 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 3412 0 0 0 69 0 0 0 25 0 1 0 722264173 12918784 3038 33554432000 134512640 135151029 4289696944 18446744073709551615 134555042 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 3154 3038 80 156 0 2997 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12616

[startup+1.50082 s]
/proc/loadavg: 1.99 2.01 1.95 3/275 26076
/proc/meminfo: memFree=16184796/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=15124 CPUtime=1.49 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 4038 0 0 0 149 0 0 0 25 0 1 0 722264173 15486976 3664 33554432000 134512640 135151029 4289696944 18446744073709551615 134552227 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 3781 3664 80 156 0 3624 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15124

[startup+3.10053 s]
/proc/loadavg: 1.99 2.01 1.95 3/275 26076
/proc/meminfo: memFree=16179508/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=21164 CPUtime=3.09 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 5566 0 0 0 308 1 0 0 25 0 1 0 722264173 21671936 5190 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 5291 5190 80 156 0 5134 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21164

[startup+6.30095 s]
/proc/loadavg: 1.99 2.01 1.95 3/275 26076
/proc/meminfo: memFree=16168720/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=29116 CPUtime=6.29 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 7558 0 0 0 628 1 0 0 25 0 1 0 722264173 29814784 7182 33554432000 134512640 135151029 4289696944 18446744073709551615 134530816 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 7279 7182 80 156 0 7122 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29116

[startup+12.7008 s]
/proc/loadavg: 1.99 2.01 1.95 3/275 26076
/proc/meminfo: memFree=16158652/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=37988 CPUtime=12.69 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 9781 0 0 0 1268 1 0 0 25 0 1 0 722264173 38899712 9405 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 9497 9405 80 156 0 9340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37988

[startup+25.5004 s]
/proc/loadavg: 1.99 2.01 1.95 3/275 26077
/proc/meminfo: memFree=16153824/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=46708 CPUtime=25.49 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 11997 0 0 0 2547 2 0 0 25 0 1 0 722264173 47828992 11516 33554432000 134512640 135151029 4289696944 18446744073709551615 134554825 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 11677 11516 80 156 0 11520 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 46708

[startup+51.1007 s]
/proc/loadavg: 1.99 2.01 1.95 3/275 26077
/proc/meminfo: memFree=16136616/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=60032 CPUtime=51.09 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 15337 0 0 0 5106 3 0 0 25 0 1 0 722264173 61472768 14856 33554432000 134512640 135151029 4289696944 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 15008 14856 80 156 0 14851 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 60032

[startup+102.31 s]
/proc/loadavg: 1.99 2.00 1.95 3/275 26079
/proc/meminfo: memFree=16136588/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=63056 CPUtime=102.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 16063 0 0 0 10227 3 0 0 25 0 1 0 722264173 64569344 15582 33554432000 134512640 135151029 4289696944 18446744073709551615 134554859 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 15764 15582 80 156 0 15607 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 63056

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.95 3/275 26089
/proc/meminfo: memFree=16125084/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=71036 CPUtime=162.29 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 17931 0 0 0 16224 5 0 0 25 0 1 0 722264173 72740864 17450 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 17759 17450 80 156 0 17602 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 71036

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/275 26091
/proc/meminfo: memFree=16120100/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=79852 CPUtime=222.29 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 20052 0 0 0 22223 6 0 0 25 0 1 0 722264173 81768448 19571 33554432000 134512640 135151029 4289696944 18446744073709551615 134554890 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 19963 19571 80 156 0 19806 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 79852

[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/275 26093
/proc/meminfo: memFree=16110132/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=86480 CPUtime=282.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 21679 0 0 0 28223 7 0 0 25 0 1 0 722264173 88555520 21198 33554432000 134512640 135151029 4289696944 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 21620 21198 80 156 0 21463 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 86480

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/275 26094
/proc/meminfo: memFree=16101436/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=95404 CPUtime=342.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 23784 0 0 0 34222 8 0 0 25 0 1 0 722264173 97693696 23303 33554432000 134512640 135151029 4289696944 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 23851 23303 80 156 0 23694 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 95404

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/275 26096
/proc/meminfo: memFree=16093336/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=104304 CPUtime=402.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 25903 0 0 0 40221 9 0 0 25 0 1 0 722264173 106807296 25422 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 26076 25422 80 156 0 25919 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 104304

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/275 26097
/proc/meminfo: memFree=16083136/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=114988 CPUtime=462.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 28424 0 0 0 46219 11 0 0 25 0 1 0 722264173 117747712 27943 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 28747 27943 80 156 0 28590 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 114988

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/275 26099
/proc/meminfo: memFree=16074168/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=124120 CPUtime=522.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 30700 0 0 0 52218 12 0 0 25 0 1 0 722264173 127098880 30219 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 31030 30219 80 156 0 30873 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 124120

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/275 26101
/proc/meminfo: memFree=16059012/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=134132 CPUtime=582.3 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 33041 0 0 0 58217 13 0 0 25 0 1 0 722264173 137351168 32560 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 33533 32560 80 156 0 33376 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 134132

[startup+642.3 s]

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

[startup+4062.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/275 26233
/proc/meminfo: memFree=15214568/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=184900 CPUtime=4062.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52587 0 0 0 406217 26 0 0 25 0 1 0 722264173 189337600 46076 33554432000 134512640 135151029 4289696944 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46225 46076 80 156 0 46068 0
Current children cumulated CPU time (s) 4062.43
Current children cumulated vsize (KiB) 184900

[startup+4122.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/275 26235
/proc/meminfo: memFree=15043876/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=184900 CPUtime=4122.42 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52587 0 0 0 412216 26 0 0 25 0 1 0 722264173 189337600 46076 33554432000 134512640 135151029 4289696944 18446744073709551615 134574580 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46225 46076 80 156 0 46068 0
Current children cumulated CPU time (s) 4122.42
Current children cumulated vsize (KiB) 184900

[startup+4182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/275 26237
/proc/meminfo: memFree=14864892/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=184900 CPUtime=4182.42 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52592 0 0 0 418216 26 0 0 25 0 1 0 722264173 189337600 46081 33554432000 134512640 135151029 4289696944 18446744073709551615 134520151 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46225 46081 80 156 0 46068 0
Current children cumulated CPU time (s) 4182.42
Current children cumulated vsize (KiB) 184900

[startup+4242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/275 26238
/proc/meminfo: memFree=14735744/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=184900 CPUtime=4242.42 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52592 0 0 0 424216 26 0 0 25 0 1 0 722264173 189337600 46081 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46225 46081 80 156 0 46068 0
Current children cumulated CPU time (s) 4242.42
Current children cumulated vsize (KiB) 184900

[startup+4302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26240
/proc/meminfo: memFree=14697652/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=185416 CPUtime=4302.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52675 0 0 0 430217 26 0 0 25 0 1 0 722264173 189865984 46164 33554432000 134512640 135151029 4289696944 18446744073709551615 134555080 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46354 46164 80 156 0 46197 0
Current children cumulated CPU time (s) 4302.43
Current children cumulated vsize (KiB) 185416

[startup+4362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26241
/proc/meminfo: memFree=14697720/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=185416 CPUtime=4362.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52698 0 0 0 436217 26 0 0 25 0 1 0 722264173 189865984 46187 33554432000 134512640 135151029 4289696944 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46354 46187 80 156 0 46197 0
Current children cumulated CPU time (s) 4362.43
Current children cumulated vsize (KiB) 185416

[startup+4422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26243
/proc/meminfo: memFree=14697416/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=184900 CPUtime=4422.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52763 0 0 0 442217 26 0 0 25 0 1 0 722264173 189337600 46083 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46225 46083 80 156 0 46068 0
Current children cumulated CPU time (s) 4422.43
Current children cumulated vsize (KiB) 184900

[startup+4482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26245
/proc/meminfo: memFree=14697324/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=184900 CPUtime=4482.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52766 0 0 0 448217 26 0 0 25 0 1 0 722264173 189337600 46086 33554432000 134512640 135151029 4289696944 18446744073709551615 134555096 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46225 46086 80 156 0 46068 0
Current children cumulated CPU time (s) 4482.43
Current children cumulated vsize (KiB) 184900

[startup+4542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/275 26246
/proc/meminfo: memFree=14696512/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=185416 CPUtime=4542.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 52862 0 0 0 454217 26 0 0 25 0 1 0 722264173 189865984 46182 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46354 46182 80 156 0 46197 0
Current children cumulated CPU time (s) 4542.43
Current children cumulated vsize (KiB) 185416

[startup+4602.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/275 26248
/proc/meminfo: memFree=14695604/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=186444 CPUtime=4602.44 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 53019 0 0 0 460218 26 0 0 25 0 1 0 722264173 190918656 46339 33554432000 134512640 135151029 4289696944 18446744073709551615 134554774 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 46611 46339 80 156 0 46454 0
Current children cumulated CPU time (s) 4602.44
Current children cumulated vsize (KiB) 186444

[startup+4662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/275 26249
/proc/meminfo: memFree=14693832/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=190232 CPUtime=4662.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 53606 0 0 0 466217 26 0 0 25 0 1 0 722264173 194797568 46926 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 47558 46926 80 156 0 47401 0
Current children cumulated CPU time (s) 4662.43
Current children cumulated vsize (KiB) 190232

[startup+4722.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/275 26251
/proc/meminfo: memFree=14692292/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=192036 CPUtime=4722.45 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 54047 0 0 0 472219 26 0 0 25 0 1 0 722264173 196644864 47367 33554432000 134512640 135151029 4289696944 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 48009 47367 80 156 0 47852 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 192036

[startup+4782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/275 26253
/proc/meminfo: memFree=14689132/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=197180 CPUtime=4782.43 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 54877 0 0 0 478217 26 0 0 25 0 1 0 722264173 201912320 48197 33554432000 134512640 135151029 4289696944 18446744073709551615 134554851 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 49295 48197 80 156 0 49138 0
Current children cumulated CPU time (s) 4782.43
Current children cumulated vsize (KiB) 197180

[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26254
/proc/meminfo: memFree=14686732/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=200272 CPUtime=4842.44 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 55462 0 0 0 484218 26 0 0 25 0 1 0 722264173 205078528 48782 33554432000 134512640 135151029 4289696944 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 50068 48782 80 156 0 49911 0
Current children cumulated CPU time (s) 4842.44
Current children cumulated vsize (KiB) 200272

[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26256
/proc/meminfo: memFree=14684324/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=203360 CPUtime=4902.44 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 56031 0 0 0 490218 26 0 0 25 0 1 0 722264173 208240640 49351 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 50840 49351 80 156 0 50683 0
Current children cumulated CPU time (s) 4902.44
Current children cumulated vsize (KiB) 203360

[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26257
/proc/meminfo: memFree=14682800/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=205420 CPUtime=4962.45 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 56447 0 0 0 496218 27 0 0 25 0 1 0 722264173 210350080 49767 33554432000 134512640 135151029 4289696944 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 51355 49767 80 156 0 51198 0
Current children cumulated CPU time (s) 4962.45
Current children cumulated vsize (KiB) 205420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26258
/proc/meminfo: memFree=14681772/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=206448 CPUtime=5000.06 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 56619 0 0 0 499979 27 0 0 25 0 1 0 722264173 211402752 49939 33554432000 134512640 135151029 4289696944 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 51612 49939 80 156 0 51455 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 206448

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/275 26258
/proc/meminfo: memFree=14681772/32951124 swapFree=67083432/67111528
[pid=26075] ppid=26073 vsize=206448 CPUtime=5000.06 cores=1,3,5,7
/proc/26075/stat : 26075 (precosat) R 26073 26075 25834 0 -1 4202496 56619 0 0 0 499979 27 0 0 25 0 1 0 722264173 211402752 49939 33554432000 134512640 135151029 4289696944 18446744073709551615 134554752 0 0 4096 17442 0 0 0 17 1 0 0 0
/proc/26075/statm: 51612 49939 80 156 0 51455 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 206448

Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.92
CPU time (s): 5000.07
CPU user time (s): 4999.79
CPU system time (s): 0.280957
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 206448

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

runsolver used 12.0212 second user time and 28.8996 second system time

The end

Launcher Data 

Begin job on node110 at 2011-05-13 22:58:56
IDJOB=3365925
IDBENCH=83413
IDSOLVER=1843
FILE ID=node110/3365925-1305320336
RUNJOBID= node110-1305315333-25853
PBS_JOBID= 13324322
Free space on /tmp= 50440 MiB

SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/kullmann/AES/Benchmarks/128/aes_128_10_keyfind_1.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3365925-1305320336/watcher-3365925-1305320336 -o /tmp/evaluation-result-3365925-1305320336/solver-3365925-1305320336 -C 5000 -W 5100 -M 15500  HOME/precosat HOME/instance-3365925-1305320336.cnf

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

MD5SUM BENCH= f35f3aee72237c1bf3d673feb4883756
RANDOM SEED=875929344

node110.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.830
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.66
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.830
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.83
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.830
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.830
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.830
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.76
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.830
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.83
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.830
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.74
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.830
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      16201080 kB
Buffers:        239112 kB
Cached:       12563664 kB
SwapCached:       1440 kB
Active:        4755956 kB
Inactive:     11392444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16201080 kB
SwapTotal:    67111528 kB
SwapFree:     67083432 kB
Dirty:            3944 kB
Writeback:           0 kB
AnonPages:     3343616 kB
Mapped:          23312 kB
Slab:           517564 kB
PageTables:      21016 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 46321188 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= 50444 MiB
End job on node110 at 2011-05-14 00:22:18