0.00/0.00 c Outputting solution to console
0.00/0.00 c This is CryptoMiniSat 2.9.0
0.00/0.00 c compiled with gcc version 4.4.5
0.00/0.00 c Using 1 thread(s)
0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00 c Reading file 'HOME/instance-3285515-1303766600.cnf'
0.00/0.00 c -- header says num vars: 1575206
0.00/0.00 c -- header says num clauses: 8464620
3.99/4.04 c -- clauses added: 0 learnts, 8464620 normals, 0 xors
3.99/4.04 c -- vars added 1575206
3.99/4.04 c Parsing time: 3.69 s
3.99/4.05 c N st 0 0 1575206 64845 7667352 0 18343578 0 no data no data --
4.19/4.22 c asymm cl-useful: 0/166/63339 lits-rem:0 time: 0.17
14.59/14.62 c Flit: 72 Blit: 25688 bXBeca: 0 bXProp: 111 Bin: 0 BRemL: 0 BRemN: 0 CBin: 0 P: 60.0M T: 10.31
14.69/14.79 c Cleaning up after failed var search: 0.15 s
15.79/15.89 c Calc non-exist non-lernt bins v-fix: 0 done: 17390 time: 1.05 s
15.89/15.92 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
15.89/15.96 c Subs w/ non-existent bins: 0 time: 0.04 s
16.19/16.24 c Replacing 112 vars Replaced 1806 lits Time: 0.26 s
17.19/17.29 c bin-w-bin subsume rem 135 bins time: 0.69 s
18.49/18.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.31 s
18.70/18.79 c Removed useless bin: 32262 fixed: 0 bprops: 10.02M time: 0.19 s
20.19/20.29 c lits-rem: 0 cl-subs: 4 v-elim: 481013 v-fix: 0 time: 1.47 s
20.19/20.29 c learnt bin added due to v-elim: 0
20.39/20.47 c Finding binary XORs T: 0.17 s found: 0
20.80/20.82 c Finding non-binary XORs: 0.14 s (found: 0, avg size: nan)
20.80/20.82 c Calc default polars - time: 0.11 s pos: 27760 undec: 844140 neg: 703306
20.80/20.82 c =========================================================================================
20.80/20.82 c types(t): F = full restart, N = normal restart
20.80/20.82 c types(t): S = simplification begin/end, E = solution found
20.80/20.82 c restart types(rt): st = static, dy = dynamic
20.80/20.82 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits MTavgCS LTAvgG
20.80/20.82 c B st 0 0 962026 80374 6840079 0 16598373 0 no data no data --
27.99/28.07 c Decided on dynamic restart strategy
34.49/34.57 c N dy 20 4115 962024 80374 6840090 3876 16598373 5343062 1216.10 255.98 --
46.79/46.88 c N dy 48 8207 962021 80374 6840100 7679 16598373 9408567 673.68 209.83 --
61.50/61.53 c N dy 77 12281 962019 80374 6840113 11528 16598373 13739807 1033.50 160.90 --
77.60/77.60 c N dy 105 16289 962018 80374 6840130 15277 16598373 19585304 1871.91 135.78 --
91.90/91.96 c N dy 133 20361 962011 80374 6840151 9704 16598373 2947702 1116.31 124.08 --
106.60/106.64 c N dy 160 24385 962005 80374 6840158 13497 16598373 8196094 1322.40 120.23 --
127.60/127.63 c N dy 188 28412 962001 80374 6840161 17314 16598373 14782814 2104.68 114.14 --
139.49/139.51 c S st 200 30000 961999 80374 6840164 18830 16598373 17251314 1691.09 116.17 --
142.60/142.66 c S st 200 30504 961995 80374 6840170 19315 16598373 17493157 1691.09 116.17 --
142.90/142.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.28
185.69/185.76 c Flit: 490 Blit: 5108 bXBeca: 0 bXProp: 1 Bin: 27764 BRemL: 20 BRemN: 35017 CBin: 0 P: 60.0M T: 42.82
185.80/185.81 c Cleaning up after failed var search: 0.00 s
187.80/187.88 c Calc non-exist non-lernt bins v-fix: 0 done: 4300 time: 1.97 s
187.89/187.91 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
188.10/188.11 c Subs w/ non-existent bins: 799 time: 0.21 s
188.59/188.62 c Replacing 1 vars Replaced 122 lits Time: 0.49 s
190.69/190.76 c bin-w-bin subsume rem 10 bins time: 0.65 s
192.50/192.51 c subs with bin: 414 lits-rem: 8383 v-fix: 0 time: 1.76 s
192.69/192.72 c Removed useless bin: 1126 fixed: 0 bprops: 10.01M time: 0.20 s
199.79/199.84 c lits-rem: 50 cl-subs: 4324 v-elim: 21954 v-fix: 0 time: 7.12 s
199.79/199.84 c learnt bin added due to v-elim: 0
199.99/200.01 c asymm cl-useful: 0/237/79746 lits-rem:0 time: 0.17
200.10/200.18 c N dy 200 30504 932591 79746 6752704 14210 16337446 11689647 1691.09 116.17 --
200.10/200.18 c F st 200 30504 932591 79746 6752704 14210 16337446 11689647 1691.09 116.17 --
209.39/209.41 c Decided on dynamic restart strategy
218.30/218.38 c N dy 219 34553 932581 79746 6752730 17907 16337446 19685438 1441.93 113.60 --
237.40/237.43 c N dy 247 38577 932568 79746 6752741 21671 16337446 24654200 1384.48 109.71 --
253.10/253.14 c N dy 276 42678 932556 79746 6752747 25589 16337446 30874528 1887.08 104.68 --
270.40/270.42 c S st 298 45756 932546 79746 6752755 28532 16337446 35033475 1357.88 101.23 --
273.90/273.91 c S st 298 46259 932519 79746 6752760 14580 16337446 2558407 1357.88 101.23 --
274.10/274.17 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.26
309.70/309.73 c Flit: 415 Blit: 2297 bXBeca: 0 bXProp: 0 Bin: 22148 BRemL: 373 BRemN: 28758 CBin: 0 P: 60.0M T: 35.55
309.70/309.78 c Cleaning up after failed var search: 0.00 s
312.00/312.03 c Calc non-exist non-lernt bins v-fix: 0 done: 4699 time: 2.13 s
312.00/312.06 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
312.10/312.15 c Subs w/ non-existent bins: 565 time: 0.09 s
313.20/313.22 c bin-w-bin subsume rem 9 bins time: 0.60 s
314.51/314.56 c subs with bin: 1200 lits-rem: 1970 v-fix: 0 time: 1.34 s
314.70/314.76 c Removed useless bin: 1715 fixed: 0 bprops: 10.01M time: 0.21 s
316.60/316.69 c lits-rem: 48 cl-subs: 1192 v-elim: 915 v-fix: 0 time: 1.92 s
316.60/316.69 c learnt bin added due to v-elim: 0
316.80/316.82 c asymm cl-useful: 0/246/78959 lits-rem:0 time: 0.14
317.00/317.00 c N dy 298 46259 928790 78959 6715742 13107 16204937 2327472 1357.88 101.23 --
331.80/331.83 c N dy 327 50300 928789 78959 6715752 16955 16204936 8045342 1514.05 101.34 --
349.90/349.96 c N dy 355 54328 928784 78959 6715756 20771 16204936 14224210 1880.58 98.45 --
352.70/352.73 c Finding binary XORs T: 0.18 s found: 4
369.20/369.25 c N dy 383 58374 928779 78959 6715699 24510 16204778 20490149 1666.92 99.07 --
384.00/384.09 c N dy 412 62482 928768 78959 6715706 28383 16204778 25968787 1842.71 96.38 --
400.50/400.54 c N dy 440 66582 928711 78959 6715717 32246 16204778 32689150 1753.99 95.27 --
415.50/415.55 c S st 460 69389 928708 78959 6715721 34884 16204778 37399667 1286.92 94.68 --
418.20/418.23 c S st 460 69890 928701 78959 6715725 17834 16204778 2705107 1286.92 94.68 --
418.40/418.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.26
455.61/455.60 c Flit: 31 Blit: 3694 bXBeca: 0 bXProp: 0 Bin: 21678 BRemL: 127 BRemN: 22210 CBin: 0 P: 60.0M T: 37.11
455.61/455.65 c Cleaning up after failed var search: 0.00 s
457.61/457.68 c Calc non-exist non-lernt bins v-fix: 0 done: 4212 time: 1.91 s
457.70/457.71 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
457.80/457.80 c Subs w/ non-existent bins: 334 time: 0.09 s
458.20/458.24 c Replacing 4 vars Replaced 0 lits Time: 0.42 s
459.30/459.30 c bin-w-bin subsume rem 2 bins time: 0.59 s
460.60/460.63 c subs with bin: 1222 lits-rem: 1105 v-fix: 0 time: 1.33 s
460.81/460.83 c Removed useless bin: 839 fixed: 0 bprops: 10.00M time: 0.20 s
462.40/462.43 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02
539.80/539.88 c Added 9 vars tried: 80000 time: 77.45
539.90/539.90 c ORs : 9 avg-s: 0.0 cl-sh: 769 l-rem: 769 b-add: 18 v-rep: 0 cl-rem: 0 avg s: nan T: 77.48
540.11/540.12 c lits-rem: 56 cl-subs: 1065 v-elim: 4083 v-fix: 0 time: 79.29 s
540.11/540.12 c learnt bin added due to v-elim: 0
540.20/540.27 c asymm cl-useful: 1/229/78172 lits-rem:1 time: 0.14
540.40/540.43 c N dy 460 69890 920881 78172 6671878 16456 16056551 2487459 1286.92 94.68 --
540.40/540.43 c F st 460 69890 920881 78172 6671878 16456 16056551 2487459 1286.92 94.68 --
555.51/555.54 c Decided on dynamic restart strategy
562.80/562.85 c N dy 483 74488 920795 78172 6671889 20658 16056551 8229960 1332.18 93.02 --
580.31/580.31 c N dy 517 79363 920755 78172 6671900 25193 16056551 14633160 920.74 101.39 --
598.01/598.00 c N dy 553 84504 920673 78172 6671921 30037 16056551 22652006 1330.64 100.35 --
620.32/620.35 c N dy 591 89935 920657 78172 6671931 35174 16056551 31360796 1852.43 99.39 --
642.32/642.39 c N dy 632 95744 920581 78172 6671952 21213 16056551 4954183 1534.03 97.84 --
661.02/661.04 c N dy 676 101885 920569 78172 6671965 27028 16056551 12057438 959.48 95.04 --
676.61/676.66 c S st 698 104835 920531 78172 6671972 29854 16056551 16319414 1247.95 93.84 --
679.61/679.66 c S st 698 105340 920518 78172 6671975 30331 16056551 16456227 1247.95 93.84 --
679.91/679.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.28
716.12/716.13 c Flit: 15 Blit: 2573 bXBeca: 0 bXProp: 0 Bin: 20463 BRemL: 121 BRemN: 14106 CBin: 0 P: 60.0M T: 36.18
716.12/716.17 c Cleaning up after failed var search: 0.00 s
718.32/718.37 c Calc non-exist non-lernt bins v-fix: 0 done: 4367 time: 2.08 s
718.32/718.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.02
718.61/718.61 c Subs w/ non-existent bins: 232 time: 0.22 s
720.51/720.54 c bin-w-bin subsume rem 4 bins time: 0.59 s
722.21/722.25 c subs with bin: 20 lits-rem: 4388 v-fix: 0 time: 1.71 s
722.41/722.45 c Removed useless bin: 995 fixed: 0 bprops: 10.01M time: 0.20 s
734.21/734.26 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02
742.01/742.00 c Added 2 vars tried: 80000 time: 7.74
742.01/742.00 c ORs : 2 avg-s: 0.0 cl-sh: 402 l-rem: 402 b-add: 4 v-rep: 0 cl-rem: 0 avg s: nan T: 7.74
742.31/742.32 c lits-rem: 20 cl-subs: 3015 v-elim: 292 v-fix: 0 time: 19.87 s
742.31/742.32 c learnt bin added due to v-elim: 0
742.52/742.53 c asymm cl-useful: 34/192/77934 lits-rem:39 time: 0.20
742.61/742.69 c N dy 698 105340 917574 77934 6646713 27040 15953741 13019781 1247.95 93.84 --
769.21/769.26 c N dy 746 112168 917491 77934 6646727 33578 15953741 24094076 1831.01 92.78 --
798.41/798.42 c N dy 797 119378 917359 77934 6646737 40489 15953741 35208377 2163.84 91.45 --
822.22/822.22 c N dy 851 127123 917219 77934 6646747 26720 15953741 9297693 1798.19 90.80 --
851.61/851.61 c N dy 908 135262 917023 77934 6646756 34565 15953740 22130925 2051.09 90.94 --
881.42/881.45 c N dy 969 143893 916938 77934 6646774 42761 15953740 33947274 1382.81 88.70 --
913.82/913.82 c N dy 1035 153088 916842 77934 6646796 29088 15953740 12911489 1657.62 87.22 --
932.02/932.02 c S st 1070 158011 916810 77934 6646809 33750 15953740 18925518 1553.57 87.19 --
935.22/935.27 c S st 1070 158512 916759 77934 6646811 34234 15953740 19138610 1553.57 87.19 --
935.52/935.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.29
998.92/998.97 c Flit: 10 Blit: 4471 bXBeca: 0 bXProp: 0 Bin: 32546 BRemL: 341 BRemN: 14420 CBin: 0 P: 60.0M T: 63.42
999.02/999.02 c Cleaning up after failed var search: 0.00 s
1000.92/1000.97 c Calc non-exist non-lernt bins v-fix: 0 done: 7631 time: 1.83 s
1000.92/1001.00 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.03
1001.22/1001.25 c Subs w/ non-existent bins: 266 time: 0.25 s
1003.32/1003.31 c bin-w-bin subsume rem 9 bins time: 0.59 s
1004.92/1004.97 c subs with bin: 0 lits-rem: 3647 v-fix: 0 time: 1.66 s
1005.12/1005.16 c Removed useless bin: 671 fixed: 0 bprops: 10.02M time: 0.19 s
1023.03/1023.08 c ORs : 0 avg-s: nan cl-sh: 0 l-rem: 0 b-add: 0 v-rep: 0 cl-rem: 0 avg s: nan T: 0.02
1028.53/1028.57 c Added 7 vars tried: 80000 time: 5.49
1028.62/1028.60 c ORs : 7 avg-s: 0.0 cl-sh: 785 l-rem: 785 b-add: 14 v-rep: 0 cl-rem: 0 avg s: nan T: 5.52
1028.92/1028.95 c lits-rem: 36 cl-subs: 3020 v-elim: 1787 v-fix: 0 time: 23.79 s
1028.92/1028.95 c learnt bin added due to v-elim: 0
1029.12/1029.12 c asymm cl-useful: 0/187/77450 lits-rem:0 time: 0.17
1029.22/1029.29 c N dy 1070 158512 910498 77450 6608027 30926 15793975 15684972 1553.57 87.19 --
1052.02/1052.03 c Finding binary XORs T: 0.18 s found: 8
1067.03/1067.01 c N dy 1143 168775 910435 77450 6607981 40702 15793819 29997838 1650.91 86.24 --
1101.03/1101.05 c N dy 1219 179605 910348 77450 6607993 27383 15793819 7399322 1531.04 86.09 --
1140.42/1140.47 c N dy 1302 191167 910237 77450 6608012 38482 15793819 22709788 1380.56 84.87 --
1178.43/1178.48 c N dy 1389 203411 910128 77450 6608029 25440 15793819 3395496 1441.08 84.98 --
1224.63/1224.64 c N dy 1481 216498 910062 77450 6608047 37832 15793819 21835283 1406.80 86.81 --
1272.83/1272.82 c N dy 1580 230413 909982 77450 6608065 51190 15793819 42090990 1161.82 85.55 --
1299.33/1299.38 c S st 1633 237770 909921 77450 6608075 32607 15793819 13128989 1906.49 84.60 --
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-3285515-1303766600/watcher-3285515-1303766600 -o /tmp/evaluation-result-3285515-1303766600/solver-3285515-1303766600 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3285515-1303766600.cnf
running on 2 cores: 1,3
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: 1.17 1.31 2.36 4/189 11205
/proc/meminfo: memFree=24247428/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=27256 CPUtime=0 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 2350 0 0 0 0 0 0 0 22 0 1 0 566891192 27910144 1907 33554432000 4194304 4797429 140735766439216 18446744073709551615 4367789 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 6814 1911 347 148 0 1743 0
[startup+0.084235 s]
/proc/loadavg: 1.17 1.31 2.36 4/189 11205
/proc/meminfo: memFree=24247428/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=54972 CPUtime=0.08 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 8625 0 0 0 7 1 0 0 22 0 1 0 566891192 56291328 6821 33554432000 4194304 4797429 140735766439216 18446744073709551615 4664199 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 13743 6821 350 148 0 8672 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 54972
[startup+0.10023 s]
/proc/loadavg: 1.17 1.31 2.36 4/189 11205
/proc/meminfo: memFree=24247428/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=54972 CPUtime=0.09 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 8625 0 0 0 8 1 0 0 22 0 1 0 566891192 56291328 6821 33554432000 4194304 4797429 140735766439216 18446744073709551615 4356604 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 13743 6821 350 148 0 8672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 54972
[startup+0.300195 s]
/proc/loadavg: 1.17 1.31 2.36 4/189 11205
/proc/meminfo: memFree=24247428/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=114208 CPUtime=0.29 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 24040 0 0 0 27 2 0 0 23 0 1 0 566891192 116948992 16668 33554432000 4194304 4797429 140735766439216 18446744073709551615 260905090705 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 28552 16668 350 148 0 23481 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 114208
[startup+0.700125 s]
/proc/loadavg: 1.17 1.31 2.36 4/189 11205
/proc/meminfo: memFree=24247428/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=202628 CPUtime=0.69 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 49910 0 0 0 63 6 0 0 25 0 1 0 566891192 207491072 35056 33554432000 4194304 4797429 140735766439216 18446744073709551615 4660883 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 50657 35056 350 148 0 45586 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 202628
[startup+1.50098 s]
/proc/loadavg: 1.17 1.31 2.36 5/190 11206
/proc/meminfo: memFree=24024716/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=373452 CPUtime=1.5 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 99411 0 0 0 137 13 0 0 25 0 1 0 566891192 382414848 69575 33554432000 4194304 4797429 140735766439216 18446744073709551615 4365820 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 93363 69581 350 148 0 88292 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 373452
[startup+3.10068 s]
/proc/loadavg: 1.71 1.42 2.39 5/190 11206
/proc/meminfo: memFree=23821788/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=801100 CPUtime=3.09 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 201864 0 0 0 280 29 0 0 25 0 1 0 566891192 820326400 142490 33554432000 4194304 4797429 140735766439216 18446744073709551615 4366300 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 200275 142500 350 148 0 195204 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 801100
[startup+6.3001 s]
/proc/loadavg: 1.71 1.42 2.39 5/190 11206
/proc/meminfo: memFree=23463428/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1000276 CPUtime=6.29 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 249948 0 0 0 593 36 0 0 25 0 1 0 566891192 1024282624 187505 33554432000 4194304 4797429 140735766439216 18446744073709551615 4241148 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 250069 187505 381 148 0 244998 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1000276
[startup+12.701 s]
/proc/loadavg: 2.06 1.51 2.41 5/190 11206
/proc/meminfo: memFree=23227484/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1002540 CPUtime=12.69 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 250381 0 0 0 1233 36 0 0 25 0 1 0 566891192 1026600960 187938 33554432000 4194304 4797429 140735766439216 18446744073709551615 4241148 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 250635 187938 381 148 0 245564 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1002540
[startup+25.5006 s]
/proc/loadavg: 2.36 1.59 2.43 5/190 11207
/proc/meminfo: memFree=22965584/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1268672 CPUtime=25.49 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 312795 0 0 0 2506 43 0 0 25 0 1 0 566891192 1299120128 250297 33554432000 4194304 4797429 140735766439216 18446744073709551615 4424170 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 317168 250297 410 148 0 312097 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1268672
[startup+51.1009 s]
/proc/loadavg: 2.92 1.78 2.47 5/190 11207
/proc/meminfo: memFree=22712224/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1268672 CPUtime=51.09 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 322266 0 0 0 5064 45 0 0 25 0 1 0 566891192 1299120128 259759 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341226 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 317168 259759 411 148 0 312097 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1268672
[startup+102.307 s]
/proc/loadavg: 3.60 2.17 2.56 5/190 11209
/proc/meminfo: memFree=22502672/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1315444 CPUtime=102.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 345162 0 0 0 10180 50 0 0 25 0 1 0 566891192 1347014656 256083 33554432000 4194304 4797429 140735766439216 18446744073709551615 4423712 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 328861 256083 411 148 0 323790 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 1315444
[startup+162.301 s]
/proc/loadavg: 3.85 2.50 2.65 5/190 11210
/proc/meminfo: memFree=22164824/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1365460 CPUtime=162.29 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 367987 0 0 0 16177 52 0 0 25 0 1 0 566891192 1398231040 278903 33554432000 4194304 4797429 140735766439216 18446744073709551615 4259106 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 341365 278903 414 148 0 336294 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1365460
[startup+222.301 s]
/proc/loadavg: 4.02 2.79 2.73 5/190 11212
/proc/meminfo: memFree=21504228/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1700104 CPUtime=222.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 451620 0 0 0 22168 62 0 0 25 0 1 0 566891192 1740906496 362526 33554432000 4194304 4797429 140735766439216 18446744073709551615 4413499 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 425026 362526 415 148 0 419955 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1700104
[startup+282.301 s]
/proc/loadavg: 4.00 3.00 2.81 5/190 11214
/proc/meminfo: memFree=21302628/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1718332 CPUtime=282.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 476094 0 0 0 28163 67 0 0 25 0 1 0 566891192 1759571968 343830 33554432000 4194304 4797429 140735766439216 18446744073709551615 4259106 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 429583 343830 415 148 0 424512 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1718332
[startup+342.301 s]
/proc/loadavg: 4.00 3.18 2.88 5/190 11215
/proc/meminfo: memFree=20811240/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1958780 CPUtime=342.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 536636 0 0 0 34154 76 0 0 25 0 1 0 566891192 2005790720 404363 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 489695 404363 415 148 0 484624 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 1958780
[startup+402.301 s]
/proc/loadavg: 4.00 3.33 2.95 5/190 11217
/proc/meminfo: memFree=20530636/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=1958780 CPUtime=402.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 558173 0 0 0 40149 81 0 0 25 0 1 0 566891192 2005790720 425883 33554432000 4194304 4797429 140735766439216 18446744073709551615 4387768 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 489695 425883 415 148 0 484624 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1958780
[startup+462.301 s]
/proc/loadavg: 4.03 3.46 3.02 5/190 11218
/proc/meminfo: memFree=20269416/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2212292 CPUtime=462.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 622079 0 0 0 46141 89 0 0 25 0 1 0 566891192 2265387008 449862 33554432000 4194304 4797429 140735766439216 18446744073709551615 4504126 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 553073 449862 415 148 0 548002 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 2212292
[startup+522.301 s]
/proc/loadavg: 3.73 3.49 3.05 4/184 11237
/proc/meminfo: memFree=20772028/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2212292 CPUtime=522.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 622082 0 0 0 52141 89 0 0 25 0 1 0 566891192 2265387008 449865 33554432000 4194304 4797429 140735766439216 18446744073709551615 4510043 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 553073 449865 418 148 0 548002 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2212292
[startup+582.301 s]
/proc/loadavg: 3.26 3.40 3.05 4/184 11239
/proc/meminfo: memFree=20676016/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2212292 CPUtime=582.3 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 635690 0 0 0 58139 91 0 0 25 0 1 0 566891192 2265387008 463466 33554432000 4194304 4797429 140735766439216 18446744073709551615 4422912 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 553073 463466 418 148 0 548002 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2212292
[startup+642.301 s]
/proc/loadavg: 3.10 3.32 3.04 4/184 11240
/proc/meminfo: memFree=20452724/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2179144 CPUtime=642.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 664126 0 0 0 64134 98 0 0 25 0 1 0 566891192 2231443456 452743 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 544786 452743 418 148 0 539715 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 2179144
[startup+702.301 s]
/proc/loadavg: 3.03 3.26 3.04 4/184 11242
/proc/meminfo: memFree=20371260/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2200748 CPUtime=702.31 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 680992 0 0 0 70131 100 0 0 25 0 1 0 566891192 2253565952 469601 33554432000 4194304 4797429 140735766439216 18446744073709551615 4427320 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 550187 469601 418 148 0 545116 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 2200748
[startup+762.307 s]
/proc/loadavg: 3.01 3.21 3.03 4/184 11243
/proc/meminfo: memFree=20133080/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2475280 CPUtime=762.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 748062 0 0 0 76123 109 0 0 25 0 1 0 566891192 2534686720 536668 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341170 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 618820 536668 418 148 0 613749 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 2475280
[startup+822.301 s]
/proc/loadavg: 3.00 3.17 3.02 4/184 11245
/proc/meminfo: memFree=19727600/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2474548 CPUtime=822.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 776920 0 0 0 82116 116 0 0 25 0 1 0 566891192 2533937152 521842 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341286 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 618637 521842 418 148 0 613566 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 2474548
[startup+882.301 s]
/proc/loadavg: 3.00 3.14 3.02 4/184 11247
/proc/meminfo: memFree=19774060/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2540092 CPUtime=882.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 801355 0 0 0 88112 120 0 0 25 0 1 0 566891192 2601054208 546257 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341204 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 635023 546257 418 148 0 629952 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 2540092
[startup+942.301 s]
/proc/loadavg: 3.00 3.11 3.01 4/184 11251
/proc/meminfo: memFree=19808916/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2492800 CPUtime=942.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 830287 0 0 0 94108 124 0 0 25 0 1 0 566891192 2552627200 536417 33554432000 4194304 4797429 140735766439216 18446744073709551615 4259274 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 623200 536417 418 148 0 618129 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 2492800
[startup+1002.3 s]
/proc/loadavg: 3.00 3.09 3.01 4/184 11253
/proc/meminfo: memFree=19568932/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2701180 CPUtime=1002.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 875204 0 0 0 100101 131 0 0 25 0 1 0 566891192 2766008320 581334 33554432000 4194304 4797429 140735766439216 18446744073709551615 260905054917 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 675295 581335 418 148 0 670224 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 2701180
[startup+1062.3 s]
/proc/loadavg: 3.00 3.07 3.00 4/184 11254
/proc/meminfo: memFree=19255656/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2810668 CPUtime=1062.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 898353 0 0 0 106097 135 0 0 25 0 1 0 566891192 2878124032 604466 33554432000 4194304 4797429 140735766439216 18446744073709551615 4424214 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 702667 604466 418 148 0 697596 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 2810668
[startup+1122.3 s]
/proc/loadavg: 3.00 3.05 3.00 4/184 11256
/proc/meminfo: memFree=19228404/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2745064 CPUtime=1122.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 926733 0 0 0 112091 141 0 0 25 0 1 0 566891192 2810945536 588608 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341286 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 686266 588608 418 148 0 681195 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2745064
[startup+1182.3 s]
/proc/loadavg: 3.00 3.04 3.00 4/184 11258
/proc/meminfo: memFree=19218084/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2745168 CPUtime=1182.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 955396 0 0 0 118085 147 0 0 25 0 1 0 566891192 2811052032 578534 33554432000 4194304 4797429 140735766439216 18446744073709551615 4341229 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 686292 578534 418 148 0 681221 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2745168
[startup+1242.3 s]
/proc/loadavg: 3.00 3.03 3.00 4/184 11259
/proc/meminfo: memFree=19294836/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2745168 CPUtime=1242.32 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 979259 0 0 0 124080 152 0 0 25 0 1 0 566891192 2811052032 602379 33554432000 4194304 4797429 140735766439216 18446744073709551615 4340989 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 686292 602379 418 148 0 681221 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2745168
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 2.92 3.01 2.99 2/174 11297
/proc/meminfo: memFree=22731320/32950928 swapFree=67071984/67111528
[pid=11205] ppid=11203 vsize=2744348 CPUtime=1300.03 cores=1,3
/proc/11205/stat : 11205 (techdemo) R 11203 11205 10018 0 -1 4202496 1007471 0 0 0 129844 159 0 0 25 0 1 0 566891192 2810212352 586598 33554432000 4194304 4797429 140735766439216 18446744073709551615 4422906 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/11205/statm: 686087 586598 418 148 0 681016 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 2744348
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.1
CPU time (s): 1300.14
CPU user time (s): 1298.45
CPU system time (s): 1.68974
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2940248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1298.45
system time used= 1.68974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007471
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= 6
involuntary context switches= 2859
runsolver used 2.15967 second user time and 4.94025 second system time
The end
Begin job on node116 at 2011-04-25 23:23:25
IDJOB=3285515
IDBENCH=82388
IDSOLVER=1585
FILE ID=node116/3285515-1303766600
RUNJOBID= node116-1303766600-11165
PBS_JOBID= 13157137
Free space on /tmp= 72296 MiB
SOLVER NAME= CryptoMiniSat TechDemo-Alpha-st
BENCH NAME= SAT11/application/rintanen/SATPlanning/transport-transport-city-sequential-35nodes-1000size-4degree-100mindistance-4trucks-14packages-2008seed.050-SAT.cnf
COMMAND LINE= ./techdemo --threads=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3285515-1303766600/watcher-3285515-1303766600 -o /tmp/evaluation-result-3285515-1303766600/solver-3285515-1303766600 -C 2400 -W 1300 -M 7680 ./techdemo --threads=1 HOME/instance-3285515-1303766600.cnf
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 48f03e5fbe31fc85b9a464480fc8aa5a
RANDOM SEED=1139525582
node116.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.826
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.65
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.826
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.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
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.826
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.77
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.826
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.826
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.826
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: 24248204 kB
Buffers: 1862888 kB
Cached: 5672244 kB
SwapCached: 9732 kB
Active: 4223608 kB
Inactive: 4047008 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 24248204 kB
SwapTotal: 67111528 kB
SwapFree: 67071984 kB
Dirty: 304880 kB
Writeback: 0 kB
AnonPages: 728832 kB
Mapped: 15252 kB
Slab: 367832 kB
PageTables: 6708 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 1374964 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= 72412 MiB
End job on node116 at 2011-04-25 23:45:07