Trace number 3308671
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_3.045-NOTKNOWN.cnf |
| MD5SUM | 4ab53801f3b1a3f7169c9fb38cba4184 |
| 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 | 870241 |
| Sum of the clauses size | 2069671 |
| Maximum clause length | 63 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 211 |
| Number of clauses of size 2 | 859140 |
| 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-3308671-1303983890.cnf
0.00/0.00 c found header 'p cnf 171676 870241'
0.69/0.74 c finished parsing
0.69/0.74 c
0.69/0.74 c --check=0 --verbose=0 --order=3 --simprd=40 --merge=1 --hash=1
0.69/0.74 c --dominate=1 --restart=1 --restartint=100 --rebias=1 --rebiasint=1000
0.69/0.74 c --probe=1 --probeint=100000 --probeprd=10 --decompose=1 --minimize=3
0.69/0.74 c --maxdepth=1000 --strength=10 --elim=1 --elimint=300000 --elimprd=20
0.69/0.74 c --subst=1 --ands=1 --xors=1 --ites=1 --minlimit=1000 --maxlimit=10000000
0.69/0.74 c --random=1 --spread=2000 --seed=0 --skip=25
0.69/0.74 c
0.69/0.74 c sizeof vars[0] = 16 alignment = 0 3 MB
0.69/0.74 c sizeof orgs[0] = 8 alignment = 0 1 MB
0.69/0.74 c sizeof occs[0] = 8 alignment = 0 1 MB
0.69/0.74 c sizeof iirfs[0..1] = 8 alignment = 0 1 MB
0.69/0.74 c
0.69/0.74 c starting search after 0.7 seconds
0.69/0.74 c no decision limit
0.69/0.75 c
0.69/0.75 c original/binary fixed eliminated learned agility
0.69/0.75 c seconds variables equivalent conflicts height MB
0.69/0.75 c
0.69/0.75 c * 0.8 657497 141611 28711 1354 0 0 0 0.0 0 56
1.59/1.60 c - 1.6 606653 140681 29641 1354 0 0 1000 0.0 0 73
1.59/1.61 c - 1.6 606553 140681 29641 1354 0 0 1000 0.0 0 73
3.49/3.51 c s 3.5 561210 82655 29641 1354 58026 0 0 0.0 0 58
3.49/3.51 c l 3.5 561210 82655 29641 1354 58026 0 11697 0.0 0 58
3.49/3.56 c R 3.6 561270 82655 29641 1354 58026 104 104 11143.7 2 58
3.59/3.62 c R 3.6 561289 82655 29641 1354 58026 204 200 9277.7 0 59
3.89/3.90 c R 3.9 568999 82647 29641 1362 58026 805 797 7496.8 4 61
3.89/3.98 c B 4.0 569015 82647 29641 1362 58026 1004 995 7219.5 4 61
4.49/4.50 c B 4.5 581557 82597 29689 1364 58026 2005 1992 6676.6 1 65
7.29/7.34 c B 7.3 644382 82198 30069 1383 58026 8007 7948 5943.6 5 83
9.90/9.93 c s 9.9 649246 81951 30123 1383 58219 9721 9349 5760.2 0 87
9.90/9.93 c - 9.9 649246 81951 30123 1383 58219 9721 11581 5760.2 0 87
10.79/10.82 c + 10.8 666656 81901 30169 1387 58219 11583 12739 5566.0 4 93
12.10/12.18 c R 12.2 684963 81879 30189 1389 58219 14065 12817 5439.6 0 100
12.19/12.26 c + 12.3 684981 81879 30189 1389 58219 14478 14012 5424.4 5 99
16.40/16.41 c s 16.4 711760 81680 30382 1393 58221 17701 13767 5337.4 0 105
16.59/16.66 c + 16.7 712560 81679 30383 1393 58221 18095 15413 5319.2 5 107
19.29/19.34 c + 19.3 735927 81333 30722 1400 58221 22617 16954 5232.6 4 115
19.89/19.98 c
19.89/19.98 c original/binary fixed eliminated learned agility
19.89/19.98 c seconds variables equivalent conflicts height MB
19.89/19.98 c
19.89/19.98 c B 20.0 737633 81325 30729 1401 58221 24015 16868 5174.5 0 119
22.69/22.75 c s 22.8 736292 81298 30751 1401 58226 24864 16913 5104.3 3 119
24.49/24.53 c + 24.5 742620 81241 30805 1404 58226 28270 18649 5020.6 4 122
30.49/30.50 c s 30.5 749017 81085 30929 1407 58255 33941 18550 4856.0 3 135
31.29/31.31 c + 31.3 750361 81083 30931 1407 58255 35336 20513 4777.3 1 136
38.69/38.73 c s 38.7 758835 80949 31059 1411 58257 42674 20586 4685.4 3 149
39.39/39.47 c + 39.5 759866 80945 31060 1414 58257 44170 22564 4661.7 1 149
48.19/48.20 c s 48.2 764692 80884 31118 1417 58257 54345 22549 4515.9 0 161
48.89/48.90 c + 48.9 765434 80882 31120 1417 58257 55210 24820 4501.7 5 163
56.29/56.37 c s 56.4 767272 80304 31218 1419 58735 63409 24727 4329.7 0 169
56.99/57.03 c B 57.0 768073 80300 31222 1419 58735 64055 24870 4305.1 5 169
63.29/63.35 c s 63.4 770269 80258 31262 1420 58736 68984 24822 4237.4 0 170
63.29/63.38 c + 63.4 770270 80257 31263 1420 58736 69013 27302 4235.1 2 170
71.19/71.25 c s 71.3 769029 80149 31364 1422 58741 78740 27237 4130.1 4 172
76.49/76.50 c + 76.5 772619 80059 31453 1423 58741 86267 30032 4096.2 2 185
81.69/81.80 c s 81.8 773771 80020 31489 1423 58744 89810 29979 4090.5 2 200
91.99/92.04 c s 92.0 777104 79945 31563 1424 58744 99586 30066 4018.1 0 207
98.09/98.14 c + 98.2 779594 79868 31638 1426 58744 107831 33035 3983.3 5 217
101.60/101.69 c s 101.7 778930 79865 31639 1428 58744 108716 31036 3973.9 0 218
108.80/108.90 c
108.80/108.90 c original/binary fixed eliminated learned agility
108.80/108.90 c seconds variables equivalent conflicts height MB
108.80/108.90 c
108.80/108.90 c R 108.9 781251 79843 31657 1432 58744 119558 33102 3975.2 21 231
113.39/113.44 c s 113.4 780455 79596 31683 1433 58964 122028 33057 3972.2 1 223
123.49/123.52 c s 123.5 780357 79370 31906 1435 58965 130753 33084 3968.7 0 224
126.29/126.39 c + 126.4 781316 79332 31940 1439 58965 134786 36338 3963.3 6 221
132.69/132.78 c s 132.8 775615 78999 32263 1441 58973 138807 36349 3974.8 2 235
141.49/141.59 c R 141.6 778808 78986 32276 1441 58973 152787 36664 3940.9 3 274
145.29/145.30 c s 145.3 778070 78983 32276 1442 58975 152848 36399 3940.6 2 269
150.49/150.55 c B 150.6 779996 78968 32291 1442 58975 160106 36466 3920.3 5 285
156.40/156.49 c s 156.5 780663 78956 32303 1442 58975 163371 36379 3905.5 0 279
159.69/159.72 c + 159.7 783663 78940 32319 1442 58975 168480 39971 3900.3 4 299
169.09/169.15 c s 169.2 784757 78875 32382 1444 58975 175904 39991 3878.2 0 326
181.49/181.52 c s 181.5 785602 78475 32427 1446 59328 187121 39757 3819.6 0 299
197.48/197.59 c s 197.6 787642 78449 32452 1447 59328 201031 39970 3786.3 0 323
205.38/205.42 c + 205.4 789214 78421 32478 1449 59328 210601 43968 3788.0 7 325
210.19/210.28 c s 210.3 789021 78417 32482 1449 59328 210968 40451 3788.8 0 325
223.39/223.44 c s 223.4 791126 78386 32511 1450 59329 223590 44208 3763.8 0 337
236.69/236.75 c s 236.7 793361 78339 32558 1450 59329 235322 43981 3741.2 0 297
252.49/252.58 c s 252.6 794733 78313 32584 1450 59329 250620 44067 3720.5 0 312
265.10/265.12 c s 265.1 795287 78200 32615 1451 59410 262534 44048 3711.5 3 318
265.39/265.47 c
265.39/265.47 c original/binary fixed eliminated learned agility
265.39/265.47 c seconds variables equivalent conflicts height MB
265.39/265.47 c
265.39/265.47 c + 265.5 796029 78200 32615 1451 59410 263250 48364 3707.7 2 318
277.89/277.97 c s 278.0 801874 78179 32635 1452 59410 273395 48447 3692.5 0 355
295.90/295.95 c s 296.0 809972 78120 32690 1456 59410 289445 48378 3681.5 0 358
311.38/311.40 c s 311.4 812218 78092 32716 1456 59412 304010 46008 3662.4 0 321
328.39/328.47 c s 328.5 814700 77945 32863 1456 59412 320114 48361 3663.0 0 328
334.69/334.80 c + 334.8 816096 77933 32873 1458 59412 329062 53200 3654.1 5 327
345.49/345.55 c s 345.5 817997 77921 32884 1459 59412 339514 53543 3643.6 0 360
363.00/363.00 c s 363.0 819812 77779 32899 1460 59538 357775 53184 3627.7 6 371
378.29/378.35 c s 378.3 822918 77727 32951 1460 59538 370295 53256 3609.2 0 414
388.59/388.67 c B 388.7 826045 77715 32963 1460 59538 384190 53240 3594.1 4 438
395.19/395.26 c s 395.3 825889 77712 32966 1460 59538 385861 53236 3595.8 0 435
408.30/408.37 c s 408.4 827758 77685 32993 1460 59538 396083 53287 3589.8 0 416
424.19/424.21 c s 424.2 828666 77629 33049 1460 59538 409912 53292 3566.0 0 423
424.79/424.88 c + 424.9 828823 77629 33049 1460 59538 411327 58520 3563.3 13 424
444.09/444.10 c s 444.1 830661 77622 33056 1460 59538 428523 58913 3537.9 4 490
459.28/459.30 c s 459.3 831868 77456 33119 1461 59640 441781 58535 3506.4 0 472
476.98/477.00 c s 477.0 833057 77401 33173 1462 59640 454112 58539 3497.5 3 467
493.98/494.02 c s 494.0 832136 77361 33207 1463 59645 465785 58554 3488.2 1 450
515.89/515.92 c s 515.9 833697 77348 33219 1464 59645 482175 58619 3490.3 0 474
537.79/537.87 c
537.79/537.87 c original/binary fixed eliminated learned agility
537.79/537.87 c seconds variables equivalent conflicts height MB
537.79/537.87 c
537.79/537.87 c s 537.9 835727 77323 33242 1466 59645 499735 58633 3506.7 2 451
548.28/548.36 c + 548.3 837249 77315 33250 1466 59645 514159 64372 3507.2 6 447
555.68/555.72 c s 555.7 837877 77311 33254 1466 59645 517059 61602 3505.0 0 457
575.88/575.99 c s 576.0 841174 77207 33272 1466 59731 533668 64572 3488.1 2 469
597.58/597.64 c s 597.6 844065 77172 33306 1467 59731 551729 64603 3484.3 2 480
619.48/619.58 c s 619.6 846165 77160 33316 1469 59731 567335 64494 3476.3 4 504
640.88/640.95 c s 640.9 848416 77143 33328 1470 59735 584512 63983 3473.8 8 491
658.68/658.78 c s 658.8 850111 77054 33417 1470 59735 599696 64353 3464.8 2 516
677.38/677.45 c s 677.4 853338 77045 33426 1470 59735 620054 64400 3456.6 1 473
695.68/695.77 c s 695.8 856437 76920 33454 1471 59831 636222 64426 3439.6 0 499
702.58/702.63 c + 702.6 856965 76915 33459 1471 59831 642696 70809 3433.1 5 524
722.69/722.73 c s 722.7 858172 76896 33477 1471 59832 654797 70992 3434.5 0 576
744.28/744.30 c s 744.3 860838 76867 33505 1471 59833 671202 70836 3423.3 3 581
768.08/768.12 c s 768.1 864067 76827 33543 1473 59833 687363 70950 3415.4 5 563
790.98/791.06 c s 791.1 869447 76810 33558 1475 59833 706726 70958 3407.0 0 524
811.69/811.70 c s 811.7 872700 76792 33576 1475 59833 722004 70799 3397.2 0 553
834.28/834.30 c s 834.3 877419 76705 33594 1477 59900 735018 71237 3389.2 6 578
860.38/860.43 c s 860.4 880256 76695 33604 1477 59900 754464 70926 3382.0 0 593
888.48/888.58 c s 888.6 881735 76668 33629 1478 59901 776131 70875 3374.8 2 583
913.68/913.74 c
913.68/913.74 c original/binary fixed eliminated learned agility
913.68/913.74 c seconds variables equivalent conflicts height MB
913.68/913.74 c
913.68/913.74 c s 913.7 883468 76644 33652 1478 59902 797129 70804 3367.3 1 584
919.98/920.04 c + 920.0 884610 76622 33673 1479 59902 803375 77889 3371.0 3 618
940.58/940.65 c s 940.6 884657 76604 33690 1480 59902 820464 77917 3364.9 1 691
966.59/966.61 c s 966.6 888359 76599 33694 1481 59902 843213 77895 3353.6 0 678
989.58/989.62 c s 989.6 889432 76544 33699 1481 59952 863179 78104 3347.5 3 670
1004.48/1004.59 c R 1004.6 890780 76541 33702 1481 59952 886102 77965 3335.0 3 635
1012.48/1012.52 c s 1012.5 890741 76541 33702 1481 59952 886241 78092 3334.9 4 631
1020.08/1020.16 c B 1020.1 892852 76530 33712 1482 59952 896349 77949 3329.6 2 615
1037.18/1037.20 c s 1037.2 893051 76526 33716 1482 59952 907357 78086 3326.5 1 627
1059.78/1059.88 c s 1059.9 894893 76493 33749 1482 59952 925256 77933 3312.0 5 647
1086.28/1086.30 c s 1086.3 895738 76463 33778 1483 59952 946186 77894 3303.4 3 679
1109.48/1109.51 c s 1109.5 898330 76446 33795 1483 59952 964006 78186 3291.5 5 689
1132.38/1132.41 c s 1132.4 900661 76376 33806 1484 60010 982111 77929 3279.8 3 676
1153.68/1153.77 c s 1153.8 902827 76348 33834 1484 60010 999211 77895 3273.8 0 646
1155.58/1155.68 c + 1155.7 903237 76346 33836 1484 60010 1004215 85677 3274.4 2 619
1181.58/1181.61 c s 1181.6 904805 76266 33915 1485 60010 1024783 85810 3263.2 1 675
1214.18/1214.26 c s 1214.3 908206 76228 33950 1487 60011 1045969 85783 3267.2 4 681
1242.68/1242.78 c s 1242.8 912359 76209 33969 1487 60011 1068243 85719 3256.0 0 670
1272.58/1272.60 c s 1272.6 916153 76195 33982 1488 60011 1087041 85757 3253.0 0 680
1299.98/1300.00 c
1299.98/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.98/1300.00 c
1299.98/1300.00 c 1109859 conflicts, 27577928 decisions, 13705 random
1299.98/1300.00 c 275 iterations, 4711 restarts, 0 skipped
1299.98/1300.00 c 21 enlarged, 6997 shrunken, 10851 rescored, 290 rebiased
1299.98/1300.00 c 74 simplifications, 0 reductions
1299.98/1300.00 c
1299.98/1300.00 c vars: 34007 fixed, 1490 equiv, 60103 elim, 1529 merged
1299.98/1300.00 c elim: 21329844 resolutions, 74 phases, 13 rounds
1299.98/1300.00 c sbst: 2% substituted, 2.6% nots, 97.4% ands, 0.0% xors, 0.0% ites
1299.98/1300.00 c arty: 2.24 and 0.00 xor average arity
1299.98/1300.00 c prbe: 61046 probed, 1783 phases, 0 rounds
1299.98/1300.00 c prbe: 1206 failed, 1600 lifted, 0 merged
1299.98/1300.00 c sccs: 13 non trivial, 0 fixed, 13 merged
1299.98/1300.00 c hash: 161 units, 1516 merged
1299.98/1300.00 c mins: 2159445930 learned, 14% deleted, 12 strong, 208 depth
1299.98/1300.00 c subs: 9222 forward, 8195 backward, 2287 doms
1299.98/1300.00 c strs: 6109 forward, 7 backward
1299.98/1300.00 c doms: 14507 dominators, 4911 high, 242 low
1299.98/1300.00 c prps: 2570429537 propagations, 1.98 megaprops
1299.98/1300.00 c
1299.98/1300.00 c 1300.0 seconds, 717 MB max, 3616 MB recycled
1299.98/1300.00 c
1299.98/1300.00 c *** CAUGHT SIGNAL 15 ***
1299.98/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-3308671-1303983890/watcher-3308671-1303983890 -o /tmp/evaluation-result-3308671-1303983890/solver-3308671-1303983890 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308671-1303983890.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: 3.99 3.60 2.09 5/193 23479
/proc/meminfo: memFree=15689192/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=7844 CPUtime=0 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 1673 0 0 0 0 0 0 0 21 0 1 0 509986904 8032256 1629 33554432000 134512640 135151029 4286696064 18446744073709551615 134534335 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/23479/statm: 1961 1630 60 156 0 1804 0
[startup+0.0653249 s]
/proc/loadavg: 3.99 3.60 2.09 5/193 23479
/proc/meminfo: memFree=15689192/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=18440 CPUtime=0.05 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 4537 0 0 0 5 0 0 0 21 0 1 0 509986904 18882560 4395 33554432000 134512640 135151029 4286696064 18446744073709551615 134703758 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 4610 4396 65 156 0 4453 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18440
[startup+0.100315 s]
/proc/loadavg: 3.99 3.60 2.09 5/193 23479
/proc/meminfo: memFree=15689192/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=21580 CPUtime=0.09 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 5313 0 0 0 9 0 0 0 21 0 1 0 509986904 22097920 5171 33554432000 134512640 135151029 4286696064 18446744073709551615 134572727 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 5395 5171 65 156 0 5238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21580
[startup+0.300277 s]
/proc/loadavg: 3.99 3.60 2.09 5/193 23479
/proc/meminfo: memFree=15689192/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=34792 CPUtime=0.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 8992 0 0 0 28 1 0 0 22 0 1 0 509986904 35627008 8464 33554432000 134512640 135151029 4286696064 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 8698 8464 65 156 0 8541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34792
[startup+0.70018 s]
/proc/loadavg: 3.99 3.60 2.09 5/193 23479
/proc/meminfo: memFree=15689192/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=62584 CPUtime=0.69 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 17500 0 0 0 68 1 0 0 24 0 1 0 509986904 64086016 15434 33554432000 134512640 135151029 4286696064 18446744073709551615 134682502 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 15646 15434 65 156 0 15489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 62584
[startup+1.50106 s]
/proc/loadavg: 3.99 3.60 2.09 5/194 23480
/proc/meminfo: memFree=15602632/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=85812 CPUtime=1.49 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 30779 0 0 0 146 3 0 0 25 0 1 0 509986904 87871488 21120 33554432000 134512640 135151029 4286696064 18446744073709551615 134579313 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 21453 21120 80 156 0 21296 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85812
[startup+3.10077 s]
/proc/loadavg: 3.99 3.60 2.09 5/194 23480
/proc/meminfo: memFree=15559232/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=90512 CPUtime=3.09 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 33345 0 0 0 306 3 0 0 25 0 1 0 509986904 92684288 21990 33554432000 134512640 135151029 4286696064 18446744073709551615 134518421 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 22628 21990 80 156 0 22471 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 90512
[startup+6.30021 s]
/proc/loadavg: 3.99 3.61 2.10 5/194 23480
/proc/meminfo: memFree=15588296/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=89248 CPUtime=6.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 37986 0 0 0 625 4 0 0 25 0 1 0 509986904 91389952 21701 33554432000 134512640 135151029 4286696064 18446744073709551615 134581681 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 22312 21701 80 156 0 22155 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89248
[startup+12.701 s]
/proc/loadavg: 3.99 3.61 2.11 5/194 23480
/proc/meminfo: memFree=15552136/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=114520 CPUtime=12.69 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 57981 0 0 0 1262 7 0 0 25 0 1 0 509986904 117268480 27991 33554432000 134512640 135151029 4286696064 18446744073709551615 134552618 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 28630 27991 80 156 0 28473 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114520
[startup+25.5007 s]
/proc/loadavg: 4.07 3.65 2.14 5/194 23481
/proc/meminfo: memFree=15538640/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=146460 CPUtime=25.49 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 93876 0 0 0 2537 12 0 0 25 0 1 0 509986904 149975040 35963 33554432000 134512640 135151029 4286696064 18446744073709551615 134530914 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 36615 35963 80 156 0 36458 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 146460
[startup+51.101 s]
/proc/loadavg: 4.05 3.68 2.19 5/194 23481
/proc/meminfo: memFree=15477572/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=189808 CPUtime=51.09 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 146699 0 0 0 5089 20 0 0 25 0 1 0 509986904 194363392 46823 33554432000 134512640 135151029 4286696064 18446744073709551615 134552608 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 47452 46823 80 156 0 47295 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 189808
[startup+102.307 s]
/proc/loadavg: 4.14 3.75 2.29 5/194 23483
/proc/meminfo: memFree=15303896/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=241468 CPUtime=102.3 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 235711 0 0 0 10197 33 0 0 25 0 1 0 509986904 247263232 59725 33554432000 134512640 135151029 4286696064 18446744073709551615 134555578 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 60367 59725 80 156 0 60210 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 241468
[startup+162.301 s]
/proc/loadavg: 4.05 3.80 2.40 5/194 23484
/proc/meminfo: memFree=15203728/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=350252 CPUtime=162.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 324058 0 0 0 16183 46 0 0 25 0 1 0 509986904 358658048 86921 33554432000 134512640 135151029 4286696064 18446744073709551615 134581582 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 87563 86921 80 156 0 87406 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 350252
[startup+222.301 s]
/proc/loadavg: 4.06 3.84 2.50 5/194 23486
/proc/meminfo: memFree=15163560/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=364152 CPUtime=222.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 377539 0 0 0 22175 54 0 0 25 0 1 0 509986904 372891648 90420 33554432000 134512640 135151029 4286696064 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 91038 90420 80 156 0 90881 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 364152
[startup+282.301 s]
/proc/loadavg: 4.13 3.90 2.60 6/194 23488
/proc/meminfo: memFree=15105524/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=389496 CPUtime=282.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 424796 0 0 0 28169 60 0 0 25 0 1 0 509986904 398843904 96742 33554432000 134512640 135151029 4286696064 18446744073709551615 134520459 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 97374 96742 80 156 0 97217 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 389496
[startup+342.301 s]
/proc/loadavg: 4.05 3.92 2.68 5/194 23489
/proc/meminfo: memFree=15094448/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=388740 CPUtime=342.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 462509 0 0 0 34164 65 0 0 25 0 1 0 509986904 398069760 96544 33554432000 134512640 135151029 4286696064 18446744073709551615 134521749 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 97185 96544 80 156 0 97028 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 388740
[startup+402.301 s]
/proc/loadavg: 4.09 3.94 2.77 5/194 23491
/proc/meminfo: memFree=14972848/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=472056 CPUtime=402.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 529725 0 0 0 40156 73 0 0 25 0 1 0 509986904 483385344 117368 33554432000 134512640 135151029 4286696064 18446744073709551615 134578147 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 118014 117368 80 156 0 117857 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 472056
[startup+462.301 s]
/proc/loadavg: 4.03 3.95 2.84 5/194 23492
/proc/meminfo: memFree=14947956/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=529996 CPUtime=462.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 581590 0 0 0 46147 81 0 0 25 0 1 0 509986904 542715904 131866 33554432000 134512640 135151029 4286696064 18446744073709551615 134573911 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 132499 131866 80 156 0 132342 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 529996
[startup+522.3 s]
/proc/loadavg: 4.01 3.96 2.91 5/194 23494
/proc/meminfo: memFree=14880584/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=529996 CPUtime=522.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 605793 0 0 0 52143 85 0 0 25 0 1 0 509986904 542715904 131866 33554432000 134512640 135151029 4286696064 18446744073709551615 134554594 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 132499 131866 80 156 0 132342 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 529996
[startup+582.3 s]
/proc/loadavg: 4.00 3.96 2.98 5/194 23496
/proc/meminfo: memFree=14818424/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=529996 CPUtime=582.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 627312 0 0 0 58140 88 0 0 25 0 1 0 509986904 542715904 131866 33554432000 134512640 135151029 4286696064 18446744073709551615 134567884 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 132499 131866 80 156 0 132342 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 529996
[startup+642.3 s]
/proc/loadavg: 4.00 3.97 3.04 5/194 23553
/proc/meminfo: memFree=15113832/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=547740 CPUtime=642.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 662605 0 0 0 64136 92 0 0 25 0 1 0 509986904 560885760 136290 33554432000 134512640 135151029 4286696064 18446744073709551615 134567933 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 136935 136290 80 156 0 136778 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 547740
[startup+702.3 s]
/proc/loadavg: 4.00 3.97 3.10 5/194 23555
/proc/meminfo: memFree=15052672/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=569788 CPUtime=702.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 690208 0 0 0 70132 96 0 0 25 0 1 0 509986904 583462912 141833 33554432000 134512640 135151029 4286696064 18446744073709551615 134520405 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 142447 141833 80 156 0 142290 0
Current children cumulated CPU time (s) 702.28
Current children cumulated vsize (KiB) 569788
[startup+762.307 s]
/proc/loadavg: 4.04 3.99 3.16 5/194 23556
/proc/meminfo: memFree=15025848/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=626820 CPUtime=762.29 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 729742 0 0 0 76128 101 0 0 25 0 1 0 509986904 641863680 156057 33554432000 134512640 135151029 4286696064 18446744073709551615 134521728 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 156705 156057 80 156 0 156548 0
Current children cumulated CPU time (s) 762.29
Current children cumulated vsize (KiB) 626820
[startup+822.301 s]
/proc/loadavg: 4.01 3.99 3.21 5/194 23585
/proc/meminfo: memFree=15567088/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=634592 CPUtime=822.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 756965 0 0 0 82123 105 0 0 25 0 1 0 509986904 649822208 158038 33554432000 134512640 135151029 4286696064 18446744073709551615 134530895 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 158648 158038 80 156 0 158491 0
Current children cumulated CPU time (s) 822.28
Current children cumulated vsize (KiB) 634592
[startup+882.301 s]
/proc/loadavg: 4.00 3.99 3.25 5/194 23614
/proc/meminfo: memFree=15451976/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=639704 CPUtime=882.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 786042 0 0 0 88119 109 0 0 25 0 1 0 509986904 655056896 159285 33554432000 134512640 135151029 4286696064 18446744073709551615 134521599 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 159926 159285 80 156 0 159769 0
Current children cumulated CPU time (s) 882.28
Current children cumulated vsize (KiB) 639704
[startup+942.301 s]
/proc/loadavg: 4.05 4.00 3.30 5/194 23615
/proc/meminfo: memFree=15324872/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=747928 CPUtime=942.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 842506 0 0 0 94110 118 0 0 25 0 1 0 509986904 765878272 186337 33554432000 134512640 135151029 4286696064 18446744073709551615 134554777 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 186982 186337 80 156 0 186825 0
Current children cumulated CPU time (s) 942.28
Current children cumulated vsize (KiB) 747928
[startup+1002.3 s]
/proc/loadavg: 4.08 4.02 3.35 5/194 23626
/proc/meminfo: memFree=15270448/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=759900 CPUtime=1002.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 857967 0 0 0 100108 120 0 0 25 0 1 0 509986904 778137600 189343 33554432000 134512640 135151029 4286696064 18446744073709551615 134553813 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 189975 189343 80 156 0 189818 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 759900
[startup+1062.3 s]
/proc/loadavg: 4.03 4.01 3.39 5/194 23627
/proc/meminfo: memFree=15321400/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=750928 CPUtime=1062.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 857967 0 0 0 106108 120 0 0 25 0 1 0 509986904 768950272 187124 33554432000 134512640 135151029 4286696064 18446744073709551615 134554900 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 187732 187124 80 156 0 187575 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 750928
[startup+1122.3 s]
/proc/loadavg: 4.04 4.02 3.43 5/194 23629
/proc/meminfo: memFree=15197000/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=769048 CPUtime=1122.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 877636 0 0 0 112105 123 0 0 25 0 1 0 509986904 787505152 191650 33554432000 134512640 135151029 4286696064 18446744073709551615 134574641 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 192262 191650 80 156 0 192105 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 769048
[startup+1182.3 s]
/proc/loadavg: 4.01 4.01 3.46 5/194 23634
/proc/meminfo: memFree=15187988/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=761812 CPUtime=1182.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 905391 0 0 0 118101 127 0 0 25 0 1 0 509986904 780095488 189845 33554432000 134512640 135151029 4286696064 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 190453 189845 80 156 0 190296 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 761812
[startup+1242.3 s]
/proc/loadavg: 3.52 3.88 3.45 4/188 23653
/proc/meminfo: memFree=16072084/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=761812 CPUtime=1242.28 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 921079 0 0 0 124099 129 0 0 25 0 1 0 509986904 780095488 189845 33554432000 134512640 135151029 4286696064 18446744073709551615 134520453 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 190453 189845 80 156 0 190296 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 761812
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 3.19 3.72 3.42 4/188 23655
/proc/meminfo: memFree=16039944/32951124 swapFree=67111528/67111528
[pid=23479] ppid=23477 vsize=761812 CPUtime=1299.98 cores=4,6
/proc/23479/stat : 23479 (precosat) R 23477 23479 23266 0 -1 4202496 936767 0 0 0 129867 131 0 0 25 0 1 0 509986904 780095488 189845 33554432000 134512640 135151029 4286696064 18446744073709551615 134520448 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/23479/statm: 190453 189845 80 156 0 190296 0
Current children cumulated CPU time (s) 1299.98
Current children cumulated vsize (KiB) 761812
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.03
CPU user time (s): 1298.68
CPU system time (s): 1.35179
CPU usage (%): 99.9989
Max. virtual memory (cumulated for all children) (KiB): 775060
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.68
system time used= 1.35179
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 936768
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= 4
involuntary context switches= 2040
runsolver used 2.24966 second user time and 4.86426 second system time
The end
Launcher Data
Begin job on node133 at 2011-04-28 11:44:50
IDJOB=3308671
IDBENCH=82389
IDSOLVER=1690
FILE ID=node133/3308671-1303983890
RUNJOBID= node133-1303983198-23285
PBS_JOBID= 13168693
Free space on /tmp= 71668 MiB
SOLVER NAME= SAT09 reference solver:precosat 236
BENCH NAME= SAT11/application/rintanen/SATPlanning/openstacks-sequencedstrips-nonadl-nonnegated-os-sequencedstrips-p30_3.045-NOTKNOWN.cnf
COMMAND LINE= HOME/precosat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3308671-1303983890/watcher-3308671-1303983890 -o /tmp/evaluation-result-3308671-1303983890/solver-3308671-1303983890 -C 2400 -W 1300 -M 7680 HOME/precosat HOME/instance-3308671-1303983890.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 4ab53801f3b1a3f7169c9fb38cba4184
RANDOM SEED=996435982
node133.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.834
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.834
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.834
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.834
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 : 6741.12
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.834
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.74
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.834
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.834
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.834
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: 15689340 kB
Buffers: 2187324 kB
Cached: 13253300 kB
SwapCached: 0 kB
Active: 10208196 kB
Inactive: 6485640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 15689340 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 126352 kB
Writeback: 0 kB
AnonPages: 1252420 kB
Mapped: 16128 kB
Slab: 500988 kB
PageTables: 7652 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 1451032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 71872 MiB
End job on node133 at 2011-04-28 12:06:32