Trace number 3308635
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 | application/rintanen/SATPlanning/
openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf |
| MD5SUM | 0385ba51f44fb47d0b0726e26312816f |
| 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 | 171676 |
| Number of clauses | 858766 |
| Sum of the clauses size | 2046721 |
| Maximum clause length | 63 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 211 |
| Number of clauses of size 2 | 847665 |
| Number of clauses of size 3 | 2700 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 8190 |
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-3308635-1303983494.cnf
0.00/0.00 c found header 'p cnf 171676 858766'
0.59/0.69 c finished parsing
0.59/0.69 c
0.59/0.69 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.59/0.69 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.59/0.69 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.59/0.69 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.59/0.69 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.59/0.69 c --random=1 --spread=2000 --seed=0 --skip=25
0.59/0.69 c
0.59/0.69 c sizeof vars[0] = 16 alignment = 0 3 MB
0.59/0.69 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.59/0.69 c sizeof occs[0] = 8 alignment = 0 1 MB
0.59/0.69 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.59/0.69 c
0.59/0.69 c starting search after 0.7 seconds
0.59/0.69 c no decision limit
0.69/0.70 c
0.69/0.70 c original/binary fixed eliminated learned agility
0.69/0.70 c seconds variables equivalent conflicts height MB
0.69/0.70 c
0.69/0.70 c * 0.7 646790 141611 28711 1354 0 0 0 0.0 0 56
1.49/1.51 c - 1.5 598441 140681 29641 1354 0 0 1000 0.0 0 73
1.49/1.51 c - 1.5 598341 140681 29641 1354 0 0 1000 0.0 0 73
1.49/1.51 c - 1.5 598241 140681 29641 1354 0 0 1000 0.0 0 73
3.30/3.37 c s 3.4 553213 82651 29641 1354 58030 0 0 0.0 0 58
3.30/3.37 c l 3.4 553213 82651 29641 1354 58030 0 11526 0.0 0 58
3.40/3.42 c R 3.4 553268 82651 29641 1354 58030 100 99 8032.5 2 58
3.40/3.47 c R 3.5 553296 82651 29641 1354 58030 201 198 9003.2 2 58
3.70/3.77 c R 3.8 566507 82650 29641 1355 58030 805 798 6555.4 0 60
3.80/3.83 c B 3.8 566640 82650 29641 1355 58030 1000 993 6158.2 3 61
4.20/4.22 c B 4.2 573773 82647 29641 1358 58030 2003 1990 6541.8 2 63
4.30/4.37 c R 4.4 579861 82647 29641 1358 58030 2413 2399 6378.7 2 65
8.69/8.76 c s 8.8 635539 82454 29751 1374 58097 7538 7349 5395.1 3 82
8.99/9.00 c B 9.0 639444 82453 29752 1374 58097 8007 7817 5312.1 3 84
11.00/11.05 c + 11.1 679767 82188 30009 1382 58097 11526 12678 5215.6 3 98
12.89/12.96 c + 13.0 701318 82060 30134 1385 58097 14408 13945 5074.8 2 112
15.89/15.98 c s 16.0 700591 82046 30137 1387 58106 15700 13833 5178.1 0 127
17.29/17.32 c + 17.3 706336 82027 30154 1389 58106 18010 15339 5100.6 5 128
22.79/22.86 c s 22.9 725098 81905 30268 1395 58108 21861 15374 4886.0 0 145
23.29/23.33 c
23.29/23.33 c original/binary fixed eliminated learned agility
23.29/23.33 c seconds variables equivalent conflicts height MB
23.29/23.33 c
23.29/23.33 c + 23.3 727542 81895 30276 1397 58108 22512 16872 4838.5 5 149
24.10/24.12 c B 24.1 729238 81880 30289 1399 58108 24017 16878 4799.1 3 155
26.49/26.51 c + 26.5 735319 81862 30307 1399 58108 28142 18559 4850.4 0 160
30.80/30.86 c s 30.9 737918 81819 30345 1400 58112 30909 18540 4766.9 0 170
33.10/33.11 c + 33.1 743875 81810 30353 1401 58112 35176 20414 4796.2 2 162
33.10/33.14 c R 33.1 743876 81810 30353 1401 58112 35303 18696 4795.6 1 162
39.50/39.56 c s 39.6 745988 81419 30725 1402 58130 41334 19965 4758.1 0 160
41.29/41.32 c + 41.3 749639 81212 30932 1402 58130 43970 22455 4723.8 8 164
48.09/48.17 c s 48.2 748943 81145 30996 1405 58130 50813 22440 4640.8 3 168
49.89/49.99 c + 50.0 750535 81141 30999 1406 58130 54962 24700 4572.7 6 168
55.59/55.64 c B 55.6 754401 81110 31027 1409 58130 64037 24703 4489.3 2 187
58.89/58.95 c s 59.0 752485 80524 31029 1410 58713 64705 24656 4480.4 0 188
61.39/61.43 c + 61.4 756381 80518 31034 1411 58713 68704 27170 4468.4 2 200
68.59/68.62 c s 68.6 762775 80422 31127 1413 58714 76152 27143 4435.7 0 213
77.89/77.96 c s 78.0 766840 80392 31156 1414 58714 84511 27174 4350.7 0 221
78.79/78.86 c + 78.9 767322 80378 31170 1414 58714 85881 29887 4332.9 1 217
88.09/88.20 c s 88.2 769115 80353 31194 1415 58714 94503 29918 4264.6 0 223
98.69/98.77 c s 98.8 771309 80335 31210 1417 58714 103680 29939 4230.3 0 233
101.59/101.63 c + 101.6 773534 80300 31242 1420 58714 107352 32875 4219.4 2 245
108.90/108.97 c
108.90/108.97 c original/binary fixed eliminated learned agility
108.90/108.97 c seconds variables equivalent conflicts height MB
108.90/108.97 c
108.90/108.97 c s 109.0 775035 80282 31260 1420 58714 113591 32893 4203.9 0 263
118.99/119.00 c s 119.0 776392 80109 31307 1424 58836 121246 32702 4196.0 1 265
131.40/131.49 c s 131.5 782437 80053 31360 1427 58836 133941 32857 4188.6 1 251
131.60/131.60 c + 131.6 782437 80053 31360 1427 58836 134190 36162 4186.3 2 250
144.79/144.82 c s 144.8 786385 79979 31426 1429 58842 149236 36143 4160.3 4 286
152.80/152.88 c B 152.9 790618 79959 31445 1430 58842 160069 36286 4126.9 3 312
158.49/158.59 c s 158.6 790716 79934 31469 1430 58843 161821 36342 4122.8 0 319
162.39/162.42 c + 162.4 791774 79926 31476 1431 58843 167735 39778 4118.4 1 317
169.89/169.90 c s 169.9 792368 79919 31483 1431 58843 173607 39778 4092.1 3 322
183.10/183.15 c s 183.2 794597 79850 31550 1433 58843 187416 39936 4041.3 0 329
196.19/196.25 c s 196.3 794547 79422 31767 1436 59051 198801 39709 4028.9 2 303
204.19/204.22 c + 204.2 797235 79379 31809 1437 59051 209665 43755 4005.7 3 301
212.10/212.11 c s 212.1 797063 79373 31814 1437 59052 213352 43459 4004.3 0 342
224.99/225.09 c s 225.1 797856 79361 31826 1437 59052 225827 43762 3980.4 0 334
241.49/241.53 c s 241.5 798888 79352 31835 1437 59052 240844 43765 3956.2 1 350
257.60/257.65 c s 257.7 800834 79304 31881 1439 59052 256751 43961 3953.9 1 355
261.30/261.30 c + 261.3 802077 79274 31910 1440 59052 262080 48130 3948.1 2 355
269.80/269.85 c s 269.9 802108 79255 31928 1441 59052 266852 48164 3933.5 0 386
286.19/286.27 c s 286.3 803590 79098 31979 1441 59158 279755 48177 3912.3 5 395
304.20/304.29 c
304.20/304.29 c original/binary fixed eliminated learned agility
304.20/304.29 c seconds variables equivalent conflicts height MB
304.20/304.29 c
304.20/304.29 c s 304.3 806688 78979 32093 1444 59160 298990 48218 3914.0 4 356
316.60/316.63 c s 316.6 810303 78933 32136 1445 59162 306921 48043 3894.4 0 363
331.30/331.38 c s 331.4 815860 78867 32199 1447 59163 319994 48264 3883.3 1 355
337.50/337.60 c + 337.6 822991 78593 32473 1447 59163 327601 52943 3874.4 6 371
347.51/347.56 c s 347.6 820337 78528 32538 1447 59163 335243 53280 3867.0 1 394
354.60/354.64 c R 354.7 821829 78522 32544 1447 59163 346505 53150 3853.9 6 393
364.40/364.45 c s 364.5 824302 78517 32549 1447 59163 356057 52979 3847.9 4 375
380.30/380.40 c s 380.4 827247 78134 32626 1448 59468 371239 53008 3830.1 1 403
389.20/389.21 c B 389.2 828547 78089 32670 1449 59468 384160 52957 3819.7 3 411
399.10/399.14 c s 399.2 828262 78054 32699 1450 59473 390848 51296 3819.5 2 407
416.10/416.10 c s 416.1 829963 78011 32740 1450 59475 405736 52961 3804.7 0 454
418.71/418.78 c + 418.8 830789 77976 32775 1450 59475 409502 58237 3799.1 3 463
432.71/432.73 c s 432.7 831878 77940 32805 1450 59481 420568 58023 3791.8 1 507
453.00/453.00 c s 453.0 834092 77911 32832 1452 59481 439408 58259 3769.2 3 526
473.20/473.28 c s 473.3 836568 77884 32858 1453 59481 454987 58511 3762.3 1 509
492.71/492.77 c s 492.8 838489 77748 32885 1453 59590 469006 58263 3750.3 0 502
511.41/511.50 c s 511.5 838065 77712 32919 1454 59591 483095 58144 3749.0 0 490
534.11/534.11 c s 534.1 838372 77531 33097 1456 59592 499806 58324 3742.4 8 507
542.51/542.50 c + 542.5 839819 77503 33125 1456 59592 511876 64060 3736.4 2 506
554.41/554.43 c
554.41/554.43 c original/binary fixed eliminated learned agility
554.41/554.43 c seconds variables equivalent conflicts height MB
554.41/554.43 c
554.41/554.43 c s 554.5 840571 77488 33136 1458 59594 518561 63300 3736.1 1 547
577.01/577.05 c s 577.1 842705 77468 33156 1458 59594 534264 64242 3724.9 1 573
599.91/599.98 c s 600.0 845919 77447 33176 1459 59594 551812 64101 3720.0 0 552
623.11/623.15 c s 623.2 846111 77299 33200 1461 59716 570457 63165 3708.8 7 536
644.12/644.15 c s 644.2 846631 77259 33239 1461 59717 584410 64083 3699.8 1 522
664.81/664.84 c s 664.9 849626 77254 33244 1461 59717 603601 64193 3696.9 0 537
685.82/685.86 c s 685.9 851793 77244 33253 1462 59717 622910 64193 3691.4 3 565
698.82/698.80 c + 698.8 854871 77220 33275 1464 59717 639847 70466 3676.9 8 581
709.02/709.01 c s 709.0 854787 77213 33282 1464 59717 642052 66399 3678.3 0 600
733.31/733.39 c s 733.4 857247 77192 33303 1464 59717 659105 70522 3679.2 3 603
760.22/760.22 c s 760.3 858719 77006 33396 1464 59810 680734 70578 3669.6 1 593
782.51/782.58 c s 782.6 859523 76986 33416 1464 59810 695508 70602 3666.8 6 577
801.22/801.26 c s 801.3 862392 76970 33429 1467 59810 712781 70487 3656.1 0 561
828.52/828.59 c s 828.6 865160 76957 33441 1468 59810 734884 70674 3655.4 3 571
850.82/850.83 c s 850.9 865852 76895 33500 1471 59810 749683 70710 3654.6 2 597
878.83/878.87 c s 878.9 867583 76889 33506 1471 59810 769989 70466 3646.0 0 634
906.83/906.83 c s 906.9 868952 76818 33511 1472 59875 794468 70662 3642.6 1 652
910.43/910.45 c + 910.5 869239 76811 33517 1473 59875 799805 77512 3638.6 4 627
931.03/931.00 c s 931.0 870286 76809 33519 1473 59875 814638 77561 3632.7 0 704
957.03/957.02 c
957.03/957.02 c original/binary fixed eliminated learned agility
957.03/957.02 c seconds variables equivalent conflicts height MB
957.03/957.02 c
957.03/957.02 c s 957.1 872535 76721 33606 1474 59875 840115 77528 3620.0 1 693
959.03/959.08 c R 959.1 872682 76720 33607 1474 59875 845027 77544 3619.6 4 660
985.43/985.48 c s 985.5 874692 76710 33617 1474 59875 868485 77620 3619.6 6 702
1010.83/1010.84 c s 1010.9 877267 76701 33626 1474 59875 888909 77679 3610.6 1 725
1016.62/1016.67 c B 1016.7 878140 76698 33629 1474 59875 896309 77559 3606.9 2 734
1036.73/1036.72 c s 1036.8 879274 76692 33634 1475 59875 912156 77606 3599.4 9 709
1061.43/1061.41 c s 1061.5 880859 76591 33657 1475 59953 935126 77565 3587.0 9 691
1087.73/1087.78 c s 1087.8 882653 76574 33674 1475 59953 958661 77740 3581.3 1 713
1113.24/1113.25 c s 1113.3 884418 76561 33686 1475 59954 983216 77300 3570.6 3 692
1124.73/1124.77 c + 1124.8 888807 76560 33686 1476 59954 999756 85263 3563.2 3 688
1140.13/1140.13 c s 1140.2 890007 76554 33691 1476 59955 1006978 84757 3558.1 3 760
1171.54/1171.54 c s 1171.6 894266 76546 33698 1477 59955 1032308 85404 3545.0 1 778
1203.14/1203.19 c s 1203.2 896059 76542 33702 1477 59955 1054355 85367 3544.6 2 751
1237.84/1237.81 c s 1237.9 896787 76472 33731 1478 59995 1079539 85224 3547.7 2 721
1263.64/1263.62 c s 1263.7 898003 76464 33739 1478 59995 1100635 85310 3541.3 2 726
1300.04/1300.00 c
1300.04/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.04/1300.00 c
1300.04/1300.00 c 1129358 conflicts, 30106792 decisions, 14943 random
1300.04/1300.00 c 274 iterations, 4796 restarts, 0 skipped
1300.04/1300.00 c 21 enlarged, 6807 shrunken, 11042 rescored, 300 rebiased
1300.04/1300.00 c 70 simplifications, 0 reductions
1300.04/1300.00 c
1300.04/1300.00 c vars: 33739 fixed, 1478 equiv, 59995 elim, 1511 merged
1300.04/1300.00 c elim: 20283103 resolutions, 70 phases, 12 rounds
1300.04/1300.00 c sbst: 2% substituted, 2.6% nots, 97.4% ands, 0.0% xors, 0.0% ites
1300.04/1300.00 c arty: 2.18 and 0.00 xor average arity
1300.04/1300.00 c prbe: 56789 probed, 1672 phases, 0 rounds
1300.04/1300.00 c prbe: 1239 failed, 1413 lifted, 0 merged
1300.04/1300.00 c sccs: 5 non trivial, 0 fixed, 5 merged
1300.04/1300.00 c hash: 167 units, 1506 merged
1300.04/1300.00 c mins: 2411407047 learned, 13% deleted, 10 strong, 150 depth
1300.04/1300.00 c subs: 8551 forward, 7701 backward, 1844 doms
1300.04/1300.00 c strs: 6315 forward, 4 backward
1300.04/1300.00 c doms: 17550 dominators, 5355 high, 186 low
1300.04/1300.00 c prps: 2414887993 propagations, 1.86 megaprops
1300.04/1300.00 c
1300.04/1300.00 c 1300.1 seconds, 788 MB max, 408 MB recycled
1300.04/1300.00 c
1300.04/1300.00 c *** CAUGHT SIGNAL 15 ***
1300.04/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-3308635-1303983494/watcher-3308635-1303983494 -o /tmp/evaluation-result-3308635-1303983494/solver-3308635-1303983494 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308635-1303983494.cnf
running on 2 cores: 4,6
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: 4.01 2.39 1.01 4/189 23210
/proc/meminfo: memFree=15990456/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=7844 CPUtime=0 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 1658 0 0 0 0 0 0 0 25 0 1 0 588580141 8032256 1614 33554432000 134512640 135151029 4286981776 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23210/statm: 1961 1615 60 156 0 1804 0
[startup+0.0504641 s]
/proc/loadavg: 4.01 2.39 1.01 4/189 23210
/proc/meminfo: memFree=15990456/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=17392 CPUtime=0.04 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 4215 0 0 0 4 0 0 0 25 0 1 0 588580141 17809408 4138 33554432000 134512640 135151029 4286981776 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 4348 4138 65 156 0 4191 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17392
[startup+0.100462 s]
/proc/loadavg: 4.01 2.39 1.01 4/189 23210
/proc/meminfo: memFree=15990456/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=21196 CPUtime=0.09 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 5354 0 0 0 9 0 0 0 25 0 1 0 588580141 21704704 5083 33554432000 134512640 135151029 4286981776 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 5299 5084 65 156 0 5142 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21196
[startup+0.300421 s]
/proc/loadavg: 4.01 2.39 1.01 4/189 23210
/proc/meminfo: memFree=15990456/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=38928 CPUtime=0.29 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 10046 0 0 0 28 1 0 0 25 0 1 0 588580141 39862272 9518 33554432000 134512640 135151029 4286981776 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 9732 9518 65 156 0 9575 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 38928
[startup+0.700348 s]
/proc/loadavg: 4.01 2.39 1.01 4/189 23210
/proc/meminfo: memFree=15990456/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=64992 CPUtime=0.69 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 18118 0 0 0 67 2 0 0 25 0 1 0 588580141 66551808 16051 33554432000 134512640 135151029 4286981776 18446744073709551615 134520251 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 16248 16051 75 156 0 16091 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64992
[startup+1.50119 s]
/proc/loadavg: 4.01 2.39 1.01 5/190 23211
/proc/meminfo: memFree=15925976/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=85156 CPUtime=1.49 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 31628 0 0 0 145 4 0 0 25 0 1 0 588580141 87199744 20944 33554432000 134512640 135151029 4286981776 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 21289 20946 80 156 0 21132 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85156
[startup+3.10089 s]
/proc/loadavg: 4.01 2.39 1.01 5/190 23211
/proc/meminfo: memFree=15896464/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=76716 CPUtime=3.09 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 33257 0 0 0 305 4 0 0 25 0 1 0 588580141 78557184 18510 33554432000 134512640 135151029 4286981776 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 19179 18510 80 156 0 19022 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76716
[startup+6.30029 s]
/proc/loadavg: 4.01 2.42 1.02 5/190 23211
/proc/meminfo: memFree=15962156/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=93544 CPUtime=6.29 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 39062 0 0 0 624 5 0 0 25 0 1 0 588580141 95789056 22777 33554432000 134512640 135151029 4286981776 18446744073709551615 134554558 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 23386 22777 80 156 0 23229 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93544
[startup+12.7011 s]
/proc/loadavg: 4.01 2.45 1.04 5/190 23211
/proc/meminfo: memFree=15897568/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=124816 CPUtime=12.69 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 59694 0 0 0 1261 8 0 0 25 0 1 0 588580141 127811584 30591 33554432000 134512640 135151029 4286981776 18446744073709551615 134553816 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 31204 30591 80 156 0 31047 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 124816
[startup+25.5006 s]
/proc/loadavg: 4.00 2.52 1.09 5/190 23211
/proc/meminfo: memFree=15804780/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=178808 CPUtime=25.49 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 100599 0 0 0 2536 13 0 0 25 0 1 0 588580141 183099392 44086 33554432000 134512640 135151029 4286981776 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 44702 44086 80 156 0 44545 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 178808
[startup+51.1008 s]
/proc/loadavg: 4.00 2.64 1.16 5/190 23215
/proc/meminfo: memFree=15782728/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=197184 CPUtime=51.09 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 139841 0 0 0 5090 19 0 0 25 0 1 0 588580141 201916416 48685 33554432000 134512640 135151029 4286981776 18446744073709551615 134546780 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 49296 48685 80 156 0 49139 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 197184
[startup+102.307 s]
/proc/loadavg: 4.00 2.85 1.31 5/190 23216
/proc/meminfo: memFree=15661340/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=271620 CPUtime=102.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 212008 0 0 0 10200 30 0 0 25 0 1 0 588580141 278138880 67292 33554432000 134512640 135151029 4286981776 18446744073709551615 134578118 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 67905 67293 80 156 0 67748 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 271620
[startup+162.301 s]
/proc/loadavg: 4.00 3.05 1.47 5/190 23218
/proc/meminfo: memFree=15564360/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=348876 CPUtime=162.29 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 290122 0 0 0 16188 41 0 0 25 0 1 0 588580141 357249024 86589 33554432000 134512640 135151029 4286981776 18446744073709551615 134552130 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 87219 86589 80 156 0 87062 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 348876
[startup+222.301 s]
/proc/loadavg: 4.00 3.22 1.63 5/190 23219
/proc/meminfo: memFree=15530872/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=377464 CPUtime=222.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 342360 0 0 0 22182 48 0 0 25 0 1 0 588580141 386523136 93759 33554432000 134512640 135151029 4286981776 18446744073709551615 134572573 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 94366 93759 80 156 0 94209 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 377464
[startup+282.301 s]
/proc/loadavg: 4.00 3.36 1.77 5/190 23221
/proc/meminfo: memFree=15429184/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=418936 CPUtime=282.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 399263 0 0 0 28174 56 0 0 25 0 1 0 588580141 428990464 104118 33554432000 134512640 135151029 4286981776 18446744073709551615 134521912 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 104734 104118 80 156 0 104577 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 418936
[startup+342.3 s]
/proc/loadavg: 4.00 3.48 1.91 5/190 23223
/proc/meminfo: memFree=15418384/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=426708 CPUtime=342.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 435104 0 0 0 34170 60 0 0 25 0 1 0 588580141 436948992 106080 33554432000 134512640 135151029 4286981776 18446744073709551615 134581524 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 106677 106080 80 156 0 106520 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 426708
[startup+402.301 s]
/proc/loadavg: 4.00 3.57 2.04 5/190 23224
/proc/meminfo: memFree=15363816/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=469696 CPUtime=402.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 494609 0 0 0 40163 67 0 0 25 0 1 0 588580141 480968704 116829 33554432000 134512640 135151029 4286981776 18446744073709551615 134546780 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 117424 116829 80 156 0 117267 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 469696
[startup+462.301 s]
/proc/loadavg: 4.04 3.66 2.16 5/190 23226
/proc/meminfo: memFree=15255300/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=575600 CPUtime=462.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 558359 0 0 0 46154 76 0 0 25 0 1 0 588580141 589414400 143301 33554432000 134512640 135151029 4286981776 18446744073709551615 134552590 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 143900 143301 80 156 0 143743 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 575600
[startup+522.301 s]
/proc/loadavg: 4.05 3.73 2.28 5/190 23227
/proc/meminfo: memFree=15253420/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=575600 CPUtime=522.3 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 573728 0 0 0 52152 78 0 0 25 0 1 0 588580141 589414400 143301 33554432000 134512640 135151029 4286981776 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 143900 143301 80 156 0 143743 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 575600
[startup+582.301 s]
/proc/loadavg: 4.14 3.81 2.40 5/190 23229
/proc/meminfo: memFree=15203688/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=615240 CPUtime=582.31 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 612818 0 0 0 58147 84 0 0 25 0 1 0 588580141 630005760 153183 33554432000 134512640 135151029 4286981776 18446744073709551615 134554578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 153810 153183 80 156 0 153653 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 615240
[startup+642.3 s]
/proc/loadavg: 4.05 3.84 2.49 5/190 23231
/proc/meminfo: memFree=15178876/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=607044 CPUtime=642.32 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 636159 0 0 0 64146 86 0 0 25 0 1 0 588580141 621613056 151135 33554432000 134512640 135151029 4286981776 18446744073709551615 134522085 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 151761 151135 80 156 0 151604 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 607044
[startup+702.301 s]
/proc/loadavg: 4.02 3.87 2.58 5/190 23232
/proc/meminfo: memFree=15131240/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=631884 CPUtime=702.31 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 662574 0 0 0 70141 90 0 0 25 0 1 0 588580141 647049216 157364 33554432000 134512640 135151029 4286981776 18446744073709551615 134522076 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 157971 157364 80 156 0 157814 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 631884
[startup+762.307 s]
/proc/loadavg: 4.00 3.89 2.67 5/190 23234
/proc/meminfo: memFree=15094132/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=676916 CPUtime=762.33 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 705013 0 0 0 76136 97 0 0 25 0 1 0 588580141 693161984 168632 33554432000 134512640 135151029 4286981776 18446744073709551615 134554582 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 169229 168632 80 156 0 169072 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 676916
[startup+822.301 s]
/proc/loadavg: 4.00 3.91 2.75 5/190 23235
/proc/meminfo: memFree=15093868/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=667860 CPUtime=822.32 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 714553 0 0 0 82134 98 0 0 25 0 1 0 588580141 683888640 166370 33554432000 134512640 135151029 4286981776 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 166965 166370 80 156 0 166808 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 667860
[startup+882.301 s]
/proc/loadavg: 4.00 3.92 2.83 5/190 23237
/proc/meminfo: memFree=15086292/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=683128 CPUtime=882.32 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 737974 0 0 0 88131 101 0 0 25 0 1 0 588580141 699523072 170178 33554432000 134512640 135151029 4286981776 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 170782 170178 80 156 0 170625 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 683128
[startup+942.3 s]
/proc/loadavg: 4.00 3.93 2.90 5/190 23239
/proc/meminfo: memFree=14998464/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=770000 CPUtime=942.32 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 784421 0 0 0 94125 107 0 0 25 0 1 0 588580141 788480000 191902 33554432000 134512640 135151029 4286981776 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 192500 191902 80 156 0 192343 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 770000
[startup+1002.3 s]
/proc/loadavg: 4.00 3.94 2.96 5/190 23240
/proc/meminfo: memFree=14985428/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=770124 CPUtime=1002.33 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 803372 0 0 0 100124 109 0 0 25 0 1 0 588580141 788606976 191931 33554432000 134512640 135151029 4286981776 18446744073709551615 134521599 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 192531 191931 80 156 0 192374 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 770124
[startup+1062.3 s]
/proc/loadavg: 3.90 3.92 3.02 5/190 23325
/proc/meminfo: memFree=14977128/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=808544 CPUtime=1062.33 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 835783 0 0 0 106120 113 0 0 25 0 1 0 588580141 827949056 201540 33554432000 134512640 135151029 4286981776 18446744073709551615 134578277 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 202136 201540 80 156 0 201979 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 808544
[startup+1122.3 s]
/proc/loadavg: 3.96 3.93 3.07 5/190 23354
/proc/meminfo: memFree=15487008/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=797960 CPUtime=1122.33 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 839881 0 0 0 112119 114 0 0 25 0 1 0 588580141 817111040 198897 33554432000 134512640 135151029 4286981776 18446744073709551615 134573872 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 199490 198897 80 156 0 199333 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 797960
[startup+1182.3 s]
/proc/loadavg: 4.02 3.95 3.13 6/190 23356
/proc/meminfo: memFree=15391620/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=832488 CPUtime=1182.33 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 866393 0 0 0 118116 117 0 0 25 0 1 0 588580141 852467712 207526 33554432000 134512640 135151029 4286981776 18446744073709551615 134554814 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 208122 207526 80 156 0 207965 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 832488
[startup+1242.3 s]
/proc/loadavg: 4.01 3.96 3.19 5/190 23358
/proc/meminfo: memFree=15326136/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=832488 CPUtime=1242.34 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 886979 0 0 0 124114 120 0 0 25 0 1 0 588580141 852467712 207529 33554432000 134512640 135151029 4286981776 18446744073709551615 134542664 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 208122 207529 80 156 0 207965 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 832488
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.03 3.98 3.24 5/190 23386
/proc/meminfo: memFree=15485528/32950928 swapFree=67111528/67111528
[pid=23210] ppid=23208 vsize=824292 CPUtime=1300.04 cores=4,6
/proc/23210/stat : 23210 (precosat) R 23208 23210 23061 0 -1 4202496 893126 0 0 0 129884 120 0 0 25 0 1 0 588580141 844075008 205480 33554432000 134512640 135151029 4286981776 18446744073709551615 134521885 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23210/statm: 206073 205480 80 156 0 205916 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 824292
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.04
CPU time (s): 1300.09
CPU user time (s): 1298.84
CPU system time (s): 1.24281
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 836588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.84
system time used= 1.24281
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 893127
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= 2365
runsolver used 2.34664 second user time and 4.76128 second system time
The end
Launcher Data
Begin job on node114 at 2011-04-28 11:38:15
IDJOB=3308635
IDBENCH=82369
IDSOLVER=1690
FILE ID=node114/3308635-1303983494
RUNJOBID= node114-1303983220-23080
PBS_JOBID= 13168712
Free space on /tmp= 71756 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_1.045-NOTKNOWN.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308635-1303983494/watcher-3308635-1303983494 -o /tmp/evaluation-result-3308635-1303983494/solver-3308635-1303983494 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308635-1303983494.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 0385ba51f44fb47d0b0726e26312816f
RANDOM SEED=977330566
node114.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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.69
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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 : 5226.15
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.848
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.848
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.73
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.848
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.848
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.848
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.848
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: 32950928 kB
MemFree: 15990612 kB
Buffers: 2319844 kB
Cached: 13416604 kB
SwapCached: 0 kB
Active: 7696904 kB
Inactive: 8674064 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15990612 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16572 kB
Writeback: 0 kB
AnonPages: 634040 kB
Mapped: 15992 kB
Slab: 524416 kB
PageTables: 6136 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 821332 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= 71780 MiB
End job on node114 at 2011-04-28 11:59:57