Trace number 3309070
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:
-
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.
-
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.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
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.
-
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
General information on the benchmark
| Name | SAT03/industrial/schuppan/l2s/
dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf |
| MD5SUM | 3fef216b3efe77c0f10ea0e0be664a94 |
| Bench Category | APPLICATION (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 variables | 261352 |
| Number of clauses | 773077 |
| Sum of the clauses size | 1985588 |
| Maximum clause length | 248 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1592 |
| Number of clauses of size 2 | 357488 |
| Number of clauses of size 3 | 413748 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 249 |
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-3309070-1303985967.cnf
0.00/0.00 c found header 'p cnf 261352 773077'
0.89/0.97 c finished parsing
0.89/0.97 c
0.89/0.97 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.89/0.97 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.89/0.97 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.89/0.97 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.89/0.97 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.89/0.97 c --random=1 --spread=2000 --seed=0 --skip=25
0.89/0.97 c
0.89/0.97 c sizeof vars[0] = 16 alignment = 0 4 MB
0.89/0.97 c sizeof orgs[0] = 8 alignment = 0 2 MB
0.89/0.97 c sizeof occs[0] = 8 alignment = 0 2 MB
0.89/0.97 c sizeof iirfs[0..1] = 8 alignment = 0 2 MB
0.89/0.97 c
0.89/0.97 c starting search after 1.0 seconds
0.89/0.97 c no decision limit
0.99/1.01 c
0.99/1.01 c original/binary fixed eliminated learned agility
0.99/1.01 c seconds variables equivalent conflicts height MB
0.99/1.01 c
0.99/1.01 c * 1.0 769464 245673 1693 13986 0 0 0 0.0 0 65
7.70/7.78 c s 7.8 317411 56823 2439 67076 135014 0 0 0.0 0 47
7.70/7.78 c l 7.8 317411 56823 2439 67076 135014 0 271476 0.0 0 47
8.69/8.75 c R 8.8 357279 56593 2665 67080 135014 311 286 803.3 4 51
8.99/9.09 c R 9.1 359986 56593 2665 67080 135014 411 386 789.8 2 52
10.29/10.35 c B 10.4 377325 56551 2698 67089 135014 1000 964 1036.9 55 53
11.69/11.79 c B 11.8 419621 56245 2997 67096 135014 2001 1919 1157.9 5 57
11.79/11.80 c R 11.8 419621 56245 2997 67096 135014 2034 1952 1156.8 1 57
14.59/14.60 c s 14.6 396832 54680 3122 67100 136450 2654 2221 1123.5 6 53
14.59/14.60 c - 14.6 396832 54680 3122 67100 136450 2654 257903 1123.5 6 53
22.09/22.12 c s 22.1 463133 54080 3551 67112 136609 7493 6626 960.6 13 57
22.09/22.12 c - 22.1 463133 54080 3551 67112 136609 7493 250166 960.6 13 57
22.09/22.15 c R 22.2 463252 54080 3551 67112 136609 7539 6669 959.8 5 58
22.99/23.00 c B 23.0 466380 54064 3567 67112 136609 8004 7132 952.3 3 58
30.89/30.93 c s 30.9 628159 53731 3811 67145 136665 15274 14189 872.3 4 70
30.89/30.93 c - 30.9 628159 53731 3811 67145 136665 15274 245163 872.3 4 70
36.58/36.62 c B 36.6 732574 53579 3941 67167 136665 24009 22893 824.1 13 79
38.18/38.28 c R 38.3 746942 53467 4051 67169 136665 26818 25695 810.2 8 81
43.19/43.22 c s 43.2 757699 53312 4111 67191 136738 29870 26620 783.2 3 79
43.19/43.22 c
43.19/43.22 c original/binary fixed eliminated learned agility
43.19/43.22 c seconds variables equivalent conflicts height MB
43.19/43.22 c
43.19/43.22 c - 43.2 757699 53312 4111 67191 136738 29870 237809 783.2 3 79
59.19/59.23 c s 59.2 1093945 52951 4431 67232 136738 44313 40844 731.4 1 104
59.19/59.23 c - 59.2 1093945 52951 4431 67232 136738 44313 233053 731.4 1 104
63.89/63.98 c R 64.0 1153662 52950 4432 67232 136738 50123 46646 718.7 5 112
77.88/77.96 c B 78.0 1233666 52896 4486 67232 136738 64015 60531 679.5 12 122
82.49/82.52 c s 82.5 1151222 52336 4506 67241 137269 65646 60570 674.7 4 114
110.98/111.04 c s 111.0 1229467 52149 4553 67246 137404 100237 93039 611.2 2 127
138.98/139.06 c s 139.1 1270040 51994 4637 67307 137414 129000 119724 571.9 18 140
160.27/160.38 c B 160.4 1329989 51917 4694 67327 137414 160036 150748 544.2 6 168
170.98/171.00 c s 171.0 1334236 51829 4753 67336 137434 170368 148779 535.3 0 161
180.38/180.44 c R 180.4 1350782 51821 4760 67337 137434 184543 162953 526.5 6 175
209.08/209.18 c s 209.2 1378017 51784 4778 67356 137434 212089 190392 507.4 1 183
228.17/228.25 c + 228.2 1398375 51780 4779 67359 137434 233055 256358 493.9 7 200
249.17/249.23 c s 249.2 1363394 51546 4786 67363 137657 252970 227722 481.9 1 196
286.07/286.10 c + 286.1 1391514 51504 4816 67375 137657 291317 281993 462.7 3 221
291.77/291.89 c s 291.9 1385079 51494 4816 67378 137664 293613 258981 461.9 6 212
336.47/336.58 c s 336.6 1483552 51433 4844 67409 137666 331656 282365 445.5 0 232
367.17/367.20 c + 367.2 1558832 51392 4880 67414 137666 364147 310192 435.5 6 249
382.56/382.69 c s 382.7 1569582 51379 4886 67418 137669 374858 284439 431.7 2 241
390.76/390.83 c
390.76/390.83 c original/binary fixed eliminated learned agility
390.76/390.83 c seconds variables equivalent conflicts height MB
390.76/390.83 c
390.76/390.83 c B 390.8 1585350 51379 4886 67418 137669 384086 293667 429.7 10 254
392.26/392.33 c R 392.3 1594374 51379 4886 67418 137669 387186 296765 429.4 10 257
434.47/434.51 c s 434.5 1612823 51379 4886 67418 137669 429694 310763 419.1 0 262
458.67/458.70 c + 458.7 1624856 51379 4886 67418 137669 455180 341211 413.3 9 274
490.46/490.51 c s 490.5 1587628 51161 4888 67422 137881 477333 331507 407.7 15 272
555.26/555.35 c s 555.3 1627537 51119 4903 67446 137884 535052 335845 398.6 0 281
596.96/597.03 c + 597.0 1653669 51065 4920 67483 137884 568978 375332 392.4 2 298
618.76/618.88 c s 618.8 1660368 51044 4926 67492 137890 583851 337831 389.5 17 283
675.55/675.61 c s 675.6 1669592 51022 4941 67499 137890 634962 375993 382.7 3 307
741.56/741.65 c s 741.6 1687251 50977 4971 67514 137890 687051 375894 375.4 5 308
771.46/771.51 c + 771.5 1697990 50970 4971 67521 137890 711222 412865 372.1 6 321
807.76/807.85 c s 807.8 1676190 50790 4980 67528 138054 736238 394398 368.2 18 314
877.15/877.22 c s 877.2 1747424 50739 5015 67533 138065 790217 412517 361.6 1 329
939.06/939.19 c s 939.2 1783720 50737 5015 67535 138065 840382 414104 356.2 1 333
973.46/973.55 c R 973.5 1786215 50737 5015 67535 138065 883559 415101 353.9 14 345
976.86/976.96 c + 976.9 1788713 50736 5016 67535 138065 889027 454151 353.7 23 343
984.36/984.43 c B 984.4 1797146 50732 5020 67535 138065 896188 420509 354.1 6 350
1013.36/1013.49 c s 1013.5 1759842 50699 5041 67544 138068 920090 434319 353.7 6 345
1082.66/1082.79 c s 1082.8 1781740 50654 5049 67581 138068 977554 454671 349.9 1 357
1158.27/1158.32 c
1158.27/1158.32 c original/binary fixed eliminated learned agility
1158.27/1158.32 c seconds variables equivalent conflicts height MB
1158.27/1158.32 c
1158.27/1158.32 c s 1158.3 1694504 50438 5063 67596 138255 1039753 447968 346.1 2 343
1231.36/1231.49 c s 1231.5 1707957 50430 5066 67599 138257 1084932 453511 341.9 5 348
1259.77/1259.82 c + 1259.8 1711816 50430 5066 67599 138257 1111282 499566 340.4 4 361
1299.97/1300.00 c
1299.97/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.97/1300.00 c
1299.97/1300.00 c 1136694 conflicts, 5607179 decisions, 2193 random
1299.97/1300.00 c 56 iterations, 3101 restarts, 25 skipped
1299.97/1300.00 c 8 enlarged, 7684 shrunken, 11118 rescored, 301 rebiased
1299.97/1300.00 c 28 simplifications, 0 reductions
1299.97/1300.00 c
1299.97/1300.00 c vars: 5066 fixed, 67599 equiv, 138257 elim, 68038 merged
1299.97/1300.00 c elim: 10305839 resolutions, 28 phases, 6 rounds
1299.97/1300.00 c sbst: 76% substituted, 0.5% nots, 47.5% ands, 43.8% xors, 8.1% ites
1299.97/1300.00 c arty: 2.00 and 2.00 xor average arity
1299.97/1300.00 c prbe: 346215 probed, 1576 phases, 3 rounds
1299.97/1300.00 c prbe: 411 failed, 337 lifted, 1152 merged
1299.97/1300.00 c sccs: 621 non trivial, 1 fixed, 52316 merged
1299.97/1300.00 c hash: 1264 units, 14570 merged
1299.97/1300.00 c mins: 147091444 learned, 40% deleted, 307 strong, 569 depth
1299.97/1300.00 c subs: 9100 forward, 19753 backward, 111679 doms
1299.97/1300.00 c strs: 13931 forward, 703 backward
1299.97/1300.00 c doms: 162418 dominators, 97945 high, 960 low
1299.97/1300.00 c prps: 1786172703 propagations, 1.37 megaprops
1299.97/1300.00 c
1299.97/1300.00 c 1300.0 seconds, 381 MB max, 430 MB recycled
1299.97/1300.00 c
1299.97/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.97/1300.00 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: 935)
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-3309070-1303985967/watcher-3309070-1303985967 -o /tmp/evaluation-result-3309070-1303985967/solver-3309070-1303985967 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309070-1303985967.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.88 2.18 2.46 5/189 14581
/proc/meminfo: memFree=12838292/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=14156 CPUtime=0.02 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 3111 0 0 0 2 0 0 0 23 0 1 0 510194750 14495744 3068 33554432000 134512640 135151029 4287000640 18446744073709551615 134534687 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/14581/statm: 3539 3079 60 156 0 3382 0
[startup+0.115181 s]
/proc/loadavg: 2.88 2.18 2.46 5/189 14581
/proc/meminfo: memFree=12838292/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=29212 CPUtime=0.1 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 7307 0 0 0 10 0 0 0 24 0 1 0 510194750 29913088 7166 33554432000 134512640 135151029 4287000640 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 7303 7166 65 156 0 7146 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29212
[startup+0.20115 s]
/proc/loadavg: 2.88 2.18 2.46 5/189 14581
/proc/meminfo: memFree=12838292/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=34608 CPUtime=0.19 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 8788 0 0 0 18 1 0 0 25 0 1 0 510194750 35438592 8518 33554432000 134512640 135151029 4287000640 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 8652 8518 65 156 0 8495 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 34608
[startup+0.301134 s]
/proc/loadavg: 2.88 2.18 2.46 5/189 14581
/proc/meminfo: memFree=12838292/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=40284 CPUtime=0.29 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 10224 0 0 0 28 1 0 0 25 0 1 0 510194750 41250816 9954 33554432000 134512640 135151029 4287000640 18446744073709551615 134572611 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 10071 9954 65 156 0 9914 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 40284
[startup+0.701057 s]
/proc/loadavg: 2.88 2.18 2.46 5/189 14581
/proc/meminfo: memFree=12838292/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=65868 CPUtime=0.69 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 16866 0 0 0 67 2 0 0 25 0 1 0 510194750 67448832 16339 33554432000 134512640 135151029 4287000640 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 16467 16339 65 156 0 16310 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 65868
[startup+1.50095 s]
/proc/loadavg: 2.88 2.18 2.46 5/190 14582
/proc/meminfo: memFree=12757808/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=75648 CPUtime=1.49 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 21829 0 0 0 147 2 0 0 25 0 1 0 510194750 77463552 18742 33554432000 134512640 135151029 4287000640 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 18912 18742 80 156 0 18755 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 75648
[startup+3.10065 s]
/proc/loadavg: 2.88 2.18 2.46 5/190 14582
/proc/meminfo: memFree=12746400/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=95560 CPUtime=3.09 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 28128 0 0 0 306 3 0 0 25 0 1 0 510194750 97853440 23661 33554432000 134512640 135151029 4287000640 18446744073709551615 134519498 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 23890 23661 80 156 0 23733 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 95560
[startup+6.30106 s]
/proc/loadavg: 2.97 2.21 2.47 5/190 14582
/proc/meminfo: memFree=12727428/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=106524 CPUtime=6.29 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 30747 0 0 0 626 3 0 0 25 0 1 0 510194750 109080576 26280 33554432000 134512640 135151029 4287000640 18446744073709551615 134548395 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 26631 26280 80 156 0 26474 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 106524
[startup+12.7009 s]
/proc/loadavg: 3.05 2.24 2.48 5/190 14582
/proc/meminfo: memFree=12692728/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=92292 CPUtime=12.69 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 32411 0 0 0 1265 4 0 0 25 0 1 0 510194750 94507008 22753 33554432000 134512640 135151029 4287000640 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 23073 22753 80 156 0 22916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 92292
[startup+25.5006 s]
/proc/loadavg: 3.26 2.33 2.50 5/190 14582
/proc/meminfo: memFree=12700524/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=96392 CPUtime=25.49 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 42668 0 0 0 2544 5 0 0 25 0 1 0 510194750 98705408 23809 33554432000 134512640 135151029 4287000640 18446744073709551615 134542795 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 24098 23809 80 156 0 23941 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 96392
[startup+51.1009 s]
/proc/loadavg: 3.51 2.46 2.54 5/190 14583
/proc/meminfo: memFree=12664540/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=111096 CPUtime=51.09 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 67135 0 0 0 5100 9 0 0 25 0 1 0 510194750 113762304 27417 33554432000 134512640 135151029 4287000640 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 27774 27417 80 156 0 27617 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111096
[startup+102.301 s]
/proc/loadavg: 3.79 2.70 2.62 5/190 14611
/proc/meminfo: memFree=12723624/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=150652 CPUtime=102.29 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 101880 0 0 0 10213 16 0 0 25 0 1 0 510194750 154267648 37328 33554432000 134512640 135151029 4287000640 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 37663 37328 80 156 0 37506 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 150652
[startup+162.301 s]
/proc/loadavg: 3.92 2.93 2.70 5/190 14613
/proc/meminfo: memFree=12610696/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=189728 CPUtime=162.28 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 146738 0 0 0 16203 25 0 0 25 0 1 0 510194750 194281472 47109 33554432000 134512640 135151029 4287000640 18446744073709551615 134578057 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 47432 47109 80 156 0 47275 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 189728
[startup+222.307 s]
/proc/loadavg: 4.00 3.14 2.78 5/190 14615
/proc/meminfo: memFree=12435528/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=218600 CPUtime=222.28 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 195184 0 0 0 22195 33 0 0 25 0 1 0 510194750 223846400 54333 33554432000 134512640 135151029 4287000640 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 54650 54333 80 156 0 54493 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 218600
[startup+282.301 s]
/proc/loadavg: 4.00 3.29 2.86 5/190 14616
/proc/meminfo: memFree=12438064/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=241456 CPUtime=282.27 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 221508 0 0 0 28191 36 0 0 25 0 1 0 510194750 247250944 60046 33554432000 134512640 135151029 4287000640 18446744073709551615 134555008 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 60364 60046 80 156 0 60207 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 241456
[startup+342.301 s]
/proc/loadavg: 4.00 3.42 2.92 5/190 14618
/proc/meminfo: memFree=12382428/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=266108 CPUtime=342.27 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 268881 0 0 0 34182 45 0 0 25 0 1 0 510194750 272494592 66197 33554432000 134512640 135151029 4287000640 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 66527 66197 80 156 0 66370 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 266108
[startup+402.301 s]
/proc/loadavg: 4.03 3.53 2.99 5/190 14619
/proc/meminfo: memFree=12311596/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=292696 CPUtime=402.27 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 296147 0 0 0 40176 51 0 0 25 0 1 0 510194750 299720704 72852 33554432000 134512640 135151029 4287000640 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 73174 72852 80 156 0 73017 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 292696
[startup+462.3 s]
/proc/loadavg: 4.01 3.62 3.05 5/190 14621
/proc/meminfo: memFree=12257180/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=302156 CPUtime=462.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 319136 0 0 0 46172 54 0 0 25 0 1 0 510194750 309407744 75230 33554432000 134512640 135151029 4287000640 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 75539 75230 80 156 0 75382 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 302156
[startup+522.3 s]
/proc/loadavg: 4.00 3.68 3.11 5/190 14623
/proc/meminfo: memFree=12215808/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=318832 CPUtime=522.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 343890 0 0 0 52168 58 0 0 25 0 1 0 510194750 326483968 79373 33554432000 134512640 135151029 4287000640 18446744073709551615 134575907 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 79708 79373 80 156 0 79551 0
Current children cumulated CPU time (s) 522.26
Current children cumulated vsize (KiB) 318832
[startup+582.3 s]
/proc/loadavg: 4.00 3.74 3.16 5/190 14624
/proc/meminfo: memFree=12205156/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=324440 CPUtime=582.25 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 365939 0 0 0 58164 61 0 0 25 0 1 0 510194750 332226560 80802 33554432000 134512640 135151029 4287000640 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 81110 80802 80 156 0 80953 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 324440
[startup+642.301 s]
/proc/loadavg: 4.00 3.78 3.21 5/190 14626
/proc/meminfo: memFree=12095132/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=335568 CPUtime=642.25 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 389331 0 0 0 64160 65 0 0 25 0 1 0 510194750 343621632 83583 33554432000 134512640 135151029 4287000640 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 83892 83583 80 156 0 83735 0
Current children cumulated CPU time (s) 642.25
Current children cumulated vsize (KiB) 335568
[startup+702.301 s]
/proc/loadavg: 4.00 3.82 3.26 5/190 14627
/proc/meminfo: memFree=12102776/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=350048 CPUtime=702.25 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 413589 0 0 0 70155 70 0 0 25 0 1 0 510194750 358449152 87230 33554432000 134512640 135151029 4287000640 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 87512 87230 80 156 0 87355 0
Current children cumulated CPU time (s) 702.25
Current children cumulated vsize (KiB) 350048
[startup+762.301 s]
/proc/loadavg: 4.04 3.86 3.31 5/190 14629
/proc/meminfo: memFree=12092084/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=350336 CPUtime=762.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 434255 0 0 0 76153 73 0 0 25 0 1 0 510194750 358744064 87285 33554432000 134512640 135151029 4287000640 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 87584 87285 80 156 0 87427 0
Current children cumulated CPU time (s) 762.26
Current children cumulated vsize (KiB) 350336
[startup+822.301 s]
/proc/loadavg: 4.01 3.89 3.35 5/190 14631
/proc/meminfo: memFree=12068504/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=367752 CPUtime=822.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 459191 0 0 0 82149 77 0 0 25 0 1 0 510194750 376578048 91610 33554432000 134512640 135151029 4287000640 18446744073709551615 134554866 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 91938 91610 80 156 0 91781 0
Current children cumulated CPU time (s) 822.26
Current children cumulated vsize (KiB) 367752
[startup+882.307 s]
/proc/loadavg: 4.00 3.90 3.39 5/190 14632
/proc/meminfo: memFree=11985784/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=374452 CPUtime=882.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 481477 0 0 0 88146 80 0 0 25 0 1 0 510194750 383438848 93285 33554432000 134512640 135151029 4287000640 18446744073709551615 134574578 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 93613 93285 80 156 0 93456 0
Current children cumulated CPU time (s) 882.26
Current children cumulated vsize (KiB) 374452
[startup+942.301 s]
/proc/loadavg: 4.09 3.95 3.43 5/190 14634
/proc/meminfo: memFree=11984280/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=378656 CPUtime=942.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 503162 0 0 0 94142 84 0 0 25 0 1 0 510194750 387743744 94359 33554432000 134512640 135151029 4287000640 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 94664 94359 80 156 0 94507 0
Current children cumulated CPU time (s) 942.26
Current children cumulated vsize (KiB) 378656
[startup+1002.3 s]
/proc/loadavg: 4.03 3.95 3.47 5/190 14635
/proc/meminfo: memFree=11951160/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=394440 CPUtime=1002.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 507091 0 0 0 100140 86 0 0 25 0 1 0 510194750 403906560 98288 33554432000 134512640 135151029 4287000640 18446744073709551615 134554549 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 98610 98288 80 156 0 98453 0
Current children cumulated CPU time (s) 1002.26
Current children cumulated vsize (KiB) 394440
[startup+1062.3 s]
/proc/loadavg: 4.01 3.96 3.50 5/190 14637
/proc/meminfo: memFree=11921636/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=404592 CPUtime=1062.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 530179 0 0 0 106136 90 0 0 25 0 1 0 510194750 414302208 100765 33554432000 134512640 135151029 4287000640 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 101148 100765 80 156 0 100991 0
Current children cumulated CPU time (s) 1062.26
Current children cumulated vsize (KiB) 404592
[startup+1122.3 s]
/proc/loadavg: 4.00 3.97 3.52 5/190 14639
/proc/meminfo: memFree=11906364/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=405056 CPUtime=1122.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 550946 0 0 0 112133 93 0 0 25 0 1 0 510194750 414777344 100921 33554432000 134512640 135151029 4287000640 18446744073709551615 134554809 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 101264 100921 80 156 0 101107 0
Current children cumulated CPU time (s) 1122.26
Current children cumulated vsize (KiB) 405056
[startup+1182.3 s]
/proc/loadavg: 4.00 3.97 3.55 5/190 14640
/proc/meminfo: memFree=11861332/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=406400 CPUtime=1182.26 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 571946 0 0 0 118130 96 0 0 25 0 1 0 510194750 416153600 101310 33554432000 134512640 135151029 4287000640 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 101600 101310 80 156 0 101443 0
Current children cumulated CPU time (s) 1182.26
Current children cumulated vsize (KiB) 406400
[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.58 5/190 14642
/proc/meminfo: memFree=11822720/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=406916 CPUtime=1242.27 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 592701 0 0 0 124128 99 0 0 25 0 1 0 510194750 416681984 101382 33554432000 134512640 135151029 4287000640 18446744073709551615 134551629 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 101729 101382 80 156 0 101572 0
Current children cumulated CPU time (s) 1242.27
Current children cumulated vsize (KiB) 406916
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.83 3.65 3.49 3/178 14679
/proc/meminfo: memFree=13316436/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=412064 CPUtime=1299.97 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 593998 0 0 0 129898 99 0 0 25 0 1 0 510194750 421953536 102679 33554432000 134512640 135151029 4287000640 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 103016 102679 80 156 0 102859 0
Current children cumulated CPU time (s) 1299.97
Current children cumulated vsize (KiB) 412064
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1300 s]
/proc/loadavg: 2.83 3.65 3.49 3/178 14679
/proc/meminfo: memFree=13316436/32951124 swapFree=67111528/67111528
[pid=14581] ppid=14579 vsize=412064 CPUtime=1299.97 cores=0,2
/proc/14581/stat : 14581 (precosat) R 14579 14581 13993 0 -1 4202496 593998 0 0 0 129898 99 0 0 25 0 1 0 510194750 421953536 102679 33554432000 134512640 135151029 4287000640 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 0 0 0 0
/proc/14581/statm: 103016 102679 80 156 0 102859 0
Current children cumulated CPU time (s) 1299.97
Current children cumulated vsize (KiB) 412064
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.03
CPU time (s): 1300
CPU user time (s): 1298.99
CPU system time (s): 1.01884
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 414596
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.99
system time used= 1.01885
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593999
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= 3
involuntary context switches= 2513
runsolver used 2.29665 second user time and 4.79727 second system time
The end
Launcher Data
Begin job on node138 at 2011-04-28 12:19:28
IDJOB=3309070
IDBENCH=84248
IDSOLVER=1690
FILE ID=node138/3309070-1303985967
RUNJOBID= node138-1303985914-14429
PBS_JOBID= 13168688
Free space on /tmp= 71568 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT03/industrial/schuppan/l2s/dme-03-1-k247-unsat.shuffled-as.sat03-407.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3309070-1303985967/watcher-3309070-1303985967 -o /tmp/evaluation-result-3309070-1303985967/solver-3309070-1303985967 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3309070-1303985967.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 3fef216b3efe77c0f10ea0e0be664a94
RANDOM SEED=1239552660
node138.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.854
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.70
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.854
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.854
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.82
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.854
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.854
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.80
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.854
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.854
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.82
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.854
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.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 12838688 kB
Buffers: 2088464 kB
Cached: 16699940 kB
SwapCached: 0 kB
Active: 11641092 kB
Inactive: 7902500 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 12838688 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 227208 kB
Writeback: 0 kB
AnonPages: 754692 kB
Mapped: 16112 kB
Slab: 503956 kB
PageTables: 6560 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 947828 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= 71800 MiB
End job on node138 at 2011-04-28 12:41:10